SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.1.6 (details)
  2. [maven-release-plugin] prepare for next development iteration (details)
  3. Fix issue with for loop transformation (details)
  4. Fix issue with 'new' expression transformation (details)
  5. Mention that the generated code is C89 compliant (details)
  6. Mention VDM2C documentation (details)
  7. Support map comprehensions (details)
  8. Test map comprehensions (details)
  9. Add paper example tests (details)
  10. Add AlarmPP example sources for testing (details)
  11. Add CashDispenserPP model for future testing (details)
  12. Update runtime to support a larger number of function arguments (details)
  13. Assume that the address is passed to SELF_GC (details)
  14. Clean up PaperExampleTests (details)
  15. Fix imports (details)
  16. -  Added cleaning phase for runtime library to Maven build cycle. - (details)
  17. Fix issue with CallRewriteTrans (details)
  18. -  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90. (details)
  19. Fix for compatibility with FMU exporter. (details)
  20. Fix field look-up in FieldReadToFieldGetMacroTrans (details)
  21. -  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses (details)
  22. -  Eliminated compilation warning  due to parentheses. (details)
  23. Only merge statement blocks when it's safe to do so (details)
  24. Expanded to accommodate up to six function and operation call (details)
  25. Reverting accidental inclusion of testing code. (details)
  26. -  Further improvements to sequence growing mechanisms. -  Addresses (details)
  27. Fix issue nested operation calls (details)
  28. Fix another issue with nested operation calls (details)
  29. Include identifier state designators in header analysis (details)
  30. Fix issue with include directives in main.c (details)
  31. -  Fixed memory leak in maps. -  Addresses #89. (details)
  32. -  Fixed memory leak in sets. -  Addresses #89. (details)
  33. -  Reverted memory leak fix in sets as it does not appear with generated (details)
  34. -  Fixed memory leak in sets. -  Addresses #89. (details)
  35. Cleanup. (details)
  36. -  Fixed memory leak with sets. -  Rearranged failing test. (details)
  37. Emit default constructor for records to support ASN1 work (details)
  38. Omit address of result variable in GC calls (details)
  39. -  Improvements to GLib-based map implementation. -  Addresses #89. (details)
  40. Add pacemaker model sources #100 (details)
  41. Add VDMPP version of bubble sort #100 (details)
  42. Check that all paper examples code-generate and compile #100 (details)
  43. Only include TypedValue.h in paper examples extension points (details)
  44. -  Inserting assertions for memory allocation failures. -  Addresses (details)
  45. Update RT transformation to replace RT nodes with empty blocks (details)
  46. Wipe workspace after running build (details)
  47. Move workspace cleanup to 'finally' clause (details)
  48. Assertions for memory allocations and reallocations. (details)
  49. Adding assert statements for memory allocations and reallocations. (details)
  50. Adding assert statement for memory allocation. (details)
  51. Adding assert statements for memory allocations. (details)
  52. Adding assert statements for memory allocations and moves. (details)
  53. -  Removed GLib dependency, not used at all. -  Addresses #89. (details)
  54. -  New implementation of maps. -  Addresses #89. (details)
  55. -  Fixed critical bug causing non-reproducible crashes in the garbage (details)
  56. -  Another segfault bugfix. -  AlarmPP model now can be inspected using (details)
  57. Don't set commit status explicitly (details)
  58. Cleanup Jenkinsfile syntax (details)
  59. Don't emit SET_FIELD_PTR_GC (it's not needed) (details)
  60. Don't emit SET_FIELD_GC (it's not needed) (details)
  61. -  Not using GC-aware assignments in class fields. -  Addresses #89. (details)
  62. Fix issue with factorial implementation (details)
  63. Add missing MATH lib test (details)
  64. Update CMakeList file for gcc6 (details)
  65. Add 'numFields' in the IR (details)
  66. Fix issue with for-index loops (details)
  67. Ignore IntelliJ metadata (details)
  68. Fix records value semantics bug (details)
  69. New translation of 'nil' (details)
  70. Fix grow mechanism for sequences #106 (details)
  71. Update runtime to support more function/operation arguments (details)
  72. Add VDM2C 0.1.8 release notes (details)
  73. Prepare release of VDM2C 0.1.8 (details)
