escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-03-12T08:23:45Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/21Address "Full and up-to-date list of dependencies"2021-03-12T08:23:45ZDennis HendriksAddress "Full and up-to-date list of dependencies"Addresses #22
- Add generated DEPENDENCIES.txt file. Refer to it from NOTICE file.
- Updated license header check for new DEPENDENCIES.txt file.
- Echo Maven command in mvn_escet.* scripts.
- Makes it clear what exact command is exec...Addresses #22
- Add generated DEPENDENCIES.txt file. Refer to it from NOTICE file.
- Updated license header check for new DEPENDENCIES.txt file.
- Echo Maven command in mvn_escet.* scripts.
- Makes it clear what exact command is executed. Helps in debugging.v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/22#6 Ensure website index.html adheres to Eclipse Foundation rules.2021-03-09T16:31:38ZDennis Hendriks#6 Ensure website index.html adheres to Eclipse Foundation rules.Addresses #6Addresses #6v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/23Draft: Resolve "Improve installation instructions for macOS"2021-03-18T08:45:54ZBert Van BeekDraft: Resolve "Improve installation instructions for macOS"Closes #21Closes #21v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/24Resolve "Remove command line tools for macOS"2021-03-18T14:02:07ZDennis HendriksResolve "Remove command line tools for macOS"Closes #23
- Removed command line scripts for macOS.
- Changed Mac OS X to macOS.Closes #23
- Removed command line scripts for macOS.
- Changed Mac OS X to macOS.v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/25#21 Improved installation instructions for MacOS2021-03-18T14:00:11ZBert Van Beek#21 Improved installation instructions for MacOSCloses #21Closes #21v0.1Dennis HendriksDennis Hendrikshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/26Resolve "Various small documentation improvements for release v0.1"2021-03-18T15:00:48ZDennis HendriksResolve "Various small documentation improvements for release v0.1"Closes #24
- Updated development process documentation page.
- Fixed sentence on the Chi introduction documentation page.Closes #24
- Updated development process documentation page.
- Fixed sentence on the Chi introduction documentation page.v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/27Develop2021-03-18T15:17:12ZDennis HendriksDevelopMerge to master for v0.1-RC1.Merge to master for v0.1-RC1.v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/28#25 Fix ElimComponentDefInst for nested def/inst2021-04-19T08:58:33ZFerdie Reijnen#25 Fix ElimComponentDefInst for nested def/instCloses #25
- Find defs/insts located in groups.
- Include additional test case.
Signed-off-by: Ferdie Reijnen <ferdie.reijnen@gmail.com>Closes #25
- Find defs/insts located in groups.
- Include additional test case.
Signed-off-by: Ferdie Reijnen <ferdie.reijnen@gmail.com>https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/29#25 Find defs/insts located in groups.2021-04-19T08:58:33ZDennis Hendriks#25 Find defs/insts located in groups.Closes #25
This merge requests extends !28
Signed-off-by: Ferdie Reijnen <ferdie.reijnen@gmail.com>Closes #25
This merge requests extends !28
Signed-off-by: Ferdie Reijnen <ferdie.reijnen@gmail.com>https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/30#58 Fix error message for disc vars with multiple init values.2021-04-11T19:51:06ZFerdie Reijnen#58 Fix error message for disc vars with multiple init values.Closes #58Closes #58https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/31#37 Fix CIF simulator for empty initial predicates initialization.2021-04-13T10:49:50ZFerdie Reijnen#37 Fix CIF simulator for empty initial predicates initialization.Closes #37Closes #37https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/32#60 Fix duplicated error messages for multi init locs in mCRL2 transformation.2021-04-15T15:12:02ZFerdie Reijnen#60 Fix duplicated error messages for multi init locs in mCRL2 transformation.Closes #60Closes #60Ferdie ReijnenFerdie Reijnenhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/33#47 CIF simulator crashes on assignment to dictionary with non-int key2021-04-13T10:45:53ZFerdie Reijnen#47 CIF simulator crashes on assignment to dictionary with non-int keyCloses #47Closes #47https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/34#56 CIF linearization crashes on channel without sender.2021-04-14T19:54:09ZFerdie Reijnen#56 CIF linearization crashes on channel without sender.Closes #56Closes #56https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/35#55 Add option to change output automaton name for CIF state space generation2021-04-14T17:00:24ZFerdie Reijnen#55 Add option to change output automaton name for CIF state space generationCloses #55Closes #55Ferdie ReijnenFerdie Reijnenhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/36#59 mCRL2 transformation website: Supported specifications list is incomplete.2021-04-14T19:57:57ZFerdie Reijnen#59 mCRL2 transformation website: Supported specifications list is incomplete.Closes #59Closes #59https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/37#45 Deprecate old CIF enum declaration syntax.2021-04-19T07:54:38ZFerdie Reijnen#45 Deprecate old CIF enum declaration syntax.Closes #45Closes #45https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/38Draft: Resolve "Allow just last year in license headers"2021-04-19T12:37:46ZDennis HendriksDraft: Resolve "Allow just last year in license headers"Closes #64Closes #64v0.2Dennis HendriksDennis Hendrikshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/39#64 Allow just last year in license headers.2021-04-21T15:54:29ZDennis Hendriks#64 Allow just last year in license headers.#64 Allow just last year in license headers.
- Adapted Checkstyle check.
- Adapted generic check script.
- Updated one CIF test model that was missing a license header.
Closes #64#64 Allow just last year in license headers.
- Adapted Checkstyle check.
- Adapted generic check script.
- Updated one CIF test model that was missing a license header.
Closes #64v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/40#26 Version number preparations for 0.2.0 + + updated release process2021-04-21T15:52:17ZDennis Hendriks#26 Version number preparations for 0.2.0 + + updated release process- Version updates from 0.1.0 to 0.2.0
- Added v0.2 section to various release notes.
- Updated release process for preparing Git repo for a new version.
Addresses #26- Version updates from 0.1.0 to 0.2.0
- Added v0.2 section to various release notes.
- Updated release process for preparing Git repo for a new version.
Addresses #26v0.2