SuccessChanges

Summary

  1. Refactor test code (commit: d606c7b) (details)
  2. Mangle token types (commit: 1f170f2) (details)
  3. Update CompatibleMethodCollector to handle pre and postcondition (commit: fd9a73f) (details)
  4. Remove packaging phase from Jenkinsfile (commit: e705751) (details)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/MultiFileModelTestBase.java
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CasesTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit fd9a73f7cd673a85990290b0529ee0ce50d71312 by Peter W. V. Tran-Jørgensen
Update CompatibleMethodCollector to handle pre and postcondition
expressions
(commit: fd9a73f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompatibleMethodCollector.java (diff)
The file was modifiedJenkinsfile (diff)