SuccessChanges

Summary

  1. Add pacemaker model sources #100 (commit: 1dc4030) (details)
  2. Add VDMPP version of bubble sort #100 (commit: 82f87fd) (details)
  3. Check that all paper examples code-generate and compile #100 (commit: 1478c4e) (details)
  4. Only include TypedValue.h in paper examples extension points (commit: d49375b) (details)
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/pacemaker/Pacemaker.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/pacemaker/Heart.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/pacemaker/lib/IO.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/bubblesort/BubbleSort.vdmpp
Commit 1478c4e17d5d4407aa17cb37e25e7de206486df8 by Peter W. V. Tran-Jørgensen
Check that all paper examples code-generate and compile #100
(commit: 1478c4e)
The file was addedcore/vdm2c/src/test/resources/native/paper-examples/cash-dispenser-extension.c
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/paper-examples/pacemaker-extension.c
Commit d49375bb4d42a6013d39fd10828b99d6276f6c56 by Peter W. V. Tran-Jørgensen
Only include TypedValue.h in paper examples extension points
(commit: d49375b)
The file was modifiedcore/vdm2c/src/test/resources/native/paper-examples/cash-dispenser-extension.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/paper-examples/pacemaker-extension.c (diff)