SuccessChanges

Summary

  1. added cases test (commit: cb91dbe) (details)
  2. Stub for IO library with implementation of echo function. (commit: 714b276) (details)
  3. Started work on pretty printing.  Implemented pretty printing of Boolean (commit: 6635de5) (details)
  4. Implementation of pretty printing of integers. (commit: 9ad33f0) (details)
  5. Inserted an important comment. (commit: c179142) (details)
  6. Implementation of pretty printing for individual chars. (commit: 9ff2126) (details)
  7. Implementation of printing function for reals. (commit: 911410a) (details)
  8. Continuing with implementation of IO library.  Some restructuring. (commit: 9961469) (details)
  9. Moved pretty printing system up a level of abstraction to TypedValue in (commit: 7744dfb) (details)
  10. -  Started implementation of pretty printing of collections. -  Started (commit: 93eb88a) (details)
  11. Implementation of println. (commit: da4c73b) (details)
  12. Working implementation of pretty printing of sets. (commit: 5c47752) (details)
  13. -  Plugged a memory leak in set pretty printing. -  Comments (commit: 7711bab) (details)
  14. Working pretty printing implementation for sequences. (commit: 4b85f13) (details)
  15. A temporary modification to print sequences of chars as strings instead (commit: ed4b213) (details)
  16. moved includes and ifdefed all IO (commit: c20775f) (details)
