Up
collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 386 tests.100
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Changes

#67 (Nov 27, 2017 7:35:39 PM)

  1. -  Removed ref_from element of TVP and associated GC machinery. - — Victor Bandur / githubweb

#66 (Nov 27, 2017 7:17:41 PM)

  1. -  WIP removing traces of source variable from garbage collector. - — Victor Bandur / githubweb

#65 (Nov 27, 2017 5:10:19 PM)

  1. Further speed and size improvements in GC versions of operations. — Victor Bandur / githubweb
  2. Emit GC versions of class constructors #124 — Peter W. V. Tran-Jørgensen / githubweb
  3. Tag constructor calls in CallRewriteTrans #124 — Peter W. V. Tran-Jørgensen / githubweb
  4. -  Memory leak fixes. -  Addresses #108. — Victor Bandur / githubweb

#64 (Nov 17, 2017 4:24:41 PM)

  1. Emit NO_IS flag in model features file #108 — Peter W. V. Tran-Jørgensen / githubweb
  2. Support exists1 quantifier #108 — Peter W. V. Tran-Jørgensen / githubweb
  3. Support preconditions #108 — Peter W. V. Tran-Jørgensen / githubweb
  4. Support encoding of optional types #108 — Peter W. V. Tran-Jørgensen / githubweb
  5. Temporarily build against Overture 2.5.3-SNAPSHOT — Peter W. V. Tran-Jørgensen / githubweb
  6. Update VDM2C to work with newest Overture — Peter W. V. Tran-Jørgensen / githubweb
  7. Support map iteration #108 — Peter W. V. Tran-Jørgensen / githubweb
  8. Support map composition #108 — Peter W. V. Tran-Jørgensen / githubweb
  9. Support iota #108 — Peter W. V. Tran-Jørgensen / githubweb
  10. Support non-deterministic statements #108 — Peter W. V. Tran-Jørgensen / githubweb
  11. Support isofbaseclass #108 — Peter W. V. Tran-Jørgensen / githubweb
  12. Support isofclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  13. Support samebaseclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  14. Support sameclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
  15. Work on checking union types in is_ expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
  16. Emit type encoding for is_* checks #108 — Peter W. V. Tran-Jørgensen / githubweb
  17. Fix two issues in IsExpUnionTypeFinder #108 — Peter W. V. Tran-Jørgensen / githubweb
  18. Support union types in is_* expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
  19. Fix memory leak in field initializers — Peter W. V. Tran-Jørgensen / githubweb
  20. Fix index issue in "for all" loops — Peter W. V. Tran-Jørgensen / githubweb
  21. -  Fixed bugs in runtime library OO support. -  isofclass is both — Victor Bandur / githubweb
  22. -  Fixed bug with exclusion of class inheritance header file. - — Victor Bandur / githubweb
  23. -  Minor refinement to exclusion mechanism. -  Addresses #108. — Victor Bandur / githubweb
  24. Use Overture 2.5.4 — Peter W. V. Tran-Jørgensen / githubweb
  25. Fix clean up in OOChecks test — Peter W. V. Tran-Jørgensen / githubweb
  26. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses — Victor Bandur / githubweb
  27. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - — Victor Bandur / githubweb

#63 (Oct 24, 2017 1:19:14 PM)

  1. -  Typo in type encoding in test. -  Addresses #108. — Victor Bandur / githubweb

#62 (Oct 13, 2017 1:34:30 PM)

  1. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. — Victor Bandur / githubweb

#61 (Oct 12, 2017 11:56:30 AM)

  1. -  Runtime support for eliminating is queries based on NO_IS flag. - — Victor Bandur / githubweb

#60 (Oct 10, 2017 10:55:26 PM)

  1. Add initial support for type encoding #108 — Peter W. V. Tran-Jørgensen / githubweb
  2. Update type encoder to support set1, seq1 and map — Peter W. V. Tran-Jørgensen / githubweb
  3. Address wrong assumption in the distributed code-generator — Peter W. V. Tran-Jørgensen / githubweb

#59 (Oct 10, 2017 5:44:44 PM)

  1. -  Runtime library support for is queries on optional types. - — Victor Bandur / githubweb

