FailedChanges

Summary

  1. Porting over garbage collector from LFR repository. (details)
  2. Adding GC interface to basic value creators. (details)
  3. GC version of vdmSum. (details)
  4. Warning fixes. (details)
  5. Garbage collected versions of all numeric operations. (details)
  6. Remaining GC implementations for operations on basic types. (details)
  7. GC-enabled vdmClone. (details)
  8. Fixes to the GC linked list. (details)
  9. Collection fix. (details)
  10. Fix to deallocate entire list during vdm_gc_shutdown(). (details)
  11. Refactored GC into its own files. (details)
  12. GC versions of GET_FIELD and GET_FIELD_PTR. (details)
  13. Better names for linked list functions. (details)
  14. Smaller maximal type improvement for GC version. (details)
  15. GC version of vdmEquals. (details)
  16. Duplicating tests to use the GC. (details)
  17. Migrated to singly-linked list in the GC, memory savings estimated at (details)
  18. Fix broken GC test. (details)
  19. Improve extensibility of NativeTestBase (details)
  20. Avoid hard coding values (details)
  21. Clean up NumericTrans (details)
  22. Update tests to use google test fixtures (details)
  23. Update test system to generate a fixture class (details)
  24. Fix in pointer assignment inside collection function according to test (details)
  25. Clean up LogicTrans (details)
  26. Construct numeric expressions as apply expressions (details)
  27. Introduce CGenSettings (details)
  28. Initial work on a garbage collection transformation (details)
  29. Update VDM2C CLI with GC option (details)
  30. Upgrade GarbageCollectionTrans to handle numeric comparison (details)
  31. Update GarbageColllectionTrans to handle equality (details)
  32. Clean up ValueSemantics (details)
  33. Update GarbageCollectionTrans to emit vdmCloneCG (details)
  34. Update GarbageCollectionTrans to emit GET_FIELD_GC (details)
  35. Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC (details)
  36. -  Changed vdmFree and the GC so that they do not interfere with each (details)
  37. Updated GC shutdown procedure with better cleanup for compatibility with (details)
  38. Removed unused vdmNotEqual and vdmNotEqualGC functions. (details)
  39. Removed vdmNotEqual test. (details)
  40. Added missing function headers for vdmAnd etc. (details)
  41. Removed unused nat, nat1 and int1 functions. (details)
  42. Update LogicTrans to handle vdmXor (details)
  43. update GarbageCollectionTrans to handle boolean binary expressions (details)
  44. Fix handling of field accessors in GarbageCollectionTrans (details)
  45. Implementation of SET_FIELD_GC(). (details)
  46. Update GarbageCollectionTrans to handle setters (details)
  47. Update GarbageCollectionTrans to not handle field initializer (details)
  48. Add fixture class to manage garbage collection during testing (details)
  49. Run NativeClasses tests with garbage collection turned on (details)
  50. Run Native tests with garbage collection turned on (details)
  51. [maven-release-plugin] prepare release Release/0.0.20 (details)
  52. [maven-release-plugin] prepare for next development iteration (details)
  53. Modified generated main.c file to include calls to vdm_gc_init() and (details)
  54. Update GarbageCollectionTrans to use regular GET/SET in field (details)
  55. Add case study submodules (details)
  56. Fix generation of call to default super constructor (details)
  57. Fix generation of call to default super constructor (details)
  58. Fix in the collector that avoids interference between references to (details)
  59. Guard against null pointers (details)
  60. Add case study model compilation regression testing (details)
  61. Work on restructuring the runtime library so that unused parts can be (details)
  62. Additional includes to Vdm.h needed for generated code, not for the rest (details)
  63. Add 'set' feature analysis (details)
  64. Add 'seq/seq1` feature analysis (details)
  65. Add `map`/`inmap` feature analysis (details)
  66. Integrate all feature analyses and detect use of VDM libraries (details)
  67. Test feature analyses (details)
  68. Translate feature files to C definitions (details)
  69. Update CGen to support feature analysis (details)
  70. Update VDM2C CLI to generate the feature file (details)
  71. Add feature analysis for patterns (details)
  72. Check that use of patterns is detected (details)
  73. Add feature analysis for products (details)
  74. Test that the feature analysis for products works (details)
  75. Emit missing NO_PRODUCTS definition (details)
  76. Add feature analysis for records (details)
  77. Test that the feature analysis for records works (details)
  78. Update the feature analysis to take GC into account (details)
  79. Update the VDM2C plugin to emit VdmModelFeatures.h (details)
  80. Update the VDM2C plugin to use GC by default (details)
  81. Runtime support for self expressions. (details)
  82. GC suffix typo. (details)
  83. Use SELF macro to represent self expressions (details)
  84. Update GC to handle self expressions (details)
  85. Add Jenkinsfile (details)
  86. Update Jenkinsfile to initialize submodules (details)
  87. Remove release procedure from README (details)
  88. Remove development environment description from README (details)
  89. Exclusion of runtime tests based on VdmModelFeatures.h file. (details)
  90. Exclusion of pattern matching based on VdmModelFeatures.h file. (details)
  91. Excluding maps from the runtime library based on VdmModelFeatures.h (details)
  92. Exclusion of products and the CSV library, which depends on products, (details)
  93. Fix to exclusion of products and CSV library based on VdmModelFeatures.h (details)
  94. Exclude maps from pattern mechanism based on VdmModelFeatures.h file. (details)
  95. Exclusion of sequences and sets according to VdmModelFeatures.h file and (details)
  96. Exclusion of RecordType based on VdmModelFeatures.h file. (details)
  97. Exclusion of MATH library based on VdmModelFeatures.h file. (details)
  98. Exclusion of IO library based on VdmModelFeatures.h file. (details)
  99. Fix issue with CSV detection (details)
  100. Add empty VdmModelFeatures.h file for testing purposes (details)
  101. Fix map, sequence and sets exclusion logic in generator (details)
  102. -  Fixes after change to resrouces level VdmModelFeatures.h file. - (details)
  103. Use Email-ext to notify on build failures (details)
  104. Extra CALL_FUNC macros and type cast fixes.  Addresses #72. (details)
  105. Method-level exclusion of sequence-based operations from IO library (details)
  106. Exclusion of sets from sequences based on VdmModelFeatures.h file. (details)
  107. First implementation of mechanism for calling the GC automatically. (details)
  108. Disabling auto GC calling feature for further development. (details)
  109. Remove unused include time.h. (details)
  110. Some cleanup based on pedantic warnings from the compiler during the (details)
  111. Fix pointer comparison in mechanism that delays reclamation in case of (details)
  112. Add VDM2C version number to generated code (details)
  113. Fixed CSV library to read resource files properly, whether in (details)
  114. Add VDM2C version 0.1.0 release notes (details)
  115. Prepare release of VDM2C 0.1.0 (details)
