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

#521 Update https://www.eclipse.org/escet/cif/tools/cifsim/debug-gen-code.html

!493 · created Jan 27, 2023 by Ferdie Reijnen v0.9 CIF TypeBug
- MERGED
- Approved
- 0
updated Jan 28, 2023
#519 Fix errors and warnings in develop.

!489 · created Jan 24, 2023 by Dennis Hendriks v0.9 CIF TypeBug
- MERGED
- 1
updated Jan 24, 2023
#513 Made CIF simulator unsupported message for time-dependent state invariants more specific

!484 · created Jan 21, 2023 by Ferdie Reijnen v0.9 CIF TypeBug
- MERGED
- Approved
- 1
updated Jan 22, 2023
#506 Copy, paste, not-modified error on https://www.eclipse.org/escet/cif/language-tutorial/data/state-invariants.html

!476 · created Jan 12, 2023 by Ferdie Reijnen v0.9 CIF TypeBug
- MERGED
- Approved
- 0
updated Jan 12, 2023
#503 Bug in example on https://www.eclipse.org/escet/cif/language-tutorial/basics/non-determinism.html

!475 · created Jan 12, 2023 by Ferdie Reijnen v0.9 CIF TypeBug
- MERGED
- Approved
- 0
updated Jan 12, 2023
#501 Typo on https://www.eclipse.org/escet/cif/language-tutorial/

!474 · created Jan 12, 2023 by Ferdie Reijnen v0.9 CIF TypeBug
- MERGED
- Approved
- 0
updated Jan 12, 2023
#496 CifCheckViolation JavaDoc capitalization fix.

!465 · created Jan 01, 2023 by Dennis Hendriks v0.9 CIF TypeBug
- MERGED
- 1
updated Jan 04, 2023
#450 Rename 'path separator' to 'file separator'

!459 · created Dec 30, 2022 by Dennis Hendriks v0.9 CIF Common SeText ToolDef TypeBug
- MERGED
- Approved
- 1
updated Dec 31, 2022
#485 CIF simulator state viz column width support performance improved.

!450 · created Dec 22, 2022 by Dennis Hendriks CIF TypeBug
- MERGED
- Approved
- 5
updated Jan 02, 2023
#477 CIF simulator state visualizer column width performance improved.

!444 · created Dec 20, 2022 by Dennis Hendriks v0.8 CIF TypeBug
- MERGED
- 16
updated Dec 22, 2022
#446 CIF: Equal/Unequal on combination of ints and reals is inconsistent

!418 · created Nov 19, 2022 by Ferdie Reijnen CIF TypeBug
- MERGED
- Approved
- 8
updated Dec 15, 2022
#357 Update CIF documentation for recent Inkscape versions

!397 · created Oct 22, 2022 by Martijn Goorden v0.8 CIF TypeBug
- MERGED
- 1
- 40
updated Nov 24, 2022
#439 Get rid of references to 'receive(d) variables'.

!391 · created Oct 15, 2022 by Dennis Hendriks v0.8 CIF TypeBug
- MERGED
- Approved
- 1
- 0
updated Oct 17, 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
#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
#401 Be more careful in ignoring 'target' directories

!356 · created Aug 10, 2022 by Albert Hofkamp v0.7 CIF Chi Common SeText Third party ToolDef TypeBug
- MERGED
- Approved
- 2
updated Aug 11, 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
#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
#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

Prev
1
2
3
4
5
…
9
Next

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