Changes between #287 and #288

#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