escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-03-12T16:54:10Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/20#20 Improved development environment setup instructions.2021-03-12T16:54:10ZDennis Hendriks#20 Improved development environment setup instructions.Closes #20Closes #20v0.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/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/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/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/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/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/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/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/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/43#41 Fix errMalforumedUrl typo.2021-04-20T16:35:40ZFerdie Reijnen#41 Fix errMalforumedUrl typo.Closes #41Closes #41https://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.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/41#26 Distinguish dev and release builds.2021-06-02T12:35:29ZDennis Hendriks#26 Distinguish dev and release builds.#26 Distinguish dev and release builds.
- In feature blurb and product about text.
- Is 'dev' by default and actual release version for releases.
- Is set to release version for release builds on Jenkins.
- Aligned feature blurb and...#26 Distinguish dev and release builds.
- In feature blurb and product about text.
- Is 'dev' by default and actual release version for releases.
- Is set to release version for release builds on Jenkins.
- Aligned feature blurb and product about text.
Addresses #26v0.2https://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/44#49 CIF simulator crashes on too many invariants.2021-04-21T18:04:19ZFerdie Reijnen#49 CIF simulator crashes on too many invariants.Closes #49Closes #49https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/45#45 Deprecate old CIF enum declaration syntax 2.2021-04-21T19:53:19ZFerdie Reijnen#45 Deprecate old CIF enum declaration syntax 2.Closes #45Closes #45