SuccessChanges

Summary

  1. -  Sequence and Set exclusion mechanism for is queries. -  Addresses (details)
Commit 850f4faa2c4a789813478cb378ee393728b28d02 by Victor Bandur
-  Sequence and Set exclusion mechanism for is queries. -  Addresses
#108.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)