SuccessChanges

Summary

  1. Interface cleanup for sets. (commit: 60b69d1) (details)
  2. -  Interface cleanup for maps in runtime library. -  Addresses #87. (commit: 8b98bb1) (details)
  3. -  Interface cleanup for products in runtime library. -  Addresses #87. (commit: de43384) (details)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
Commit 8b98bb1e2a4948c01ac0c9ee3acf3bce7dfd368a by Victor Bandur
-  Interface cleanup for maps in runtime library. -  Addresses #87.
(commit: 8b98bb1)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
Commit de433840565b76f4134ea2518403d102e062918a by Victor Bandur
-  Interface cleanup for products in runtime library. -  Addresses #87.
(commit: de43384)
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)