escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2022-08-10T07:51:40Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/354#364 CIF data-based synthesis performance test models: bridge2022-08-10T07:51:40ZFerdie Reijnen#364 CIF data-based synthesis performance test models: bridgeAddresses #364Addresses #364v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/353#400 Refactor `cif2plc` writers2022-08-11T05:05:26ZAlbert Hofkamp#400 Refactor `cif2plc` writersTo enable using the existing `cif2plc` writers for `plcgen` static function code should not grab external state from a future unused option class. Solved by instantiating the writers, and moving code generation into them, thus also clean...To enable using the existing `cif2plc` writers for `plcgen` static function code should not grab external state from a future unused option class. Solved by instantiating the writers, and moving code generation into them, thus also cleaning up the model layer.
Addresses #400v0.7Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/351#145 Add confluence check to controllercheck2023-08-23T20:26:59ZAlbert Hofkamp#145 Add confluence check to controllercheckAdds confluence checking to the `controllercheck` application, as both properties should hold before a specification can be used in a PLC implementation.
Refactored computing MDD and other data into a new class, which is then made avail...Adds confluence checking to the `controllercheck` application, as both properties should hold before a specification can be used in a PLC implementation.
Refactored computing MDD and other data into a new class, which is then made available to both finite response and confluence checking.
It is likely easier to read each commit separately.v0.7Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#398 Various checks for CIF checker crash for violations in the root of the s...2022-09-11T18:09:55ZFerdie Reijnen#398 Various checks for CIF checker crash for violations in the root of the specificationCloses #398Closes #398v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/348#393 Prepare Git repo for v0.72022-07-07T17:32:22ZFerdie Reijnen#393 Prepare Git repo for v0.7Closes #393Closes #393v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/320Draft: #368 Implement `cif2dsm` computation2022-08-17T11:43:12ZAlbert HofkampDraft: #368 Implement `cif2dsm` computationCloses #368Closes #368v0.7Albert HofkampAlbert Hofkamp