#58 (Oct 10, 2017 1:09:32 PM)

  1. -  WIP runtime library support for optional types encoding. -  Addresses — Victor Bandur / githubweb

#57 (Oct 10, 2017 10:46:59 AM)

  1. -  Eliminating some compiler warnings in distribution runtime. - — Victor Bandur / githubweb
  2. -  Bugfix. -  Addresses #120. — Victor Bandur / githubweb

#56 (Oct 9, 2017 3:44:12 PM)

  1. -  Flash footprint reduction, sequences. -  Addresses #120. — Victor Bandur / githubweb
  2. -  Flash footprint reduction, sets. -  Addresses #120. — Victor Bandur / githubweb

#55 (Oct 9, 2017 2:48:30 PM)

  1. Code cleanup, comments. — Victor Bandur / githubweb
  2. -  Reduction in flash footprint:  maps. -  Addresses #120. — Victor Bandur / githubweb

#54 (Oct 9, 2017 12:29:21 PM)

  1. -  Support for is set1 type queries. -  More tests for is seq1. - — Victor Bandur / githubweb
  2. -  Runtime support for is map queries. -  Addresses #108. — Victor Bandur / githubweb

#53 (Oct 9, 2017 11:37:37 AM)

  1. -  Support for is seq1. -  Addresses #108. — Victor Bandur / githubweb

#52 (Oct 6, 2017 11:46:14 AM)

  1. -  Reducing flash footprint. -  Addresses #120. — Victor Bandur / githubweb

#51 (Oct 6, 2017 10:41:32 AM)

  1. -  Map iteration support in the runtime library. -  Addresses #108. — Victor Bandur / githubweb

#50 (Oct 6, 2017 9:43:55 AM)

  1. -  GC version of map composition in the runtime library. -  Addresses — Victor Bandur / githubweb