Commit 041e3b41c53dbb478f1cc3e7eb24cd07f364f7ce by jenkins
[maven-release-plugin] prepare release Release/0.1.6
Bump ide/ to version 0.1.6
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
Commit 5ce47f04504aded10e3c4d6b97a6d3881e6e33fc by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.7-SNAPSHOT
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
Commit 9ab2b34a192a06c7bdab74553492fcab4c3db78e by Peter W. V. Tran-Jørgensen
Fix issue with for loop transformation
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java (diff)
Commit 62645959561f741384b946ac947f27f56ceaa582 by Peter W. V. Tran-Jørgensen
Fix issue with 'new' expression transformation
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
Commit 539b0be5daca28f41c9d418777d78904aa008d40 by noreply
Mention that the generated code is C89 compliant
The file was modifiedreadme.md (diff)
Commit 400f9f3ab11ea407cde2ab920bc635bdf032795d by noreply
Mention VDM2C documentation
The file was modifiedreadme.md (diff)
Commit 6ec1df8a622eba44c3ca6fa8c2010d9d48a412ae by Peter W. V. Tran-Jørgensen
Support map comprehensions
Addresses #47
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CMapCompStrategy.java
Commit 0fd4ada1752b46833d8dd9dba6a5fa091c5107ac by Peter W. V. Tran-Jørgensen
Test map comprehensions
Addresses #47
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionComprehensions.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp (diff)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java
Commit d9db3eb95c8cc85b52af83ef55b5df8b78caeb7b by Peter W. V. Tran-Jørgensen
Add AlarmPP example sources for testing
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/plant.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/expert.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/alarm.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/test1.vdmpp
Commit a9853d839c0f3b4ccc65bb94a81f3b1f5728ffe3 by Peter W. V. Tran-Jørgensen
Add CashDispenserPP model for future testing
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/GetBalance.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/System.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Clock.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/CardHolder.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/InsertCard.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Test.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Letter.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Validate.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/SimpleTest.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Till.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Account.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/CentralResource.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Letterbox.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Card.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/ReturnCard.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/IllegalCard.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/SendStatement.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Event.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Withdrawal.vdmpp
Commit 3acd03ce17e2f0643c44645041d24b3fb2503126 by Peter W. V. Tran-Jørgensen
Update runtime to support a larger number of function arguments
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 266d21a17b02fc7f15209b35d369a20e7d85e7fa by Peter W. V. Tran-Jørgensen
Assume that the address is passed to SELF_GC
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java (diff)
Commit 437654b4214b34e2b6502dc85028617962a963c1 by Victor Bandur
-  Added cleaning phase for runtime library to Maven build cycle. - 
Changed make parallel option from 4 to 5 threads.
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
Commit 0d48757c5373ff14455bbf7d274a172d524ff961 by Peter W. V. Tran-Jørgensen
Fix issue with CallRewriteTrans
Closes #94
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit eb2e5c8d450ab0b9f1eca09e283a97af4e137de1 by Victor Bandur
-  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit b8f48afdbd3af81e3694bd774313164ad6eb65a2 by Victor Bandur
Fix for compatibility with FMU exporter.
The file was modifiedc/vdmclib/src/main/PrettyPrint.h (diff)
Commit 8825ab3f794ac3233c92c2299035ad83a407faee by Peter W. V. Tran-Jørgensen
Fix field look-up in FieldReadToFieldGetMacroTrans
Closes #95
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit fa76ed3c96cd274cff8858a2c2c08c8f7174ba2a by Victor Bandur
-  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses
#90.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 6c54ec7821afd7034dc926215118ebba322cc6f4 by Victor Bandur
-  Eliminated compilation warning  due to parentheses.
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
Commit aec691d664b337ca74c9db6ee18955a4e0b30ade by Peter W. V. Tran-Jørgensen
Only merge statement blocks when it's safe to do so
Closes #96
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ScopeCleanerTrans.java (diff)
Commit 9fe602c1e8056cdc802f5ee5bc24c46e2950090f by Victor Bandur
Expanded to accommodate up to six function and operation call
parameters.
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
Commit ae00b9a7dd6ec9405e0336a4fd9abdb2bb00e056 by Victor Bandur
Reverting accidental inclusion of testing code.
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
Commit 389434b175d9508a20be9dab1778eacc091fab86 by Victor Bandur
-  Further improvements to sequence growing mechanisms. -  Addresses
#90.
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit 3fc3aefdbd9bf1ab0c4620a36ebe73a29e58b8aa by Peter W. V. Tran-Jørgensen
Fix issue nested operation calls
Closes #97
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractEmbeddedCreationsTrans.java (diff)
Commit 2a8c3b8de9dece54889b5e44b400c63682722773 by Peter W. V. Tran-Jørgensen
Fix another issue with nested operation calls
Closes #97
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractEmbeddedCreationsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit 643435fa59b1d09eac2d9fec5fdd07c91698ed77 by Peter W. V. Tran-Jørgensen
Include identifier state designators in header analysis
Closes #98
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit b0861b301cf1f779c4a92d8945950e40719f1478 by Peter W. V. Tran-Jørgensen
Fix issue with include directives in main.c
Closes #99
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 654762d6fe2b2d46275629c8a6d30a760f2493e6 by Victor Bandur
-  Fixed memory leak in maps. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit e237d81db992e81e9370e26d5bdedcac588cbb2d by Victor Bandur
-  Fixed memory leak in sets. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 1a9e6e035ccfd607249d66fcb8858dbe514ada8f by Victor Bandur
-  Reverted memory leak fix in sets as it does not appear with generated
code. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 0d35a8e5c697295938b688ad52f743d4e14a08e5 by Victor Bandur
-  Fixed memory leak in sets. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp (diff)
Commit 4c94c0e8f7cdd402cb6c328ebdf31f31e5560d65 by Victor Bandur
-  Fixed memory leak with sets. -  Rearranged failing test.
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/set/ExpressionsSetForCGTesting_Tests.cpp (diff)
Commit 0688f88992bdd7cbe234fd8030ccc176c3406e13 by Peter W. V. Tran-Jørgensen
Emit default constructor for records to support ASN1 work
Closes #102
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/VTableGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ast/Vtables.java (diff)
Commit 1360f1b9179a483c04b865cdb2b3e82855d60806 by Peter W. V. Tran-Jørgensen
Omit address of result variable in GC calls
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 8bb730bb91a5c87b11bab565fd1e801ef656c9b8 by Victor Bandur
-  Improvements to GLib-based map implementation. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
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/pacemaker/Heart.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/pacemaker/Pacemaker.vdmpp
Commit 82f87fd1c66a7eb6ad7b7f9c1ebaa565fea4b48b by Peter W. V. Tran-Jørgensen
Add VDMPP version of bubble sort #100
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
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
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)
Commit d5a6ac069999a65fad146b2cc7fc88df4f76998a by Victor Bandur
-  Inserting assertions for memory allocation failures. -  Addresses
#89.
The file was modifiedc/vdmclib/src/main/VdmClass.c (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 81100c0d658f900aecb2342f66557d66316e08f0 by Peter W. V. Tran-Jørgensen
Update RT transformation to replace RT nodes with empty blocks
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RemoveRTConstructs.java (diff)
Commit fc1666743857678ad68a7b831ec2a56221fe5be2 by Peter W. V. Tran-Jørgensen
Wipe workspace after running build
The file was modifiedJenkinsfile (diff)
Commit 8da697813ab42f56743ffbe95f137ca725c17725 by Peter W. V. Tran-Jørgensen
Move workspace cleanup to 'finally' clause
The file was modifiedJenkinsfile (diff)
Commit 9a30e6655ba910ea38b421ddcc0ae60cfd9e589d by Victor Bandur
Assertions for memory allocations and reallocations.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 433e7c254ae5f615c8a43658ac4e2ff1e25991f3 by Victor Bandur
Adding assert statements for memory allocations and reallocations.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit b2caf0dbfc24196a333cc7eb21648cff6d1193fb by Victor Bandur
Adding assert statement for memory allocation.
The file was modifiedc/vdmclib/src/main/VdmUnpackString.c (diff)
Commit 835dc90f10bd8bdcbbbd04018a7cd063efa80aaa by Victor Bandur
Adding assert statements for memory allocations.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 87f86ac91f8f3c8179583daf44a34c1334ef5a9c by Victor Bandur
Adding assert statements for memory allocations and moves.
The file was modifiedc/vdmclib/src/main/CSVLib.c (diff)
Commit 27640a3a840736fa3a4633d23658ecff3f878954 by Victor Bandur
-  Removed GLib dependency, not used at all. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was removedc/vdmclib/src/test/HashTable_Tests.cpp
The file was modifiedc/vdmclib/CMakeLists.txt (diff)
Commit 0014ec7a01960932c7dfaa9855f35a1be509c3af by Victor Bandur
-  New implementation of maps. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
Commit 99fe928cfda612756eed402823aa15350a136280 by Victor Bandur
-  Fixed critical bug causing non-reproducible crashes in the garbage
collector. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit a29ce893aa117788dd5911fdd96ece1c70f04947 by Victor Bandur
-  Another segfault bugfix. -  AlarmPP model now can be inspected using
valgrind's massif. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 83f76414aff5feb1be41ef08f0bc6ed34425cfe8 by Peter W. V. Tran-Jørgensen
Don't set commit status explicitly
The file was modifiedJenkinsfile (diff)
The file was modifiedJenkinsfile (diff)
Commit 92ad6f75fc1cb222864b7c02be4f8453d463b4dd by Peter W. V. Tran-Jørgensen
Don't emit SET_FIELD_PTR_GC (it's not needed)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 622518c0d7681ec135629bad72af7c30167a3512 by Peter W. V. Tran-Jørgensen
Don't emit SET_FIELD_GC (it's not needed)
Addresses #89
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 05cd099810e2621060d64efa63aa13c2bc8dd912 by Victor Bandur
-  Not using GC-aware assignments in class fields. -  Addresses #89.
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit b31c5a188d5368f5ffa709f05d9fca8d6f5eb792 by Peter W. V. Tran-Jørgensen
Fix issue with factorial implementation
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/other/MATHLibTest.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/lib/MATH.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassMATH_Tests.cpp
The file was modifiedc/vdmclib/src/main/ProjectCMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddFieldTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassStateDeclIR.vm (diff)
Commit b19f1b4733ae8bf0f8b64fdaeb638ca00341e754 by Peter W. V. Tran-Jørgensen
Fix issue with for-index loops
Closes #103
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AGreaterEqualNumericBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionForLoop.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/forloop/ExpressionsForloop_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ALessEqualNumericBinaryExpIR.vm (diff)
The file was modified.gitignore (diff)
Commit ba84d4c62e534f2fcf7506adb3d2920290b01625 by Peter W. V. Tran-Jørgensen
Fix records value semantics bug
Closes #105
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/EnsureValueSemanticsTrans.java
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/value-types/RecordsValueSemanticsTest.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldExpRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ValueSemantics.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/records/RecordsValueSemanticsTest_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CGenUtil.java (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/SubClassResponsibilityMethodsTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ANullExpIR.vm
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LiteralInstantiationRewriteTrans.java (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsBoolean_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit f591a3c9c1cc08f8eea7e019b7a3453b88448094 by Peter W. V. Tran-Jørgensen
Fix grow mechanism for sequences #106
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
Commit 9b654b0a3ab3b0178feaffca6fe5af733b11548a by Peter W. V. Tran-Jørgensen
Update runtime to support more function/operation arguments
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was addedrelease/ReleaseNotes_0.1.8.md
The file was modifiedoverture.release.properties (diff)