Changes between #287 and #288
#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