#49 (Oct 6, 2017 9:39:30 AM)

  1. Uncommented generation of individual system definition — Miran / githubweb
  2. Changed the quote id generation from using name hashcode to using a — Miran / githubweb
  3. Initial work for generating system definition pr. cpu — Miran / githubweb
  4. Generate individual DM for each cpu — Miran / githubweb
  5. Let counter start from one for each distributed object — Miran / githubweb
  6. Fix minor problems introduced by the merge with vpb/development — Miran / githubweb
  7. Initial work for dispatcher — Miran / githubweb
  8. Add new external node for creating the distribution map — Miran / githubweb
  9. Generate the System architecture maps to string version — Miran / githubweb
  10. Initial work for bus dispatcher — Miran / githubweb
  11. Generate the string version maps — Miran / githubweb
  12. Updated the testing node for distribution — Miran / githubweb
  13. Add new parameter for the sendBus functionality — Miran / githubweb
  14. Initial version of the GetRes functionality — Miran / githubweb
  15. Added flag for indicating if distribution generation is needed — Miran / githubweb
  16. Minor update + additional comments — Miran / githubweb
  17. Updates for resolve call function distpacher — Miran / githubweb
  18. Minor name fix — Miran / githubweb
  19. Use the correct object name — Miran / githubweb
  20. get all classes used in the VDM-RT model — Miran / githubweb
  21. Added the macro wrapper function used to resolve a remote call — Miran / githubweb
  22. Initial work for inheritance for distribution — Miran / githubweb
  23. Initial support for inheritance dispatching for distribution — Miran / githubweb
  24. Updated VDM library parts used for distribution — Miran / githubweb
  25. Minor fixes — Miran / githubweb
  26. Comment distribtion parts for VDM lib out — Miran / githubweb
  27. Updated distributed code generator to use the new interface — Miran / githubweb
  28. Added the distribution code generation as a command line argument — Miran / githubweb
  29. added local declaration of args — Miran / githubweb
  30. Added function call to statement of send_bus function — Miran / githubweb
  31. Uncomment distribution addition in the vdm library — Miran / githubweb
  32. Refactoring writeFile code — Miran / githubweb
  33. Minor updated of transformation used for testing — Miran / githubweb
  34. Use absolute path of output directory — Miran / githubweb
  35. Initial test set up for distribution (only generate files) — Miran / githubweb
  36. Use overture formatter + either generate distribution or sequential — Miran / githubweb
  37. Minor clean up — Miran / githubweb
  38. Added time limit for run during testing — Miran / githubweb
  39. Add inclusion of the user specific header during run-time — Miran / githubweb
  40. Updated test1 and add run-time ressources — Miran / githubweb
  41. Minor updated to the include transformation — Miran / githubweb
  42. Run test with the executable and updated test resource for the main — Miran / githubweb
  43. ressources for cpu2 in test1 added — Miran / githubweb
  44. Updated test to use the new resources for cpu2 — Miran / githubweb
  45. Added test for the system analysis generator — Miran / githubweb
  46. Added test for distribution using ASN1 — Miran / githubweb
  47. Add arguments to DIST_CALL macro using proper index numbers — Miran / githubweb
  48. Added test of asn serialisation of arguments and return type — Miran / githubweb
  49. Fix to the generate send bus transformation, skip if there is no bus — Miran / githubweb
  50. Initial version of a Cpu init function — Miran / githubweb
  51. Added test of correct assignment of cpu init functionality — Miran / githubweb
  52. Initial update of the runtime for the new distributed dispatching — Miran / githubweb
  53. Removed unused automatically generated files — Miran / githubweb
  54. New transformation for transforming a remote object representation using — Miran / githubweb
  55. Use the remote object transformation, and do not use the specific ID and — Miran / githubweb
  56. Updated tests to use the garbage collector — Miran / githubweb
  57. Added test for quotes and bool serialisation run-time — Miran / githubweb
  58. Minor fix with output testpath — Miran / githubweb
  59. Added IR notes used for the distributed code generator — Miran / githubweb
  60. Minor fix for quotes serialization using ASN.1 — Miran / githubweb
  61. Improved test feedback for distributed test — Miran / githubweb
  62. Updated additional test for garbage collector together with feedback. — Miran / githubweb
  63. Updated CMake configuration to use the automatically generated VDM — Miran / githubweb
  64. Removed unsed files — Miran / githubweb
  65. Added check of classHeader type before casting — Miran / githubweb
  66. Clean up and refactoring of the architecture analysis — Miran / githubweb
  67. Clean up of distribution transformation series — Miran / githubweb
  68. Refactoring of code, initial for method arguments — Miran / githubweb
  69. Refactoring of identifier expressions — Miran / githubweb
  70. Clean up code — Miran / githubweb
  71. Refactoring and clean up of method for remote invocation handling — Miran / githubweb
  72. Clean up of distribution macro transformation — Miran / githubweb
  73. Minor code clean up of remote object transformarion — Miran / githubweb
  74. Refactoring and code clean up of class dispatcher function — Miran / githubweb
  75. Removed unused imports — Miran / githubweb
  76. Clean up — Miran / githubweb
  77. Removed unused comment — Miran / githubweb
  78. Remove time check — Peter W. V. Tran-Jørgensen / githubweb
  79. Added cmake functionality windows and linux in distribution tests — Miran / githubweb
  80. Detect cmake correctly across all platforms — Peter W. V. Tran-Jørgensen / githubweb
  81. Use absolute path to VDM lib during distribution testing — Miran / githubweb
  82. Fix CMakeLists.txt files for ASN test — Peter W. V. Tran-Jørgensen / githubweb
  83. Updated CMake file to fix Linux problem — Miran / githubweb
  84. Fix a problem with capital letter in path causing problems in Linux — Miran / githubweb
  85. Fixed run-time de-serialization of a boolean value — Miran / githubweb
  86. Added automatic detection if distribution code generation is needed, and — Miran / githubweb
  87. Moved the generation of files to the CGen instead of the CGenMain — Miran / githubweb
  88. Initial setup of Eclipse plug-in for the distribution support — Miran / githubweb
  89. Generate the specific c files for each cpu — Miran / githubweb
  90. Removed debug code — Miran / githubweb
  91. Removed public static access, and use get/set functions instead — Miran / githubweb
  92. Clean up distribution merge — Peter W. V. Tran-Jørgensen / githubweb
  93. Added sleep between cpu start up calls — Miran / githubweb
  94. Changed to use get function instead of static reference — Miran / githubweb
  95. update parameters of the emit main file function — Miran / githubweb
  96. Create a delay variable — Miran / githubweb
  97. Try new delay for distributed tests — Miran / githubweb
  98. Set the daemon flag to false in order not to generate console output — Miran / githubweb
  99. Filter out the extra nodes during distributed system analysis — Miran / githubweb
  100. The first element of the DM is not long always true, since we use new — Miran / githubweb
  101. Improved support for dispatching to super classes — Miran / githubweb
  102. Improve support for super class, and start using the first elemnet of DM — Miran / githubweb
  103. Use the first element of the DM — Miran / githubweb
  104. Improved analysis of the BUS structure — Miran / githubweb
  105. Improved test timing for distribution tests — Miran / githubweb
  106. Allow to set distribution generation off using the cgen settings — Miran / githubweb
  107. Update for the IDE for copying the distribution JAR — Miran / githubweb
  108. Improved possible timing issues during distribution test execution — Miran / githubweb
  109. Test update — Miran / githubweb
  110. Minor code formating — Miran / githubweb
  111. Add timing awareness for cpu1 during distribution tests — Miran / githubweb
  112. Synchronize CPUs during distribution test using a file — Miran / githubweb
  113. Updated distribution tests of initialization to use file — Miran / githubweb
  114. Support generation of bus support functions — Miran / githubweb
  115. Updated includes transformation together with new name for bus send — Miran / githubweb
  116. removed unused files — Miran / githubweb
  117. removed unused files (reverted from commit — Miran / githubweb
  118. Minor update to tests — Miran / githubweb
  119. Initial support for distribution run time from IDE — Miran / githubweb
  120. Clean Up — Miran / githubweb
  121. Minor update for distribution tests — Miran / githubweb
  122. Moved distribution library to separate maven project — Miran / githubweb
  123. Updated distribution library for C89 compliance — Miran / githubweb
  124. Changed distribution test to use FIFOs — Miran / githubweb
  125. Changed distribution tests to use FIFOs for communication — Miran / githubweb
  126. Improvement of distribution tests timing — Miran / githubweb
  127. kill subprocess of cpu2 after test — Miran / githubweb
  128. only run one test of distribution — Miran / githubweb
  129. Enable another test for distribution — Miran / githubweb
  130. Updated IDE with better separation of code emission between distributed — Miran / githubweb
  131. Do not run Quotes test — Miran / githubweb
  132. test new timing improvments for distributed tests — Miran / githubweb
  133. Enable all test with new approach for timing — Miran / githubweb
  134. new test try for distribution — Miran / githubweb
  135. Commit to rerun test — Miran / githubweb
  136. Fix typo in CMake file — Peter W. V. Tran-Jørgensen / githubweb
  137. Add -D_GNU_SOURCE flag to CMake file — Peter W. V. Tran-Jørgensen / githubweb
  138. Improved timing support for distribution tests — Miran / githubweb
  139. Assert that FIFOs can be created and cleaned up afterwards. — Miran / githubweb
  140. cleap up comments — Miran / githubweb
  141. Removed irrelevant comment — Miran / githubweb
  142. Removed irrelevant comment — Miran / githubweb
  143. Removed debug print from distribution test — Miran / githubweb
  144. Clean up distribution tests — Miran / githubweb
  145. Improve assert error message. — Miran / githubweb
  146. Add release notes for VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
  147. Prepare release of VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
  148. [maven-release-plugin] prepare release Release/0.1.16 — jenkins / githubweb
  149. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  150. Class association should not consider standard library classes — Peter W. V. Tran-Jørgensen / githubweb
  151. Update distribution code-generator to emit class association file — Peter W. V. Tran-Jørgensen / githubweb
  152. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - — Victor Bandur / githubweb
  153. -  Map composition support in the runtime library. -  Addresses #108. — Victor Bandur / githubweb

#48 (Oct 5, 2017 2:12:16 PM)

  1. Use transformation to emit "is" checks — Peter W. V. Tran-Jørgensen / githubweb
  2. Remove templates that are not needed anymore #108 — Peter W. V. Tran-Jørgensen / githubweb
  3. Test that is_nat generates correctly #108 — Peter W. V. Tran-Jørgensen / githubweb
  4. Add support for is_nat1 #108 — Peter W. V. Tran-Jørgensen / githubweb
  5. Support is_int #108 — Peter W. V. Tran-Jørgensen / githubweb
  6. Support is_bool #108 — Peter W. V. Tran-Jørgensen / githubweb
  7. Support is_rat #108 — Peter W. V. Tran-Jørgensen / githubweb
  8. Support is_char #108 — Peter W. V. Tran-Jørgensen / githubweb
  9. Support is_token #108 — Peter W. V. Tran-Jørgensen / githubweb
  10. Support is_real #108 — Peter W. V. Tran-Jørgensen / githubweb
  11. Emit class association file — Peter W. V. Tran-Jørgensen / githubweb
  12. Add "generated file" comment to VdmClassHierarchy.h — Peter W. V. Tran-Jørgensen / githubweb
  13. -  Product test for (int * char) * int. -  Addresses #108. — Victor Bandur / githubweb
  14. -  Dummy VdmClassHierarchy.h file for runtime library testing. - — Victor Bandur / githubweb
  15. -  Runtime library support for isofbaseclass. -  Addresses #108. — Victor Bandur / githubweb
  16. -  Runtime library support for samebaseclass. -  Addresses #108. — Victor Bandur / githubweb

#47 (Oct 4, 2017 4:46:49 PM)

  1. -  Runtime library support for issameclass. -  Addresses #108. — Victor Bandur / githubweb
  2. -  Fixed name of sameclass query in runtime library. -  Addresses *108. — Victor Bandur / githubweb

#46 (Oct 4, 2017 4:21:16 PM)

  1. Comment cleanup. — Victor Bandur / githubweb

#45 (Oct 4, 2017 4:20:35 PM)

  1. -  No longer emitting global field numFields_X as it is no longer used. — Victor Bandur / githubweb

#44 (Oct 4, 2017 4:02:07 PM)

  1. Fixes bug with setting correct buffer size in collections. — Victor Bandur / githubweb
  2. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. — Victor Bandur / githubweb
  3. -  Runtime library support for is checks on product, class and record — Victor Bandur / githubweb
  4. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes — Victor Bandur / githubweb

#43 (Oct 4, 2017 11:55:37 AM)

  1. -  Support for arbitrary sequence and set is_ queries. -  Addresses — Victor Bandur / githubweb

#42 (Oct 3, 2017 4:33:18 PM)

  1. -  WIP is_ query on arbitrary types. -  Addresses #108. — Victor Bandur / githubweb

#41 (Oct 3, 2017 11:32:23 AM)

  1. -  Increased coverage of basic precondition checks on map and sequence — Victor Bandur / githubweb

#40 (Sep 22, 2017 11:16:15 AM)

  1. Add VDM2C 0.1.12 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.12 — Peter W. V. Tran-Jørgensen / githubweb
  3. [maven-release-plugin] prepare release Release/0.1.12 — jenkins / githubweb
  4. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  5. Require Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb
  6. Require Overture 2.5.2 — Peter W. V. Tran-Jørgensen / githubweb
  7. Add version 0.1.14 release notes — Peter W. V. Tran-Jørgensen / githubweb
  8. Prepare release of VDM2C 0.1.14 — Peter W. V. Tran-Jørgensen / githubweb
  9. [maven-release-plugin] prepare release Release/0.1.14 — jenkins / githubweb
  10. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  11. WIP renaming VDM MATH library. — Victor Bandur / githubweb

#39 (Sep 18, 2017 6:41:14 PM)

  1. WIP support for records in is queries. — Victor Bandur / githubweb

#38 (Sep 12, 2017 1:10:47 PM)

  1. -  Sequence and Set exclusion mechanism for is queries. -  Addresses — Victor Bandur / githubweb

#37 (Sep 11, 2017 8:00:27 PM)

  1. Large is construct for basic built-in types. — Victor Bandur / githubweb
  2. Tests for deep nesting. — Victor Bandur / githubweb

#36 (Sep 11, 2017 3:07:07 PM)

  1. -  WIP on recurive is check for arbitrary nesting of seqs and sets. - — Victor Bandur / githubweb

#35 (Sep 1, 2017 5:24:12 PM)

  1. -  Is sequence of int support. -  Addresses #108. — Victor Bandur / githubweb

#34 (Sep 1, 2017 5:13:21 PM)

  1. -  Runtime support for is_ test on basic types plus tests. -  Addresses — Victor Bandur / githubweb

#33 (Sep 1, 2017 1:19:25 PM)

  1. Add runtime support for sequence modifications (explicit version) — Peter W. V. Tran-Jørgensen / githubweb
  2. Allowing maps when sequences are used due to sequence modification. — Victor Bandur / githubweb
  3. -  Formatting. -  Addresses #107. — Victor Bandur / githubweb
  4. -  Garbage collection version of sequence modification. -  Addresses — Victor Bandur / githubweb
  5. Update the generator to support sequence modifications — Peter W. V. Tran-Jørgensen / githubweb
  6. Address misnomer, rename newMapVarToGrow to newMapVar #106 — Peter W. V. Tran-Jørgensen / githubweb
  7. Add version 0.1.10 release notes — Peter W. V. Tran-Jørgensen / githubweb
  8. Prepare release of version 0.1.10 — Peter W. V. Tran-Jørgensen / githubweb
  9. [maven-release-plugin] prepare release Release/0.1.10 — jenkins / githubweb
  10. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  11. Build against Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb
  12. -  Expanded is_ support to cover basic types. -  Addresses #108. — Victor Bandur / githubweb

#32 (Aug 4, 2017 5:11:00 PM)

  1. Omit address of result variable in GC calls — Peter W. V. Tran-Jørgensen / githubweb
  2. Add pacemaker model sources #100 — Peter W. V. Tran-Jørgensen / githubweb
  3. Add VDMPP version of bubble sort #100 — Peter W. V. Tran-Jørgensen / githubweb
  4. Check that all paper examples code-generate and compile #100 — Peter W. V. Tran-Jørgensen / githubweb
  5. Only include TypedValue.h in paper examples extension points — Peter W. V. Tran-Jørgensen / githubweb
  6. -  Fixed critical bug causing non-reproducible crashes in the garbage — Victor Bandur / githubweb
  7. -  Another segfault bugfix. -  AlarmPP model now can be inspected using — Victor Bandur / githubweb
  8. Don't set commit status explicitly — Peter W. V. Tran-Jørgensen / githubweb
  9. Cleanup Jenkinsfile syntax — Peter W. V. Tran-Jørgensen / githubweb
  10. Don't emit SET_FIELD_PTR_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb
  11. Don't emit SET_FIELD_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb
  12. -  Not using GC-aware assignments in class fields. -  Addresses #89. — Victor Bandur / githubweb
  13. Fix issue with factorial implementation — Peter W. V. Tran-Jørgensen / githubweb
  14. Add missing MATH lib test — Peter W. V. Tran-Jørgensen / githubweb
  15. Update CMakeList file for gcc6 — Peter W. V. Tran-Jørgensen / githubweb
  16. Add 'numFields' in the IR — Peter W. V. Tran-Jørgensen / githubweb
  17. Fix issue with for-index loops — Peter W. V. Tran-Jørgensen / githubweb
  18. Ignore IntelliJ metadata — Peter W. V. Tran-Jørgensen / githubweb
  19. Fix records value semantics bug — Peter W. V. Tran-Jørgensen / githubweb
  20. Strict comparison for NULL values. — Victor Bandur / githubweb
  21. New translation of 'nil' — Peter W. V. Tran-Jørgensen / githubweb
  22. Fix grow mechanism for sequences #106 — Peter W. V. Tran-Jørgensen / githubweb
  23. Update runtime to support more function/operation arguments — Peter W. V. Tran-Jørgensen / githubweb
  24. Add VDM2C 0.1.8 release notes — Peter W. V. Tran-Jørgensen / githubweb
  25. Prepare release of VDM2C 0.1.8 — Peter W. V. Tran-Jørgensen / githubweb
  26. [maven-release-plugin] prepare release Release/0.1.8 — jenkins / githubweb
  27. [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
  28. Set log level to ERROR — Peter W. V. Tran-Jørgensen / githubweb
  29. Guard against non-existing super headers — Peter W. V. Tran-Jørgensen / githubweb
  30. -  Fix collection grow issue for sets. -  Addresses #106. — Victor Bandur / githubweb
  31. -  Removing variable length arrays to accommodate the Visual C compiler. — Victor Bandur / githubweb