[Jenkins]Jenkins

SuccessChanges

Summary

  1. Support map overrides, the '++' operator (no GC) (commit: e44dc8e) (details)
  2. Support distributed map merge, the 'merge' operator (no GC) (commit: 93ab0dd) (details)
  3. Support distributed map-domain-restrict-to operator (no GC) (commit: 300ec96) (details)
  4. Support map-domain-restrict-by operator (no GC) (commit: d879f15) (details)
  5. Change argument order for map-range operators (commit: 8fe1a6f) (details)
  6. Support map-range-restrict-to operator (no GC) (commit: b0a7714) (details)
  7. Support map-range-restrict-by operator (no GC) (commit: 895669a) (details)
  8. Remove TODO that does not really apply anymore (commit: b368492) (details)
  9. Add GC support for map override (commit: 54d491f) (details)
  10. Add GC support for distributed merge (commit: 225c399) (details)
  11. Add GC support for map-dom-restrict-to (commit: 5490580) (details)
  12. Add GC support for map-dom-resrict-by (commit: ca432ec) (details)
  13. Add GC support for map-range-restrict-to (commit: db77314) (details)
  14. Add GC support for map-restrict-range-by (commit: 496a755) (details)
Commit e44dc8eee2f373459047d730cf608dc7dd881e5b by Peter W. V. Tran-Jørgensen
Support map overrides, the '++' operator (no GC)
Related to issue #87
 (commit: e44dc8e)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapOverrideBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
Commit 93ab0ddcb97452ee7286b9c9b47e6a09364e1f0c by Peter W. V. Tran-Jørgensen
Support distributed map merge, the 'merge' operator (no GC)
Related to issue #87
 (commit: 93ab0dd)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADistMergeUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
Commit 300ec9600fa5c2c53ed06ef7b0e94da3e352d0c7 by Peter W. V. Tran-Jørgensen
Support distributed map-domain-restrict-to operator (no GC)
Related to issue #87
 (commit: 300ec96)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResToBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
Commit d879f152c49fd0ff37c854b0279734781fd009eb by Peter W. V. Tran-Jørgensen
Support map-domain-restrict-by operator (no GC)
Related to issue #87
 (commit: d879f15)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResByBinaryExpIR.vm
Commit 8fe1a6f05af0561b229ac872232cc0af62ec1b54 by Peter W. V. Tran-Jørgensen
Change argument order for map-range operators
 (commit: 8fe1a6f)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
Commit b0a77147017c26eeb9cf272d6036f8257129f1fb by Peter W. V. Tran-Jørgensen
Support map-range-restrict-to operator (no GC)
Related to issue #87
 (commit: b0a7714)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResToBinaryExpIR.vm
Commit 895669a5cde0433ee1f7c34eeffd78521792a011 by Peter W. V. Tran-Jørgensen
Support map-range-restrict-by operator (no GC)
Related to issue #87
 (commit: 895669a)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResByBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt (diff)
Commit b36849274c961ed66fda394b16d9c7667357ec12 by Peter W. V. Tran-Jørgensen
Remove TODO that does not really apply anymore
 (commit: b368492)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
Commit 54d491f8d6466559bd14e31c0a0696ea0e3b264c by Peter W. V. Tran-Jørgensen
Add GC support for map override
Addresses #87
 (commit: 54d491f)
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 removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapOverrideBinaryExpIR.vm
Commit 225c3997b0183c8233e6f7c0d701184f0ddd2602 by Peter W. V. Tran-Jørgensen
Add GC support for distributed merge
Addresses #87
 (commit: 225c399)
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/ADistMergeUnaryExpIR.vm
Commit 54905803fd027465054ed4f751d9aa0a5df7dc75 by Peter W. V. Tran-Jørgensen
Add GC support for map-dom-restrict-to
Addresses #87
 (commit: 5490580)
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 removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ADomainResToBinaryExpIR.vm
Commit ca432ec613ad93aeac6fd6144498daef7880b879 by Peter W. V. Tran-Jørgensen
Add GC support for map-dom-resrict-by
Addresses #87
 (commit: ca432ec)
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/ADomainResByBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit db77314680886de1ddbdff6dab4ad93e47c65eaa by Peter W. V. Tran-Jørgensen
Add GC support for map-range-restrict-to
Addresses #87
 (commit: db77314)
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 removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResToBinaryExpIR.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)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeResByBinaryExpIR.vm