SuccessChanges

Summary

  1. Features in native library enabling sequence comprehension. (commit: e3e5b30) (details)
  2. Update set comprehension strategy to generate the conditional check (commit: 1472883) (details)
  3. Add support for sequence comprehensions (commit: ced33ed) (details)
  4. Test that sequence comprehensions work (commit: 2cc5cae) (details)
Commit e3e5b301f9ae5ef6ac8b1a92968c33991272406c by Victor Bandur
Features in native library enabling sequence comprehension.
(commit: e3e5b30)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
Commit 147288385eb9e65de7024869dec49068bba3125f by Peter W. V. Tran-Jørgensen
Update set comprehension strategy to generate the conditional check
Related to issue #42
(commit: 1472883)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)
Commit ced33eda8acf2d27bd64e1401c86ed768cdbe3b6 by Peter W. V. Tran-Jørgensen
Add support for sequence comprehensions
Related to issue #42
(commit: ced33ed)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/SetCompToBlockTrans.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionComprehensions.vdmrt (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSeqCompStrategy.java