Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

#306 Add CIF to CIF anonymize names transformation.

!273 · created Feb 27, 2022 by Dennis Hendriks v0.5
CIF TypeEnhancement
- Merged
- Approved
- 7
updated Mar 01, 2022
#320 Remove unused algebraic variables

!269 · created Feb 23, 2022 by Albert Hofkamp v0.5
CIF TypeEnhancement
- Merged
- Approved
- 66
updated Mar 02, 2022
#107 Data-based synthesis should support state plant invariants

!159 · created Oct 01, 2021 by Ferdie Reijnen v0.5
CIF TypeEnhancement
- Merged
- Approved
- 111
updated Mar 12, 2022
#325 Add SBE docs and example + some other doc/website improvements.

!282 · created Mar 17, 2022 by Dennis Hendriks v0.5
CIF TypeEnhancement
- Merged
- Approved
- 86
updated Mar 24, 2022
#334 Fixed CIF SBE approaches figure/text inconsistency.

!289 · created Mar 27, 2022 by Dennis Hendriks v0.5
CIF TypeEnhancement
- Merged
- Approved
- 0
updated Mar 29, 2022
#330 #336 Use streaming for CifCollectUtils

!281 · created Mar 15, 2022 by Albert Hofkamp v0.6
CIF TypeEnhancement
- Merged
- Approved
- 40
updated Mar 30, 2022
#323 Allow CIF invariant to be named

!285 · created Mar 23, 2022 by Ferdie Reijnen v0.6
CIF TypeEnhancement
- Merged
- Approved
- 77
updated Apr 10, 2022
#316 Introduce small common position class in scanning and parsing

!293 · created Mar 30, 2022 by Albert Hofkamp v0.6
CIF Chi Common SeText ToolDef TypeEnhancement
- Merged
- Approved
- 33
updated Apr 19, 2022
#354 Linearize merge/product documentation improvements.

!306 · created Apr 17, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- Approved
- 0
updated Apr 20, 2022
#351 Change org.apache.commons language library

!303 · created Apr 12, 2022 by Albert Hofkamp v0.6
CIF Chi Common SeText ToolDef TypeEnhancement
- Merged
- Approved
- 25
updated Apr 25, 2022
#358 Improve field descriptions of TextPosition and Position classes.

!310 · created Apr 21, 2022 by Albert Hofkamp v0.6
CIF Common TypeBug
- Merged
- Approved
- 1
updated Apr 25, 2022
#365 Update paper references in AsciiDoc files

!316 · created May 04, 2022 by Ferdie Reijnen v0.6
CIF Chi RelEng/DevOps ToolDef TypeBug
- Merged
- Approved
- 0
updated May 06, 2022
#364 CIF data-based synthesis performance test models: wizard + festo

!317 · created May 07, 2022 by Ferdie Reijnen v0.6
CIF TypeEnhancement
- Merged
- Approved
- 15
updated May 19, 2022
#333 Replace `StringUtils.join` by native `String.join`

!288 · created Mar 25, 2022 by Albert Hofkamp v0.6
CIF Chi Common SeText ToolDef TypeEnhancement
- Merged
- Approved
- 9
updated May 21, 2022
#371 Improved CIF data-based synthesis variable ordering API

!324 · created May 27, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- 43
updated May 31, 2022
#369 Fix outdated comments in SynthesisToCifConverter regarding explicit kinds

!330 · created Jun 12, 2022 by Ferdie Reijnen v0.6
CIF TypeBug
- Merged
- Approved
- 0
updated Jun 12, 2022
#370 Generalized CIF to Supremica precondition checks to reusable checks.

!326 · created Jun 05, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- 46
updated Jun 13, 2022
#311 Add warning for plant referencing requirements in CIF

!315 · created May 02, 2022 by Ferdie Reijnen v0.6
CIF TypeEnhancement
- Merged
- Approved
- 71
updated Jun 13, 2022
#196 Add graphs as representation to VarOrdererHelper.

!332 · created Jun 13, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- 24
updated Jun 15, 2022
#196 Add node ordering algorithms, including dependencies, for later use by DCSH

!333 · created Jun 15, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- 12
updated Jun 18, 2022

Prev
1
2
3
4
5
6
7
8
9
…
14
Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent