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

Draft: #368 Implement `cif2dsm` computation

!320 · created May 17, 2022 by Albert Hofkamp v0.7 CIF TypeEnhancement
- CLOSED
- 122
updated Aug 17, 2022
#402 Double dash in branch-names are interpreted as CJK ideographs

!360 · created Aug 19, 2022 by Ferdie Reijnen v0.7 Help Wanted RelEng/DevOps TypeBug
- CLOSED
- 2
updated Aug 19, 2022
#398 Various checks for CIF checker crash for violations in the root of the specification

!350 · created Jul 15, 2022 by Ferdie Reijnen v0.7 CIF TypeBug
- CLOSED
- 9
updated Sep 11, 2022
#431 Test building fork merge request with changed Jenkinsfile.

!381 · created Oct 02, 2022 by Dennis Hendriks v0.8 RelEng/DevOps TypeBug
- CLOSED
- 1
updated Oct 02, 2022
#431contributions for non-commiters cannot be merged

!406 · created Nov 09, 2022 by Pawel Stankiewicz
- CLOSED
- 1
updated Nov 10, 2022
#359 Attempt to upgrade to Tycho 3

!431 · created Dec 04, 2022 by Dennis Hendriks v0.8 RelEng/DevOps TypeEnhancement
- CLOSED
- 0
updated Dec 04, 2022
#424 Generalize allowed invariants check.

!399 · created Oct 26, 2022 by Albert Hofkamp CIF TypeEnhancement
- CLOSED
- 39
updated Dec 07, 2022
Draft: #488 Search engine indexes old versions

!462 · created Dec 31, 2022 by Ferdie Reijnen RelEng/DevOps TypeEnhancement
- CLOSED
- 2
updated Jan 05, 2023
Testing EF issue 2178. Do not merge.

!471 · created Jan 09, 2023 by Pawel Stankiewicz
- CLOSED
- 2
updated Jan 09, 2023
Draft: #378 CIF data-based synthesis variable ordering and reordering in one go.

!472 · created Jan 09, 2023 by Dennis Hendriks v0.9 CIF TypeEnhancement
- CLOSED
- 5
updated Jan 14, 2023
#368 Implement cif2dmm

!349 · created Jul 08, 2022 by Albert Hofkamp CIF TypeEnhancement
- CLOSED
- 290
updated Jan 18, 2023

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