Changes
#288 (Feb 9, 2021 11:47:32 AM)
- Fix FunctionValue compareValueTo for unions, fixes #769 (commit: 40133fe) — nick.battle / detail
- Introduce InvariantValueMaps from VDMJ, fixes #770 (commit: ee8935e) — nick.battle / detail
- Correct running of traces with slashes in their name (commit: 132c389) — nick.battle / detail
- Added seedtrace to CommandReader (commit: a89622c) — nick.battle / detail
- Removed hard limit on module initialization (commit: 820f098) — simon.fraser / detail
- Add retries to Simon's initialize improvement (commit: 5d44bda) — nick.battle / detail
- Add class initialize changes for Simon's PR (commit: 7bced1c) — nick.battle / detail
#287 (Dec 15, 2020 9:41:38 PM)
- Convert map/seq apply argument types, fixes #764 (commit: 8c9fc42) — nick.battle / detail
#285 (Nov 10, 2020 4:20:26 PM)
- [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) — idhugoid / detail
- [maven-release-plugin] prepare for next development iteration (commit: 8f453e3) — idhugoid / detail
#281 (Nov 10, 2020 1:33:45 PM)
- [maven-release-plugin] prepare release Release/3.0.2 (commit: 63f0532) — idhugoid / detail
- [maven-release-plugin] prepare for next development iteration (commit: 54d948d) — idhugoid / detail
#278 (Nov 4, 2020 10:29:03 AM)
- Check for invariant types when converting function values, fixes #761 (commit: b42facd) — nick.battle / detail
#277 (Oct 30, 2020 5:22:10 PM)
- Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) — idhugoid / detail
#275 (Oct 5, 2020 1:57:38 PM)
- Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) — nick.battle / detail
#273 (Sep 8, 2020 3:59:35 PM)
- Adds strict flag parsing to the interpreter command line (commit: db2d546) — idhugoid / detail
#272 (Sep 8, 2020 3:48:49 PM)
- Changes the interpreter startup (commit: e7a1016) — idhugoid / detail
#269 (Aug 28, 2020 10:41:40 AM)
- [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) — idhugoid / detail
- [maven-release-plugin] prepare for next development iteration (commit: 42ea313) — idhugoid / detail
#266 (Aug 26, 2020 11:40:49 AM)
- Changes the interpreter startup (commit: e7a1016) — idhugoid / detail