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

#364 CIF data-based synthesis performance test models: water_lock

!319 · created May 12, 2022 by Ferdie Reijnen v0.6
CIF TypeEnhancement
- Merged
- Approved
- 6
updated Mar 14, 2023
#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
#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
#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
#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
#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
#311 Consider warning for /disallowing plant referencing requirements in CIF

!304 · created Apr 13, 2022 by Ferdie Reijnen v0.6
CIF TypeEnhancement
- Closed
- 5
updated Apr 16, 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
#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
#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
#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
#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
Draft: #316 Introduce small common position class in scanning and parsing

!271 · created Feb 25, 2022 by Albert Hofkamp v0.6
CIF Chi Common SeText ToolDef TypeEnhancement
- Closed
- 32
updated Apr 10, 2022
#416 Add tests for CIF common checks

!373 · created Sep 25, 2022 by Dennis Hendriks v0.7
CIF TypeEnhancement
- Merged
- 11
updated Oct 09, 2022
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example

!370 · created Sep 25, 2022 by Dennis Hendriks v0.7
CIF TypeEnhancement
- Merged
- 1
- 16
updated Sep 29, 2022
#398 Various CIF check violation reporting improvements

!368 · created Sep 11, 2022 by Dennis Hendriks v0.7
CIF TypeBug
- Merged
- Approved
- 23
updated Sep 23, 2022
#347 Add dark theme support for/to SeText-based text editors

!367 · created Sep 04, 2022 by Dennis Hendriks v0.7
CIF Chi SeText ToolDef TypeEnhancement
- Merged
- Approved
- 34
updated Sep 23, 2022
#297 #405 CIF event-based language equivalence check generates incorrect counterexamples

!362 · created Aug 22, 2022 by Ferdie Reijnen v0.7
CIF TypeBug
- Merged
- 67
updated Sep 04, 2022
#404 Event-based synthesis analysis tool has wrong conclusion

!359 · created Aug 19, 2022 by Ferdie Reijnen v0.7
CIF TypeBug
- Merged
- Approved
- 5
updated Aug 19, 2022
#403 Rename checker classes to simplify finding them

!358 · created Aug 17, 2022 by Albert Hofkamp v0.7
CIF TypeEnhancement
- Merged
- Approved
- 7
updated Aug 22, 2022

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

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