SuccessChanges

Summary

  1. Inserting explicit cast necessary for ATmega target.  Because of a fluke (commit: 2d2f3b5) (details)
  2. fixed #50 (commit: e23e8f0) (details)
  3. Improvement to number operations so that the largest type gets returned (commit: 6fd06c9) (details)
  4. Fixed tests in accordance with reduced maximal type change. (commit: 79015eb) (details)
  5. Maximal type fix for vdmMod. (commit: ad34906) (details)
Commit 2d2f3b5dfc299027f886f0c93f2e5cf2c3b7032c by Victor Bandur
Inserting explicit cast necessary for ATmega target.  Because of a fluke
this was not necessary on the development computers.
(commit: 2d2f3b5)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/test/StructOffsetTest_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 6fd06c952f833960ca6bd4baa3b4b9ea6070e6c9 by Victor Bandur
Improvement to number operations so that the largest type gets returned
in some cases, not simply real.
(commit: 6fd06c9)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
Commit 79015ebad3e46f987d9e85f559f49f66ddb58d76 by Victor Bandur
Fixed tests in accordance with reduced maximal type change.
(commit: 79015eb)
The file was modifiedc/vdmclib/src/test/ClassPublicCallABC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassBTest.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassPublicFieldABC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassPrivateCallABC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ClassATest.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)