escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2022-03-28T15:06:56Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/290#335 Eclipse ESCET website now has full project name.2022-03-28T15:06:56ZDennis Hendriks#335 Eclipse ESCET website now has full project name.Closes #335Closes #335v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/288#333 Replace `StringUtils.join` by native `String.join`2022-05-21T20:45:26ZAlbert Hofkamp#333 Replace `StringUtils.join` by native `String.join`Replaced all `StringUtils.join` of `org.apache.commons.lang`, and cleaned up the manifests.
Builds locally.
Closes #333Replaced all `StringUtils.join` of `org.apache.commons.lang`, and cleaned up the manifests.
Builds locally.
Closes #333v0.6https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/287#264 master to develop for v0.5-RC12022-03-25T11:06:29ZDennis Hendriks#264 master to develop for v0.5-RC1v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/284#264 Updated release notes for v0.5-RC1.2022-03-25T08:21:24ZDennis Hendriks#264 Updated release notes for v0.5-RC1.Addresses #264Addresses #264v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/286#276 Document Java/Eclipse/Tycho upgrade policies2022-03-25T08:15:01ZDennis Hendriks#276 Document Java/Eclipse/Tycho upgrade policiesCloses #276Closes #276v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/282#325 Add SBE docs and example + some other doc/website improvements.2022-03-24T12:40:59ZDennis Hendriks#325 Add SBE docs and example + some other doc/website improvements.- Explain synthesis-based engineering and its benefits in CIF
documentation.
- Add FIFO synthesis example to CIF examples.
- Cross-reference with various parts of the documentation.
- Some other small improvements to the CIF documentatio...- Explain synthesis-based engineering and its benefits in CIF
documentation.
- Add FIFO synthesis example to CIF examples.
- Cross-reference with various parts of the documentation.
- Some other small improvements to the CIF documentation.
- Some improvements to text on the ESCET/CIF websites.
- Fixed a typo in the ESCET general toolkit documentation.
- Fixed CIF documentation image build script.
Closes #325v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/280#329 Update DEPENDENCIES.txt for changed output.2022-03-15T13:17:06ZDennis Hendriks#329 Update DEPENDENCIES.txt for changed output.Closes #329Closes #329v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/277#317 Upgrade to Tycho 2.7.0.2022-03-13T11:05:38ZFerdie Reijnen#317 Upgrade to Tycho 2.7.0.Closes #317Closes #317v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/279#271 Fix asciidoc files for !278.2022-03-03T08:45:58ZAlbert Hofkamp#271 Fix asciidoc files for !278.Fix documentation for warnings found by the checker introduced at !278
Addresses #271 !278Fix documentation for warnings found by the checker introduced at !278
Addresses #271 !278v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/269#320 Remove unused algebraic variables2022-03-02T11:41:01ZAlbert Hofkamp#320 Remove unused algebraic variablesRecursively remove all algebraic variables that are never evaluated in the model.
Closes #320Recursively remove all algebraic variables that are never evaluated in the model.
Closes #320v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/273#306 Add CIF to CIF anonymize names transformation.2022-03-01T15:34:11ZDennis Hendriks#306 Add CIF to CIF anonymize names transformation.Closes #306Closes #306v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/272#324 CIF explorer, NFA to DFA and DFA minimizer doc improvements2022-02-28T13:51:49ZDennis Hendriks#324 CIF explorer, NFA to DFA and DFA minimizer doc improvements - CIF explorer: better order for introduction.
- CIF explorer: explain states and non-minimal result.
- NFA to DFA: explain how minimal DFA can be obtained.
- NFA to DFA: other small improvements.
- DFA minimize: refer to Wikipedia ... - CIF explorer: better order for introduction.
- CIF explorer: explain states and non-minimal result.
- NFA to DFA: explain how minimal DFA can be obtained.
- NFA to DFA: other small improvements.
- DFA minimize: refer to Wikipedia for more info on 'minimal'.
- DFA minimize: explain what could be done for NFAs.
Closes #324v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/275#304 Dev/release process doc updates for successful build before merge.2022-02-28T13:50:44ZDennis Hendriks#304 Dev/release process doc updates for successful build before merge.- Also fixed a style issue.
Closes #304- Also fixed a style issue.
Closes #304v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/276#277 Document time-based release policy.2022-02-28T13:50:04ZDennis Hendriks#277 Document time-based release policy.Closes #277Closes #277v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/274#326 Small documentation fixes for CIF to CIF add initial values transformation.2022-02-28T13:49:20ZDennis Hendriks#326 Small documentation fixes for CIF to CIF add initial values transformation.- Fixed wrong calculation.
- Fixed English mistake.
Closes #326- Fixed wrong calculation.
- Fixed English mistake.
Closes #326v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/159#107 Data-based synthesis should support state plant invariants2022-03-12T10:13:03ZFerdie Reijnen#107 Data-based synthesis should support state plant invariantsCloses #107Closes #107v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/263#308 Add cif2cif event controllability rewriting transformations.2022-02-24T06:44:50ZAlbert Hofkamp#308 Add cif2cif event controllability rewriting transformations.Add CIF to CIF transformations that change controllability of events to either controllable or uncontrollable.
Closes #308Add CIF to CIF transformations that change controllability of events to either controllable or uncontrollable.
Closes #308v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/268#263 develop to master for v0.5-M12022-02-22T18:34:19ZDennis Hendriks#263 develop to master for v0.5-M1Addresses #263Addresses #263v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/267#263 Updated release notes for v0.5-M1.2022-02-22T18:25:30ZDennis Hendriks#263 Updated release notes for v0.5-M1.Addresses #263Addresses #263v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/266#314 Add release dates to release notes2022-02-20T16:18:31ZFerdie Reijnen#314 Add release dates to release notesCloses #314Closes #314v0.5