[Jenkins]Jenkins

SuccessChanges

Summary

  1. Fix FunctionValue compareValueTo for unions, fixes #769 (commit: 40133fe) (details)
  2. Introduce InvariantValueMaps from VDMJ, fixes #770 (commit: ee8935e) (details)
  3. Correct running of traces with slashes in their name (commit: 132c389) (details)
  4. Added seedtrace to CommandReader (commit: a89622c) (details)
  5. Removed hard limit on module initialization (commit: 820f098) (details)
  6. Add retries to Simon's initialize improvement (commit: 5d44bda) (details)
  7. Add class initialize changes for Simon's PR (commit: 7bced1c) (details)
Commit 40133fed800302ecbf13e391efa4c8f942f7f753 by nick.battle
Fix FunctionValue compareValueTo for unions, fixes #769
 (commit: 40133fe)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java
Commit ee8935ede518e8970df5fc4039bcc46b04e42e9e by nick.battle
Introduce InvariantValueMaps from VDMJ, fixes #770
 (commit: ee8935e)
The file was addedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValueMap.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/ValueMap.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java
Commit 132c38901abb6e60fca785596cf4abb253228da2 by nick.battle
Correct running of traces with slashes in their name
 (commit: 132c389)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java
Commit a89622c40ff10b2fdb9f560fdcabe86e7a9d8fd8 by nick.battle
Added seedtrace to CommandReader
 (commit: a89622c)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java
Commit 820f0981c04f4663ce2fe94eeffbdc20f6944b7e by simon.fraser
Removed hard limit on module initialization

Continued to initialize as long as each pass reduces the number of
problems rather than using a hard limit of 5.
 (commit: 820f098)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/assistant/module/ModuleListAssistantInterpreter.java
Commit 5d44bda977ae02a266d8fc9f50f9419aa99d894e by nick.battle
Add retries to Simon's initialize improvement
 (commit: 5d44bda)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/assistant/module/ModuleListAssistantInterpreter.java
Commit 7bced1c1cf7ef93efc5fd5aaf47c35cc23d87fc1 by nick.battle
Add class initialize changes for Simon's PR
 (commit: 7bced1c)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/assistant/module/ModuleListAssistantInterpreter.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/util/ClassListInterpreter.java