[Jenkins]Jenkins

SuccessChanges

Summary

  1. Add GC support for map look-ups (commit: c525cdb) (details)
  2. Convert tuple expressions to apply expressions (commit: 6c213d4) (details)
  3. Add GC support for tuple expressions (commit: c0ec89f) (details)
  4. Add GC support for tuple field access (commit: eadaf8d) (details)
  5. Run value type tests with GC enabled (commit: d5c1605) (details)
Commit c525cdb8868117d9ffd4cb3a8b78b57dd5183455 by Peter W. V. Tran-Jørgensen
Add GC support for map look-ups
Addresses #87
 (commit: c525cdb)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AApplyExpIR.vm (diff)
Commit 6c213d4c3927207fe0eabce5e9802d7de8ee3f69 by Peter W. V. Tran-Jørgensen
Convert tuple expressions to apply expressions
Addresses #87
 (commit: 6c213d4)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATupleExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/TupleTrans.java
Commit c0ec89fb7f9714125b7efd0bcaf9b77208776473 by Peter W. V. Tran-Jørgensen
Add GC support for tuple expressions
Addresses #87
 (commit: c0ec89f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit eadaf8d3c3692f548b8e440c5fca8a253c5948f8 by Peter W. V. Tran-Jørgensen
Add GC support for tuple field access
Addresses #87
 (commit: eadaf8d)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AFieldNumberExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/TupleTrans.java (diff)
Commit d5c1605fefd839ca59c193cde130723507db0474 by Peter W. V. Tran-Jørgensen
Run value type tests with GC enabled
Related to #87
 (commit: d5c1605)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ValueTypeGarbageCollectionTests.java