Changes

#288 (Feb 9, 2021 11:47:32 AM)

1. Fix FunctionValue compareValueTo for unions, fixes #769 (commit: 40133fe) — nick.battle / detail
2. Introduce InvariantValueMaps from VDMJ, fixes #770 (commit: ee8935e) — nick.battle / detail
3. Correct running of traces with slashes in their name (commit: 132c389) — nick.battle / detail
4. Added seedtrace to CommandReader (commit: a89622c) — nick.battle / detail
5. Removed hard limit on module initialization (commit: 820f098) — simon.fraser / detail
6. Add retries to Simon's initialize improvement (commit: 5d44bda) — nick.battle / detail
7. Add class initialize changes for Simon's PR (commit: 7bced1c) — nick.battle / detail

#287 (Dec 15, 2020 9:41:38 PM)

1. Convert map/seq apply argument types, fixes #764 (commit: 8c9fc42) — nick.battle / detail

#285 (Nov 10, 2020 4:20:26 PM)

1. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) — idhugoid / detail
2. [maven-release-plugin] prepare for next development iteration (commit: 8f453e3) — idhugoid / detail

#281 (Nov 10, 2020 1:33:45 PM)

1. [maven-release-plugin] prepare release Release/3.0.2 (commit: 63f0532) — idhugoid / detail
2. [maven-release-plugin] prepare for next development iteration (commit: 54d948d) — idhugoid / detail

#278 (Nov 4, 2020 10:29:03 AM)

1. Check for invariant types when converting function values, fixes #761 (commit: b42facd) — nick.battle / detail

#277 (Oct 30, 2020 5:22:10 PM)

1. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) — idhugoid / detail

#275 (Oct 5, 2020 1:57:38 PM)

1. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) — nick.battle / detail

#273 (Sep 8, 2020 3:59:35 PM)

1. Adds strict flag parsing to the interpreter command line (commit: db2d546) — idhugoid / detail

#272 (Sep 8, 2020 3:48:49 PM)

1. Changes the interpreter startup (commit: e7a1016) — idhugoid / detail

#269 (Aug 28, 2020 10:41:40 AM)

1. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) — idhugoid / detail
2. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) — idhugoid / detail

#266 (Aug 26, 2020 11:40:49 AM)

1. Changes the interpreter startup (commit: e7a1016) — idhugoid / detail