SuccessChanges

Summary

  1. Changed the set enumeration function to take C int's instead of TVPs. (commit: d96b111) (details)
  2. Refactored pretty printing into its own file. (commit: 0c46d29) (details)
  3. Minor code cleanup. (commit: d90488d) (details)
Commit d96b1111035763b61be39113c1a99f6f3ee3d23c by Victor Bandur
Changed the set enumeration function to take C int's instead of TVPs.
This is done for other internal functions.
modified:   c-examples/lib/VdmSet.c
modified:   c-examples/lib/VdmSet.h
modified:   c-examples/tests/ExpressionsSet_Tests.cpp
(commit: d96b111)
The file was modifiedc-examples/lib/VdmSet.c (diff)
The file was modifiedc-examples/lib/VdmSet.h (diff)
The file was modifiedc-examples/tests/ExpressionsSet_Tests.cpp (diff)
Commit 0c46d29898437c86e2fdaabbef88b6ac9a85ce2e by Victor Bandur
Refactored pretty printing into its own file.
new file:   c-examples/lib/PrettyPrint.c
new file:   c-examples/lib/PrettyPrint.h
modified:   c-examples/lib/TypedValue.c
modified:   c-examples/lib/TypedValue.h
(commit: 0c46d29)
The file was modifiedc-examples/lib/TypedValue.c (diff)
The file was addedc-examples/lib/PrettyPrint.c
The file was modifiedc-examples/lib/TypedValue.h (diff)
The file was addedc-examples/lib/PrettyPrint.h
Commit d90488db51b1f3d838814af992e532556ee74893 by Victor Bandur
Minor code cleanup.
modified:   c-examples/lib/IO.h
modified:   c-examples/lib/TypedValue.h
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/lib/VdmSet.c
(commit: d90488d)
The file was modifiedc-examples/lib/TypedValue.h (diff)
The file was modifiedc-examples/lib/IO.h (diff)
The file was modifiedc-examples/lib/VdmSet.c (diff)
The file was modifiedc-examples/lib/VdmBasicTypes.h (diff)