The file was addedvdm/expressions/ExpressionCases.vdmrt
Commit 714b2763ac4fa6ca4beef7e908f38023197e34c4 by Kenneth Lausdahl
Stub for IO library with implementation of echo function.
new file:   c-examples/lib/IO.c
new file:   c-examples/lib/IO.h
new file:   c-examples/tests/ClassIO_Tests.cpp
(commit: 714b276)
The file was addedc-examples/lib/IO.h
The file was addedc-examples/tests/ClassIO_Tests.cpp
The file was addedc-examples/lib/IO.c
Commit 6635de5bbc6e92c0d647321313c2e5c784429726 by Victor Bandur
Started work on pretty printing.  Implemented pretty printing of Boolean
values.
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
new file:   c-examples/tests/PrettyPrint_Tests.cpp
(commit: 6635de5)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
The file was addedc-examples/tests/PrettyPrint_Tests.cpp
The file was modifiedc-examples/lib/VdmBasicTypes.h (diff)
Commit 9ad33f08c1827fe047fdfc954bfe8c1d24db8800 by Victor Bandur
Implementation of pretty printing of integers.
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/tests/PrettyPrint_Tests.cpp
(commit: 9ad33f0)
The file was modifiedc-examples/lib/VdmBasicTypes.h (diff)
The file was modifiedc-examples/tests/PrettyPrint_Tests.cpp (diff)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
Commit c1791423da21090eb52ab0f17569c769a49a0f4b by Victor Bandur
Inserted an important comment.
modified:   c-examples/lib/VdmBasicTypes.c
(commit: c179142)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
Commit 9ff21262d0b274549fbb8d450eeba978a53776a1 by Victor Bandur
Implementation of pretty printing for individual chars.
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/tests/PrettyPrint_Tests.cpp
(commit: 9ff2126)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
The file was modifiedc-examples/tests/PrettyPrint_Tests.cpp (diff)
The file was modifiedc-examples/lib/VdmBasicTypes.h (diff)
Commit 911410a752da63152e8f91ad17355d6d8bd58312 by Victor Bandur
Implementation of printing function for reals.
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/tests/PrettyPrint_Tests.cpp
(commit: 911410a)
The file was modifiedc-examples/lib/VdmBasicTypes.h (diff)
The file was modifiedc-examples/tests/PrettyPrint_Tests.cpp (diff)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
Commit 9961469255bfe496285156a98189d0b12cb290fe by Victor Bandur
Continuing with implementation of IO library.  Some restructuring.
modified:   c-examples/lib/IO.c
modified:   c-examples/lib/Vdm.h
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/tests/PrettyPrint_Tests.cpp
(commit: 9961469)
The file was modifiedc-examples/lib/Vdm.h (diff)
The file was modifiedc-examples/lib/IO.c (diff)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
The file was modifiedc-examples/tests/PrettyPrint_Tests.cpp (diff)
Commit 7744dfb86c4273104b32229e87320186b5cc5da5 by Victor Bandur
Moved pretty printing system up a level of abstraction to TypedValue in
preparation for dealing with collections.
modified:   c-examples/lib/TypedValue.c
modified:   c-examples/lib/TypedValue.h
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
(commit: 7744dfb)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
The file was modifiedc-examples/lib/TypedValue.h (diff)
The file was modifiedc-examples/lib/TypedValue.c (diff)
The file was modifiedc-examples/lib/VdmBasicTypes.h (diff)
Commit 93eb88a81d27778bce72875b9b99afbf35f02255 by Victor Bandur
-  Started implementation of pretty printing of collections. -  Started
turning tests into higher-level tests of IO class functionality.
(commit: 93eb88a)
The file was modifiedc-examples/lib/TypedValue.c (diff)
The file was modifiedc-examples/tests/ClassIO_Tests.cpp (diff)
The file was modifiedc-examples/tests/PrettyPrint_Tests.cpp (diff)
Commit da4c73b8eab521505690decad4657103a409088a by Victor Bandur
Implementation of println.
modified:   c-examples/lib/IO.c
modified:   c-examples/tests/ClassIO_Tests.cpp
modified:   c-examples/tests/PrettyPrint_Tests.cpp
(commit: da4c73b)
The file was modifiedc-examples/lib/IO.c (diff)
The file was modifiedc-examples/tests/ClassIO_Tests.cpp (diff)
The file was modifiedc-examples/tests/PrettyPrint_Tests.cpp (diff)
Commit 5c477526c1c5e83069de441fc01c23469c8bf10a by Victor Bandur
Working implementation of pretty printing of sets.
modified:   c-examples/lib/TypedValue.c
modified:   c-examples/tests/ClassIO_Tests.cpp
(commit: 5c47752)
The file was modifiedc-examples/lib/TypedValue.c (diff)
The file was modifiedc-examples/tests/ClassIO_Tests.cpp (diff)
Commit 7711baba45e4a2e343895eea54be503b35aa3f57 by Victor Bandur
-  Plugged a memory leak in set pretty printing. -  Comments
modified:   c-examples/lib/TypedValue.c
(commit: 7711bab)
The file was modifiedc-examples/lib/TypedValue.c (diff)
Commit 4b85f135f4b41386f6c8cdbb959258ada1e866f4 by Victor Bandur
Working pretty printing implementation for sequences.
modified:   c-examples/lib/TypedValue.c
modified:   c-examples/tests/ClassIO_Tests.cpp
(commit: 4b85f13)
The file was modifiedc-examples/tests/ClassIO_Tests.cpp (diff)
The file was modifiedc-examples/lib/TypedValue.c (diff)
Commit ed4b2132b5b75902ea8e8501e5b5633749b253c9 by Victor Bandur
A temporary modification to print sequences of chars as strings instead
of sequences.
modified:   c-examples/lib/IO.c
modified:   c-examples/lib/TypedValue.h
modified:   c-examples/tests/ClassIO_Tests.cpp
(commit: ed4b213)
The file was modifiedc-examples/tests/ClassIO_Tests.cpp (diff)
The file was modifiedc-examples/lib/TypedValue.h (diff)
The file was modifiedc-examples/lib/IO.c (diff)
Commit c20775f930af5ec9fd586a4a2bf4d7c623436550 by Kenneth Lausdahl
moved includes and ifdefed all IO
(commit: c20775f)
The file was modifiedc-examples/lib/IO.c (diff)
The file was modifiedc-examples/lib/IO.h (diff)