SuccessChanges

Summary

  1. Fixes bug with setting correct buffer size in collections. (details)
  2. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (details)
  3. -  Runtime library support for is checks on product, class and record (details)
  4. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (details)
Commit aea50d8f230d700c281187b33f9126e35ab0e300 by Victor Bandur
Fixes bug with setting correct buffer size in collections.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit eab9362b50e9fdffca88b1925bfb7f8a81476215 by Victor Bandur
-  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 69c90e958f7c407e06f27e23793cf94425ab2425 by Victor Bandur
-  Runtime library support for is checks on product, class and record
types. -  Addresses #108.
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit af88a94321796bd83e534a1aad1e0467c223b999 by Victor Bandur
-  Cleanup, removed unused VDM-RT runtime library test models. -  Closes
#8.
The file was removedc/vdm/expressions/ExpressionTest.vdmrt
The file was removedc/vdm/classes/D.vdmrt
The file was removedc/vdm/expressions/ExpressionBoolean.vdmrt
The file was removedc/vdm/expressions/ExpressionSetForCGTesting.vdmrt
The file was removedc/vdm/classes/B.vdmrt
The file was removedc/vdm/expressions/ExpressionForLoop.vdmrt
The file was removedc/vdm/statements/StatementClassTest.vdmrt
The file was removedc/vdm/expressions/ExpressionSetTest.vdmrt
The file was removedc/vdm/expressions/ExpressionNumericTest.vdmrt
The file was removedc/vdm/lib/IO.vdmrt
The file was removedc/vdm/classes/ClassABTest.vdmrt
The file was removedc/vdm/classes/A.vdmrt
The file was removedc/vdm/expressions/ExpressionNumeric.vdmrt
The file was removedc/vdm/expressions/ExpressionSeq.vdmrt
The file was removedc/vdm/.project
The file was removedc/vdm/expressions/ExpressionForloopTest.vdmrt
The file was removedc/vdm/expressions/ExpressionSet.vdmrt
The file was removedc/vdm/New_configuration.launch
The file was removedc/vdm/classes/C.vdmrt
The file was removedc/vdm/classes/ModelVarBOOL.vdmrt
The file was removedc/vdm/expressions/ExpressionCases.vdmrt
The file was removedc/vdm/expressions/ExpressionSeqTest.vdmrt
The file was removedc/vdm/expressions/ExpressionSetForCGTestingTest.vdmrt
The file was removedc/vdm/expressions/ExpressionProductTest.vdmrt
The file was removedc/vdm/expressions/ExpressionProduct.vdmrt
The file was removedc/vdm/expressions/Expression.vdmrt
The file was removedc/vdm/expressions/ExpressionBooleanTest.vdmrt
The file was removedc/vdm/expressions/ExpressionClassTest.vdmrt
The file was removedc/vdm/expressions/ExpressionLet.vdmrt
The file was removedc/vdm/classes/Call.vdmrt
The file was removedc/vdm/expressions/ExpressionMap.vdmrt
The file was removedc/vdm/expressions/ExpressionMapTest.vdmrt
The file was removedc/vdm/lib/VDMUnit.vdmrt