SuccessChanges

Summary

  1. Update runtime to support a larger number of function arguments (commit: 3acd03c) (details)
  2. Assume that the address is passed to SELF_GC (commit: 266d21a) (details)
  3. Clean up PaperExampleTests (commit: 331ddc6) (details)
Commit 3acd03ce17e2f0643c44645041d24b3fb2503126 by Peter W. V. Tran-Jørgensen
Update runtime to support a larger number of function arguments
(commit: 3acd03c)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 266d21a17b02fc7f15209b35d369a20e7d85e7fa by Peter W. V. Tran-Jørgensen
Assume that the address is passed to SELF_GC
(commit: 266d21a)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java (diff)