[Jenkins]Jenkins

SuccessChanges

Summary

  1. Refactor collection enumeration transformation (commit: 72b8396) (details)
  2. Transform set enumerations to apply expressions (commit: 0fcdbb7) (details)
  3. Update garbage collection transformation to handle newSetVar (commit: 9d49848) (details)
  4. Add GC support for 'tl' (commit: 2064950) (details)
  5. Add GC support for 'len' (commit: d981474) (details)
  6. Add GC support for 'hd' (commit: 97ed134) (details)
  7. Add GC support for sequence concatenation (commit: c79e4d4) (details)
  8. Add GC support for 'reverse' (commit: f4163ce) (details)
  9. Clean up apply template (commit: da9a847) (details)
  10. Add GC support for sequence look-up (commit: c4c5cf1) (details)
Commit 72b8396fc51d537b4e55116c6e61456d1bc68a26 by Peter W. V. Tran-Jørgensen
Refactor collection enumeration transformation
Work on #87
 (commit: 72b8396)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/SeqTrans.java
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/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java
Commit 0fcdbb7a21100a86be108ef1f653b8fa3d3cac75 by Peter W. V. Tran-Jørgensen
Transform set enumerations to apply expressions
Addresses #87
 (commit: 0fcdbb7)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEnumSetExpIR.vm
Commit 9d49848c79067fbbfcaa9b5b36069570f3888c82 by Peter W. V. Tran-Jørgensen
Update garbage collection transformation to handle newSetVar
 (commit: 9d49848)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ATailUnaryExpIR.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/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ALenUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AHeadUnaryExpIR.vm
Commit c79e4d45748b10664c37045ce5d724dab6f2f0fd by Peter W. V. Tran-Jørgensen
Add GC support for sequence concatenation
Addresses #87
 (commit: c79e4d4)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASeqConcatBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit f4163ceb2d2a300f3adbea270110187c15766721 by Peter W. V. Tran-Jørgensen
Add GC support for 'reverse'
Addresses #87
 (commit: f4163ce)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AReverseUnaryExpIR.vm
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 c4c5cf1a9a5e14dc34b12a25abbfddee47025d06 by Peter W. V. Tran-Jørgensen
Add GC support for sequence look-up
Addresses #87
 (commit: c4c5cf1)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AApplyExpIR.vm (diff)