Changes
Summary
- Fix FunctionValue compareValueTo for unions, fixes #769 (commit: 40133fe) (details)
- Introduce InvariantValueMaps from VDMJ, fixes #770 (commit: ee8935e) (details)
- Correct running of traces with slashes in their name (commit: 132c389) (details)
- Added seedtrace to CommandReader (commit: a89622c) (details)
- Removed hard limit on module initialization (commit: 820f098) (details)
- Add retries to Simon's initialize improvement (commit: 5d44bda) (details)
- Add class initialize changes for Simon's PR (commit: 7bced1c) (details)