Commit 789664291c050e4371b22237be472963186983ba by Victor Bandur
Porting over garbage collector from LFR repository.
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit b2e9ec90c851e271a0c6970b808681f099f4902d by Victor Bandur
Adding GC interface to basic value creators.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 1112e9cc5928da35b375fac5fec4663f8ff562fb by Victor Bandur
Garbage collected versions of all numeric operations.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 04112bc137a18b20895e63b0bcdf5fc5cb192f0b by Victor Bandur
Remaining GC implementations for operations on basic types.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
Commit 76fddf8516aa1f98c70ecfa80b489c4bbe35efb0 by Victor Bandur
Fixes to the GC linked list.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit ae05a93a6b4f5aba6270799a8040a3f4b85ad939 by Victor Bandur
Fix to deallocate entire list during vdm_gc_shutdown().
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit fb491741fd4d95eb9a5de69c3996fa665f9bb2df by Victor Bandur
Refactored GC into its own files.
The file was addedc/vdmclib/src/main/VdmGC.h
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was addedc/vdmclib/src/main/VdmGC.c
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 305ac3439b9a65c4819ed641f618a3d1042c9c1a by Victor Bandur
GC versions of GET_FIELD and GET_FIELD_PTR.
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit f94a3354e1e41ef55df3b4d8f474ce9c7f90bca0 by Victor Bandur
Better names for linked list functions.
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
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/VdmGC.c (diff)
Commit d9ab4233dfb6356bfefa4e3d87d4358719c188c7 by Victor Bandur
Smaller maximal type improvement for GC version.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 43d7b9b0fc810b2fc58c7293f5f3cab95a15cb5b by Victor Bandur
GC version of vdmEquals.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
Commit 53471ff1b97f56b84b83a386a327a0f257b4ddd1 by Victor Bandur
Duplicating tests to use the GC.
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
Commit 8392f6127fc52a46c0161b804c883bde910dc04d by Victor Bandur
Migrated to singly-linked list in the GC, memory savings estimated at
around 20%.
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was addedc/CSVTestInput.csv
Commit 74be6d06a0cec419c7753e823c9396877fbc0792 by Peter W. V. Tran-Jørgensen
Improve extensibility of NativeTestBase
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NumericTrans.java (diff)
Commit e80624ece2d144108e0e96c03e73dd93582f226e by Peter W. V. Tran-Jørgensen
Update tests to use google test fixtures
The file was modifiedcore/vdm2c/src/test/resources/native/other/IgnoreVDMUnit_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassCollectionUpdate_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassFieldAccess_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/rt/RTConstructs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassVarOpOpCall2_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/forloop/ExpressionsForloop_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/let/ExpressionsLetBeSt_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpInheritanceOverride_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassScratchWork_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/let/ExpressionsLet_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariableComplex_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassValueInheritance_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/cases/ExpressionsCases_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassIO_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassVarOpOpCall_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/tuples/Tuple_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOp2_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOp_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticFun_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/seq/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassValue_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverrideMiddle_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/boolean/ExpressionsBoolean_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariableSeqAssign_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticMethodAccess_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/self/ExpressionsSelf_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassConstructors_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassSubclassResponsibility_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quote/ExpressionQuote_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/set/ExpressionsSetForCGTesting_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariable_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/records/RecordsValueSemanticsTest_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassIf_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/numeric/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariableSeqCall_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOpCall_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/explicit-memory-management/SimpleCases_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/is/ExpressionsIs_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/records/Records_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariableInheritance_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpInheritance_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassIsNotYetSpecified_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassCSV_Tests.cpp (diff)
Commit 68b28ea555729bb71c9f6c3336b3fb65d9dff2cc by Peter W. V. Tran-Jørgensen
Update test system to generate a fixture class
The file was addedcore/vdm2c/src/test/resources/TestFlowFunctions.h
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit 0b6d469d830c4d4144f859cf11e30c18ce00cd9e by Victor Bandur
Fix in pointer assignment inside collection function according to test
on PIC simulator.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LogicTrans.java (diff)
Commit d0016e43eba0002da68cc8efe46f1653b8e42eb3 by Peter W. V. Tran-Jørgensen
Construct numeric expressions as apply expressions
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APowerNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARemNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASubtractNumericBinaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NumericTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AAbsUnaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AIntDivNumericBinaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AFloorUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenSettings.java
Commit e8ee2647c782798e9f09edf684e58b9f4131e632 by Peter W. V. Tran-Jørgensen
Initial work on a garbage collection transformation
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit dde42d82a53b56116ccfed6bd876a9004076e0a0 by Peter W. V. Tran-Jørgensen
Upgrade GarbageCollectionTrans to handle numeric comparison
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 0978034ddf37148a055f509576e0492ae579d686 by Peter W. V. Tran-Jørgensen
Update GarbageColllectionTrans to handle equality
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ValueSemantics.java (diff)
Commit b766734f30aa9205c0402c0c2c2bedd8133915d2 by Peter W. V. Tran-Jørgensen
Update GarbageCollectionTrans to emit vdmCloneCG
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 34569ce584f0081ccc965aeb3025a5e5e1166695 by Peter W. V. Tran-Jørgensen
Update GarbageCollectionTrans to emit GET_FIELD_GC
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit e93e71c81380fca1e107eddbd6f3f75c99da590f by Peter W. V. Tran-Jørgensen
Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit e2a745ec7d413e44960e8ec1ce9e679a1f3b3189 by Victor Bandur
-  Changed vdmFree and the GC so that they do not interfere with each
other. -  Running all the corresponding tests one-by-one leads to
success, but running them inside the test framework leads to
segmentation faults.  It seems impossible to turn off threading entirely
in GTest, despite the cmake option -Dgtest_disable_pthreads.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was addedCSVTestInput.csv
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was addedc/vdmclib/src/test/GC_Tests.cpp
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit ff35379a2dfc36fe75101810b3bc88cbe8799042 by Victor Bandur
Updated GC shutdown procedure with better cleanup for compatibility with
vdmFree().
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/test/GC_Tests.cpp (diff)
Commit f73659c3166afffa7e50b6a96173f031b9b9d2fb by Victor Bandur
Removed unused vdmNotEqual and vdmNotEqualGC functions.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 178d7d619df8b6bd8214a3d3f38fc863901a4a77 by Victor Bandur
Removed vdmNotEqual test.
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
Commit a360f5307d3cdeb0a23d47376500a57093e66a63 by Victor Bandur
Added missing function headers for vdmAnd etc.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
Commit 2af675298d51e79c8d1afe062caa3c141d79ea20 by Victor Bandur
Removed unused nat, nat1 and int1 functions.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
Commit cf24e2f51924f7aaad6da2eeb605f038776aace7 by Peter W. V. Tran-Jørgensen
Update LogicTrans to handle vdmXor
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/LogicTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AXorBoolBinaryExpIR.vm
Commit e27539751d96f0c4cc9bfaf68d7b52c8ba52f34e by Peter W. V. Tran-Jørgensen
update GarbageCollectionTrans to handle boolean binary expressions
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit e0631599aee1c8330e8d8c0f56287f43c1d51780 by Peter W. V. Tran-Jørgensen
Fix handling of field accessors in GarbageCollectionTrans
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit b9c8c4667aceab27043dd1f069027ca43f0929ac by Victor Bandur
Implementation of SET_FIELD_GC().
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 745fa33e14765d99f7f9755a4b04e665c8d14932 by Peter W. V. Tran-Jørgensen
Update GarbageCollectionTrans to handle setters
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit d0804bdc4e566eded38a27e8083c123468f34443 by Peter W. V. Tran-Jørgensen
Update GarbageCollectionTrans to not handle field initializer
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/Vdm2cTag.java (diff)
Commit f3543683ff28a13299a0119308fd132cab9fd86c by Peter W. V. Tran-Jørgensen
Add fixture class to manage garbage collection during testing
The file was addedcore/vdm2c/src/test/resources/garbage-collection/TestFlowFunctions.h
Commit bbd071169ac385f22c5091e8baca742eb23502ba by Peter W. V. Tran-Jørgensen
Run NativeClasses tests with garbage collection turned on
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesGarbageCollectionTest.java
Commit fd0cf6c793543bff8e7b07477e9716a153fe6e99 by Peter W. V. Tran-Jørgensen
Run Native tests with garbage collection turned on
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeGarbageCollectionTest.java
Commit b81fc6135e3b3533849fffbb04bd31eaa48383a6 by jenkins
[maven-release-plugin] prepare release Release/0.0.20
Bump ide/ to version 0.0.20
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
Commit c2cc83212ec2cd5bbd2a23f148e6c81578ae7d5d by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.21-SNAPSHOT
The file was modifiedpom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/vdm2c/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 1a68d0e01b691ce7e38162ed232eeae6bb5c008d by Victor Bandur
Modified generated main.c file to include calls to vdm_gc_init() and
vdm_gc_shutdown().
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 9bb9688864ba33446b03adfd1ffa8cf2a918337f by Peter W. V. Tran-Jørgensen
Update GarbageCollectionTrans to use regular GET/SET in field
initializers
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was addedcases/fcu
The file was modified.gitmodules (diff)
The file was addedcases/line-follower-robot
The file was addedcases/single-watertank
The file was addedcases/three-tank
Commit aa5bb688922b6646b07ab473a09b46b04cc9d1bc by Peter W. V. Tran-Jørgensen
Fix generation of call to default super constructor
Closes #71
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java (diff)
Commit e93a5c663da06d7142466b5dce2f012197f23dd1 by Peter W. V. Tran-Jørgensen
Fix generation of call to default super constructor
Closes #71
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java (diff)
Commit ef66f29bb79238e71b69328461cdbdc311e21689 by Victor Bandur
Fix in the collector that avoids interference between references to
previously allocated memory and the stack variables of the current
invokation of the collector.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit cbf3c4ffbcaf35426b3d8840bdd9c50759be8198 by Peter W. V. Tran-Jørgensen
Add case study model compilation regression testing
Closes #61
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CasesTest.java
Commit e49a706297979ddd88963159f2d6a7edf7597ba5 by Victor Bandur
Work on restructuring the runtime library so that unused parts can be
excluded at compilation time.
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/test/classes/C.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/IOLib.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/MATHLib.h (diff)
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
The file was modifiedc/vdmclib/src/test/classes/A.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmRecord.h (diff)
The file was modifiedc/vdmclib/src/test/ClassIO_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.h (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/test/classes/B.h (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/R1.h (diff)
The file was modifiedc/vdmclib/src/test/GC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was addedc/vdmclib/src/main/VdmDefines.h
The file was modifiedc/vdmclib/src/test/ExpressionForLoop.cpp (diff)
Commit ef4d660b5c5eade0878aab65db1d65a75ffbfff4 by Victor Bandur
Additional includes to Vdm.h needed for generated code, not for the rest
of the runtime library.
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
Commit 40861a2cb7d8728810d8f62f9807e6893584c8c6 by Peter W. V. Tran-Jørgensen
Add 'set' feature analysis
Addresses #72
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysis.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesSetsAnalysis.java
Commit 640e968a1c02d6e5a16b928ad1d41a313b638e2a by Peter W. V. Tran-Jørgensen
Add 'seq/seq1` feature analysis
Addresses #72
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesSeqsAnalysis.java
Commit 1cd4d205c72a6d3acd4d16bfb5d715344696f100 by Peter W. V. Tran-Jørgensen
Add `map`/`inmap` feature analysis
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesMapsAnalysis.java
Commit d9a2745694728f904e38d7c567dab573fa610c24 by Peter W. V. Tran-Jørgensen
Integrate all feature analyses and detect use of VDM libraries
Addresses #72
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java
Commit 3d3fb06ba9e771ec531b97479462375b9d85123f by Peter W. V. Tran-Jørgensen
Test feature analyses
Addresses #72
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/FeatureAnalysisTest.java
Commit 137af13e08d898dd63c7f90979c1cf0cac45d00b by Peter W. V. Tran-Jørgensen
Translate feature files to C definitions
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
Commit 2b4364026e8bf734904942a508bf615ef7679618 by Peter W. V. Tran-Jørgensen
Update CGen to support feature analysis
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 4e1ec52f7c3ca55e83fb4262a1422bbc0c306c74 by Peter W. V. Tran-Jørgensen
Update VDM2C CLI to generate the feature file
Addresses #72
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 7e76aa894a718e2125a3276bafd731862bd371c5 by Peter W. V. Tran-Jørgensen
Add feature analysis for patterns
Addresses #72
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesPatternsAnalysis.java
Commit 7392983915cc5a12b61111fd9196e8a7f3dd26c8 by Peter W. V. Tran-Jørgensen
Check that use of patterns is detected
Addresses #72
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/FeatureAnalysisTest.java (diff)
Commit 17b3880bf0937c540c3cbac920595f34eb07eb73 by Peter W. V. Tran-Jørgensen
Add feature analysis for products
Addresses #72
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesProductsAnalysis.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
Commit 8aabd5e367471ccd83a499ae9ea5b975b77432f1 by Peter W. V. Tran-Jørgensen
Test that the feature analysis for products works
Addresses #72
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/FeatureAnalysisTest.java (diff)
Commit 7d8b382d39e42312e3c12d1c3d705c83fa3aef5f by Peter W. V. Tran-Jørgensen
Emit missing NO_PRODUCTS definition
Addresses #72
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
Commit 729d0935e689e0b5658c5c17108ff1ed36c0f95b by Peter W. V. Tran-Jørgensen
Add feature analysis for records
Addresses #72
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/UsesRecordsAnalysis.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
Commit 8be62f8709979ab83f10e8959eed778cc5c847f6 by Peter W. V. Tran-Jørgensen
Test that the feature analysis for records works
Addresses #72
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/FeatureAnalysisTest.java (diff)
Commit 79153d5f4d2e4aafc5883576b5ee4af5f0e4e213 by Peter W. V. Tran-Jørgensen
Update the feature analysis to take GC into account
Addresses #72
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/FeatureAnalysisTest.java (diff)
Commit d87cd39db80c397dcc11e7fea5218a46af7c34c2 by Peter W. V. Tran-Jørgensen
Update the VDM2C plugin to emit VdmModelFeatures.h
Addresses #72
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
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 c1d052cc3e601bb5d7638872f191ed687c35a0b8 by Peter W. V. Tran-Jørgensen
Update the VDM2C plugin to use GC by default
Addresses #68
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit b1fb5a94ac953e1a4c98fe438d47c86ced11d155 by Victor Bandur
Runtime support for self expressions.
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit d96b65542c2fe8850b3c2ff8b5ea2ae805658c23 by Peter W. V. Tran-Jørgensen
Use SELF macro to represent self expressions
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/SelfTrans.java
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/CTransSeries.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASelfExpIR.vm
Commit dcd52a5f5fc9af1ac2e3a93072edc95046417046 by Peter W. V. Tran-Jørgensen
Update GC to handle self expressions
Addresses #68
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was addedJenkinsfile
Commit e4c1eef35b79e0180013cc19448b340af61ce6c4 by Peter W. V. Tran-Jørgensen
Update Jenkinsfile to initialize submodules
The file was modifiedJenkinsfile (diff)
Commit 399dbfa17b2702afa601fc06e76baf78568c0b07 by Peter W. V. Tran-Jørgensen
Remove release procedure from README
The file was modifiedreadme.md (diff)
Commit 938738ae1c3c7677b11929bfb967b57f8873768a by Peter W. V. Tran-Jørgensen
Remove development environment description from README
The file was modifiedreadme.md (diff)
Commit 6b72d34bdf740d5a4fe04bb6418b2d375a1d62fe by Victor Bandur
Exclusion of runtime tests based on VdmModelFeatures.h file.
The file was modifiedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.h (diff)
The file was modifiedc/vdmclib/src/test/records/R1.h (diff)
The file was modifiedc/vdmclib/src/test/ClassIO_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec2.h (diff)
The file was modifiedc/vdmclib/src/test/records/R1.c (diff)
The file was modifiedc/vdmclib/src/test/ClassCSV_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/GC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/MyRec.c (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.h (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
Commit a0c22b34598c8f26e0c956ce421a8c46d9f9fdc3 by Victor Bandur
Exclusion of pattern matching based on VdmModelFeatures.h file.
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.h (diff)
Commit a2632a69e94aeeb57d59759d7f8bebc9cbbddc4f by Victor Bandur
Excluding maps from the runtime library based on VdmModelFeatures.h
file.  Addresses #72.
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit dc38fc64a11b49d1fcb4408d5ce3051be88d8e7c by Victor Bandur
Exclusion of products and the CSV library, which depends on products,
from the runtime library based on VdmModelFeatures.h file.
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.h (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.c (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
Commit fc8d98f2c0021bde038dc095b650acdc23b74219 by Victor Bandur
Fix to exclusion of products and CSV library based on VdmModelFeatures.h
file.  Addresses #72.
The file was modifiedc/vdmclib/src/test/Expressions_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 274b2ccaa64aaedd88ec8e4c61d0b9635c97796a by Victor Bandur
Exclude maps from pattern mechanism based on VdmModelFeatures.h file.
Addresses #72.
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
Commit 2225bec3d2d97a76a0ede92255674a6e2cc38057 by Victor Bandur
Exclusion of sequences and sets according to VdmModelFeatures.h file and
the use of maps in the model.  Addresses #72.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/Statements_Record_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionForLoop.cpp (diff)
The file was modifiedc/vdmclib/src/test/records/RecordTest.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 4c33fa2a7bef14fa0f2e24bf8290005c49dab471 by Victor Bandur
Exclusion of RecordType based on VdmModelFeatures.h file.
The file was modifiedc/vdmclib/src/main/VdmRecord.h (diff)
Commit 54ccd1929f0a3b853c76bfbad3bcb68e045f7f13 by Victor Bandur
Exclusion of MATH library based on VdmModelFeatures.h file.
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
The file was modifiedc/vdmclib/src/main/MATHLib.h (diff)
Commit a2720a0553edfff0fe10e137123b127ad12860a8 by Victor Bandur
Exclusion of IO library based on VdmModelFeatures.h file.
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/main/IOLib.h (diff)
Commit b9fcf47ef175c2614f5c98c60209e0e251034970 by Peter W. V. Tran-Jørgensen
Fix issue with CSV detection
Addresses #72
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
Commit 14dc1f32f353283adde02b724fe039d7e9027f3a by Peter W. V. Tran-Jørgensen
Add empty VdmModelFeatures.h file for testing purposes
Addresses #72
The file was modifiedc/CMakeLists.txt (diff)
The file was addedc/vdmclib/src/test/resources/VdmModelFeatures.h
Commit 53a54110fa051ea4814bb1eec034427904bd454d by Peter W. V. Tran-Jørgensen
Fix map, sequence and sets exclusion logic in generator
Addresses #72
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
Commit 897b43022a06570103bad8795c3bc3884428beba by Victor Bandur
-  Fixes after change to resrouces level VdmModelFeatures.h file. - 
More exclusion of records based on VdmModelFeatures.h file. -  Addresses
#72.
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
Commit 382681e4e676a99f6e736e23a9180bc841d75c8e by Peter W. V. Tran-Jørgensen
Use Email-ext to notify on build failures
Make sure build status is set on failure
Notify on build failure
The file was modifiedJenkinsfile (diff)
Commit 33c1f6cf1baa74572b8ac41267683b76aebf995f by Victor Bandur
Extra CALL_FUNC macros and type cast fixes.  Addresses #72.
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 85aaaf80078a7420844570007b67b8fdda23ff12 by Victor Bandur
Method-level exclusion of sequence-based operations from IO library
based on VdmModelFeatures.h file.  Addresses #72.
The file was modifiedc/vdmclib/src/main/IOLib.c (diff)
The file was modifiedc/vdmclib/src/main/IOLib.h (diff)
The file was modifiedc/vdmclib/src/test/ClassIO_Tests.cpp (diff)
Commit b96790e6858f6f60f51caabcea18256f64fa4e99 by Victor Bandur
Exclusion of sets from sequences based on VdmModelFeatures.h file.
Addresses #72.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
Commit 3d72259c9db3a875ff7d5ec2918ddb2ac8fce824 by Victor Bandur
First implementation of mechanism for calling the GC automatically.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
Commit 39b2e6a57f0711b30ef7506e8e5f5de7ead1d36c by Victor Bandur
Disabling auto GC calling feature for further development.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
Commit ab61b8cadec831583e8e15e8525de62911fed00d by Victor Bandur
Remove unused include time.h.
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
Commit 5b9f5900d60e00d5ea82e4555fefd22ba435d358 by Victor Bandur
Some cleanup based on pedantic warnings from the compiler during the
ATMega128 exercise.
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
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/PrettyPrint.c (diff)
Commit 99f34db2a83300446a175ddd066e9d0ab30a65c8 by Victor Bandur
Fix pointer comparison in mechanism that delays reclamation in case of
collision with current stack variables.
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 46c077b5d4b5ff3d77066863346a10e1b63f5300 by Peter W. V. Tran-Jørgensen
Add VDM2C version number to generated code
Addresses #73
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/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was addedcore/vdm2c/src/main/resources/version.prop
Commit c659047176ef006aabdd141da81ff8225775e804 by Victor Bandur
Fixed CSV library to read resource files properly, whether in
co-simulation or standalone.
The file was modifiedc/vdmclib/src/main/CSVLib.c (diff)
Commit d33f35453dd3df26c665fda3c8a6598ad5261c25 by Peter W. V. Tran-Jørgensen
Add VDM2C version 0.1.0 release notes
The file was addedrelease/ReleaseNotes_0.1.0.md
The file was modifiedoverture.release.properties (diff)