SuccessChanges

Summary

  1. Support for "is_" check for booleans, integers and reals. (commit: 4a4d677) (details)
  2. Added header file inclusion for sets, since the mac gcc compiler fails (commit: 9f6cd3a) (details)
  3. Eliminated use of "const" qualifier on pointer variables.  There is no (commit: bf8cc05) (details)
  4. Changing from using "EXPECT_EQ(false / true ... " in native library (commit: 9cc14c7) (details)
  5. -  Changed to better name for equality function for numbers. -  Handling (commit: f184c89) (details)
  6. Correct map type template (commit: e8e9d72) (details)
  7. Correct map range template (commit: 463e802) (details)
  8. Correct map domain template (commit: 25633c2) (details)
  9. Add support for map enumerations (commit: 4dab773) (details)
  10. Add support for map access (commit: 53cabfb) (details)
  11. Test that maps code generate correctly (commit: aede644) (details)
  12. Test that map equality/inequality code generate correctly (commit: 398f7ea) (details)
  13. Correct map inverse template (commit: a2baec1) (details)
  14. Test that the map inverse operator code generates correctly (commit: aa77227) (details)
  15. Correct map union template (commit: bfc92c2) (details)
  16. Test that map union code generates correctly (commit: 82c1970) (details)
  17. Set and map equality fixes. (commit: 09e196e) (details)
  18. Fix for map equality. (commit: 46ed0f0) (details)
Commit 4a4d6775f3df957267e1c93d9f5a07a1612e5efc by Victor Bandur
Support for "is_" check for booleans, integers and reals.
(commit: 4a4d677)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AIntIsExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ABoolIsExpIR.vm (diff)
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/ExpressionIs.vdmrt
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARealIsExpIR.vm (diff)
The file was addedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 9f6cd3a9a96c7758b18c02e1e48057a5bd577f5f by Miran
Added header file inclusion for sets, since the mac gcc compiler fails
the Nativetests without it.
(commit: 9f6cd3a)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
Commit bf8cc05bbc62f04ab2c15f33a0fdccf9a0dcf6b7 by Victor Bandur
Eliminated use of "const" qualifier on pointer variables.  There is no
straightforward way to check when they should be discarded so that
compiler warnings are eliminated.
(commit: bf8cc05)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AVarDeclIR.vm (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 9cc14c723dbc7fce4543de9781ba9a08f2ded157 by Victor Bandur
Changing from using "EXPECT_EQ(false / true ... " in native library
tests to "EXPECT_FALSE" and "EXPECT_TRUE" to avoid a gcc compiler bug.
(commit: 9cc14c7)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsBoolean_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/TypeofTest_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp (diff)
Commit f184c8950ee561eda246a5d9560e3d4f644fade2 by Victor Bandur
-  Changed to better name for equality function for numbers. -  Handling
call to "vdmEquals" for maps correctly.
(commit: f184c89)
The file was modifiedc/vdmclib/src/test/ExpressionForLoop.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/types/AMapMapTypeIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapRangeUnaryExpIR.vm (diff)
Commit 25633c2acd7677bc0e5b47ab59fe7d26b02fc860 by Peter W. V. Tran-Jørgensen
Correct map domain template
Addresses #44
(commit: 25633c2)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapDomainUnaryExpIR.vm (diff)
Commit 4dab773c112b0536e34337d6006286a542c613e3 by Peter W. V. Tran-Jørgensen
Add support for map enumerations
Addresses #44
(commit: 4dab773)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AEnumMapExpIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AApplyExpIR.vm (diff)
Commit aede644efcda243685706de8a3483e1dc0a4f562 by Peter W. V. Tran-Jørgensen
Test that maps code generate correctly
Addresses #44
(commit: aede644)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt
Commit 398f7ea6f762f5521fa56c1aef43575e8e59e068 by Peter W. V. Tran-Jørgensen
Test that map equality/inequality code generate correctly
Addresses #44
(commit: 398f7ea)
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 a2baec1ac3264acd20ae4e7e648708c9e781529f by Peter W. V. Tran-Jørgensen
Correct map inverse template
Addresses #44
(commit: a2baec1)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapInverseUnaryExpIR.vm (diff)
Commit aa772273f323c0174fdd15303dc33f0bbc4cb9d0 by Peter W. V. Tran-Jørgensen
Test that the map inverse operator code generates correctly
Addresses #44
(commit: aa77227)
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 modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMapUnionBinaryExpIR.vm (diff)
Commit 82c1970d05f12d68eed4199a9bb407a286489785 by Peter W. V. Tran-Jørgensen
Test that map union code generates correctly
Addresses #44
(commit: 82c1970)
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 modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)