SuccessChanges

Summary

  1. Move bool conversion to comprehension strategies (commit: e6571f9) (details)
  2. Add support for forall (quantified) expressions (commit: 16ce987) (details)
  3. Test translation of forall (quantified expressions) (commit: c99cf60) (details)
  4. Support 'exists' quantified expressions (commit: 475ab28) (details)
  5. More testing of 'forall' and 'exists' (commit: 77af864) (details)
Commit e6571f9302c650a329bd60866064ce97199d7909 by Peter W. V. Tran-Jørgensen
Move bool conversion to comprehension strategies
Related to issue #82
(commit: e6571f9)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSeqCompStrategy.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CForIterator.java (diff)
Commit 16ce987f32443aa49bf2b8a70c606efa1d71613a by Peter W. V. Tran-Jørgensen
Add support for forall (quantified) expressions
Addresses #82
(commit: 16ce987)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/COrdinaryQuantifierStrategy.java
Commit c99cf607cea5596656f1087f5ae17d60790d50bf by Peter W. V. Tran-Jørgensen
Test translation of forall (quantified expressions)
Addresses #82
(commit: c99cf60)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp
Commit 475ab280647a609f80588107b1b8e1127a273260 by Peter W. V. Tran-Jørgensen
Support 'exists' quantified expressions
Addresses #82
(commit: 475ab28)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp (diff)
Commit 77af8646faf669047a1e3bcb2cfef206d4ff0afd by Peter W. V. Tran-Jørgensen
More testing of 'forall' and 'exists'
Addresses #82
(commit: 77af864)
The file was modifiedcore/vdm2c/src/test/resources/native/quantifiers/ExpressionQuantifiers_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuantifiers.vdmrt (diff)