collapse
100%
WDescription%
Build stability: No recent builds failed.100
Build History
x
 20 KB
 23 KB
 21 KB
 20 KB
 20 KB
 19 KB
 23 KB
 21 KB
 78 KB
 19 KB
 72 KB
 81 KB
 28 KB
 20 KB
 21 KB
 27 KB
 76 KB
 19 KB
 28 KB
 19 KB
 28 KB
 140 KB
 18 KB
 22 KB
 19 KB
 197 KB
 52 KB
 19 KB
 18 KB
 18 KB

Changes

#370 (Nov 22, 2018 12:52:06 PM)

  1. [maven-release-plugin] prepare release Release/0.2.2 (commit: b9f77f9) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 7efed21) — jenkins / githubweb

#369 (Nov 22, 2018 12:20:19 PM)

  1. Add VDM2C 0.2.2 release notes (commit: 79bf4ee) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.2.2 (commit: 094c5cb) — Peter W. V. Tran-Jørgensen / githubweb

#368 (Nov 22, 2018 11:46:14 AM)

  1. Update to Overture 2.6.4 and Eclipse Oxygen (commit: 15eb3a2) — Peter W. V. Tran-Jørgensen / githubweb

#367 (Feb 14, 2018 12:33:23 PM)

  1. Remove build status icon (commit: b634965) — Peter W. V. Tran-Jørgensen / githubweb

#365 (Feb 14, 2018 12:01:10 PM)

  1. [maven-release-plugin] prepare release Release/0.2.0 (commit: f6a5919) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: ee1e1f9) — jenkins / githubweb

#364 (Feb 14, 2018 11:20:50 AM)

  1. Add v0.2 release notes (commit: f52da47) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C v0.2.0 (commit: 8b1b114) — Peter W. V. Tran-Jørgensen / githubweb
  3. Adjust version number in v0.2.0 release notes (commit: 3dc4594) — Peter W. V. Tran-Jørgensen / githubweb

#363 (Feb 14, 2018 10:57:28 AM)

  1. Fix assignments to static fields #122 (commit: 933eec4) — Peter W. V. Tran-Jørgensen / githubweb
  2. Emit newSeqVarToGrowGC (commit: a9e7faa) — Peter W. V. Tran-Jørgensen / githubweb
  3. -  Fixed problem with vdmSeqGrow and values passed under GC control. - (commit: 1f81188) — Victor Bandur / githubweb
  4. Fix for problem with vdmSetGrow when under GC control. (commit: bb53d1a) — Victor Bandur / githubweb
  5. Fixed memory leak in vdmSeqInds. (commit: e880319) — Victor Bandur / githubweb
  6. Fixed memory leak in records. (commit: 3723075) — Victor Bandur / githubweb
  7. Fixed memory leak with records. (commit: 4a5c840) — Victor Bandur / githubweb
  8. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. (commit: 837a464) — Victor Bandur / githubweb
  9. Add generator support for `vdmSetEnumerateSetOfIntsGC` (commit: ebda231) — Peter W. V. Tran-Jørgensen / githubweb
  10. -  Committing omitted header file. -  Addresses #126. (commit: b81cce8) — Victor Bandur / githubweb
  11. Uninitialized variable warnings in maps, runtime. (commit: bda3b92) — Victor Bandur / githubweb

#361 (Dec 19, 2017 5:51:53 PM)

  1. -  Added missing function declaration. -  Addresses #125. (commit: fa0cab8) — Victor Bandur / githubweb

#360 (Dec 18, 2017 4:14:40 PM)

  1. -  Added comment to each runtime library file about the version of VMD2C (commit: 9dc9ff1) — Victor Bandur / githubweb

#359 (Dec 7, 2017 5:09:32 PM)

  1. -  Addition of newSeqVarToGrowGC. -  Addresses #125. (commit: 9a04c62) — Victor Bandur / githubweb

#358 (Nov 30, 2017 9:40:57 AM)

  1. Format Jenkinsfile (commit: 26ee388) — Peter W. V. Tran-Jørgensen / githubweb

#357 (Nov 29, 2017 1:22:35 PM)

  1. Distributed code-generator fix (commit: cbb0cb2) — Peter W. V. Tran-Jørgensen / githubweb
  2. Handle vdm2c build jobs in Jenkinsfile (commit: 2f2a964) — Peter W. V. Tran-Jørgensen / githubweb
  3. Fix deployment, skip tests temporarily (commit: b6f8332) — Peter W. V. Tran-Jørgensen / githubweb
  4. Re-enable testing in Jenkinsfile (commit: 539b001) — Peter W. V. Tran-Jørgensen / githubweb

#356 (Nov 29, 2017 11:38:39 AM)

  1. -  Unused variable cleanup. -  Addresses #123. (commit: 8c2dd57) — Victor Bandur / githubweb

#355 (Nov 27, 2017 7:36:02 PM)

  1. -  WIP removing traces of source variable from garbage collector. - (commit: 834fe71) — Victor Bandur / githubweb
  2. -  Removed ref_from element of TVP and associated GC machinery. - (commit: b718699) — Victor Bandur / githubweb

#353 (Nov 23, 2017 11:22:59 PM)

  1. Emit GC versions of class constructors #124 (commit: 9e1f19d) — Peter W. V. Tran-Jørgensen / githubweb
  2. Tag constructor calls in CallRewriteTrans #124 (commit: 096c4ac) — Peter W. V. Tran-Jørgensen / githubweb
  3. -  Memory leak fixes. -  Addresses #108. (commit: 5139781) — Victor Bandur / githubweb

#351 (Nov 17, 2017 4:24:36 PM)

  1. Further speed and size improvements in GC versions of operations. (commit: 2cdd6e1) — Victor Bandur / githubweb

#350 (Nov 13, 2017 3:35:49 PM)

  1. -  Expanded is_ support to cover basic types. -  Addresses #108. (commit: 3ddd752) — Victor Bandur / githubweb
  2. -  Runtime support for is_ test on basic types plus tests. -  Addresses (commit: c426bc3) — Victor Bandur / githubweb
  3. -  Is sequence of int support. -  Addresses #108. (commit: f534a26) — Victor Bandur / githubweb
  4. -  WIP on recurive is check for arbitrary nesting of seqs and sets. - (commit: 812dc20) — Victor Bandur / githubweb
  5. Large is construct for basic built-in types. (commit: e445135) — Victor Bandur / githubweb
  6. Tests for deep nesting. (commit: d62531a) — Victor Bandur / githubweb
  7. -  Sequence and Set exclusion mechanism for is queries. -  Addresses (commit: 850f4fa) — Victor Bandur / githubweb
  8. WIP support for records in is queries. (commit: daef3e2) — Victor Bandur / githubweb
  9. WIP renaming VDM MATH library. (commit: 31dc1ac) — Victor Bandur / githubweb
  10. Use transformation to emit "is" checks (commit: c10cef4) — Peter W. V. Tran-Jørgensen / githubweb
  11. Remove templates that are not needed anymore #108 (commit: 3a7ad16) — Peter W. V. Tran-Jørgensen / githubweb
  12. Test that is_nat generates correctly #108 (commit: a42e8d0) — Peter W. V. Tran-Jørgensen / githubweb
  13. Add support for is_nat1 #108 (commit: d9cec88) — Peter W. V. Tran-Jørgensen / githubweb
  14. Support is_int #108 (commit: ed8de05) — Peter W. V. Tran-Jørgensen / githubweb
  15. Support is_bool #108 (commit: 897c1ad) — Peter W. V. Tran-Jørgensen / githubweb
  16. Support is_rat #108 (commit: e159274) — Peter W. V. Tran-Jørgensen / githubweb
  17. Support is_char #108 (commit: 197a99a) — Peter W. V. Tran-Jørgensen / githubweb
  18. Support is_token #108 (commit: c0c1654) — Peter W. V. Tran-Jørgensen / githubweb
  19. Support is_real #108 (commit: c8b8070) — Peter W. V. Tran-Jørgensen / githubweb
  20. -  WIP is_ query on arbitrary types. -  Addresses #108. (commit: 2090488) — Victor Bandur / githubweb
  21. Emit class association file (commit: c87f064) — Peter W. V. Tran-Jørgensen / githubweb
  22. Add "generated file" comment to VdmClassHierarchy.h (commit: cf05c88) — Peter W. V. Tran-Jørgensen / githubweb
  23. -  Support for arbitrary sequence and set is_ queries. -  Addresses (commit: 5a708e0) — Victor Bandur / githubweb
  24. -  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108. (commit: eab9362) — Victor Bandur / githubweb
  25. -  Runtime library support for is checks on product, class and record (commit: 69c90e9) — Victor Bandur / githubweb
  26. -  Cleanup, removed unused VDM-RT runtime library test models. -  Closes (commit: af88a94) — Victor Bandur / githubweb
  27. -  No longer emitting global field numFields_X as it is no longer used. (commit: a76753f) — Victor Bandur / githubweb
  28. Comment cleanup. (commit: 858fa3d) — Victor Bandur / githubweb
  29. -  Runtime library support for issameclass. -  Addresses #108. (commit: 9b720d0) — Victor Bandur / githubweb
  30. -  Fixed name of sameclass query in runtime library. -  Addresses *108. (commit: ba0dc11) — Victor Bandur / githubweb
  31. -  Product test for (int * char) * int. -  Addresses #108. (commit: f44d07b) — Victor Bandur / githubweb
  32. -  Dummy VdmClassHierarchy.h file for runtime library testing. - (commit: e5990c4) — Victor Bandur / githubweb
  33. -  Runtime library support for isofbaseclass. -  Addresses #108. (commit: 374d65f) — Victor Bandur / githubweb
  34. -  Runtime library support for samebaseclass. -  Addresses #108. (commit: 1b29f53) — Victor Bandur / githubweb
  35. Class association should not consider standard library classes (commit: dce9001) — Peter W. V. Tran-Jørgensen / githubweb
  36. Update distribution code-generator to emit class association file (commit: ef8433d) — Peter W. V. Tran-Jørgensen / githubweb
  37. -  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (commit: 8360294) — Victor Bandur / githubweb
  38. -  Map composition support in the runtime library. -  Addresses #108. (commit: eacd08d) — Victor Bandur / githubweb
  39. -  GC version of map composition in the runtime library. -  Addresses (commit: 0b15451) — Victor Bandur / githubweb
  40. -  Map iteration support in the runtime library. -  Addresses #108. (commit: 03ef0a6) — Victor Bandur / githubweb
  41. -  Reducing flash footprint. -  Addresses #120. (commit: e484cc4) — Victor Bandur / githubweb
  42. -  Support for is seq1. -  Addresses #108. (commit: ba7ac73) — Victor Bandur / githubweb
  43. -  Support for is set1 type queries. -  More tests for is seq1. - (commit: 2f7b002) — Victor Bandur / githubweb
  44. -  Runtime support for is map queries. -  Addresses #108. (commit: 7ec244b) — Victor Bandur / githubweb
  45. Add initial support for type encoding #108 (commit: 60bfb5c) — Peter W. V. Tran-Jørgensen / githubweb
  46. Code cleanup, comments. (commit: 43ec87d) — Victor Bandur / githubweb
  47. Update type encoder to support set1, seq1 and map (commit: 8211423) — Peter W. V. Tran-Jørgensen / githubweb
  48. -  Reduction in flash footprint:  maps. -  Addresses #120. (commit: 3081624) — Victor Bandur / githubweb
  49. Address wrong assumption in the distributed code-generator (commit: 887d559) — Peter W. V. Tran-Jørgensen / githubweb
  50. -  Flash footprint reduction, sequences. -  Addresses #120. (commit: 638e9ef) — Victor Bandur / githubweb
  51. -  Flash footprint reduction, sets. -  Addresses #120. (commit: ec28ff2) — Victor Bandur / githubweb
  52. -  Eliminating some compiler warnings in distribution runtime. - (commit: baf6778) — Victor Bandur / githubweb
  53. -  Bugfix. -  Addresses #120. (commit: d68c28b) — Victor Bandur / githubweb
  54. -  WIP runtime library support for optional types encoding. -  Addresses (commit: f12f3a8) — Victor Bandur / githubweb
  55. -  Runtime library support for is queries on optional types. - (commit: 6f5a2ed) — Victor Bandur / githubweb
  56. -  Runtime support for eliminating is queries based on NO_IS flag. - (commit: dc54b7c) — Victor Bandur / githubweb
  57. Emit NO_IS flag in model features file #108 (commit: f15c330) — Peter W. V. Tran-Jørgensen / githubweb
  58. Support exists1 quantifier #108 (commit: d885aa3) — Peter W. V. Tran-Jørgensen / githubweb
  59. -  WIP memory leaks with freeing non-GC tokens. -  Addresses #100. (commit: fcab775) — Victor Bandur / githubweb
  60. Support preconditions #108 (commit: aaf9e4f) — Peter W. V. Tran-Jørgensen / githubweb
  61. Support encoding of optional types #108 (commit: 4831a70) — Peter W. V. Tran-Jørgensen / githubweb
  62. Temporarily build against Overture 2.5.3-SNAPSHOT (commit: 169d311) — Peter W. V. Tran-Jørgensen / githubweb
  63. Update VDM2C to work with newest Overture (commit: 4e7ab1e) — Peter W. V. Tran-Jørgensen / githubweb
  64. Support map iteration #108 (commit: 6c440d7) — Peter W. V. Tran-Jørgensen / githubweb
  65. Support map composition #108 (commit: d45fd36) — Peter W. V. Tran-Jørgensen / githubweb
  66. Support iota #108 (commit: ac2f061) — Peter W. V. Tran-Jørgensen / githubweb
  67. Support non-deterministic statements #108 (commit: 9045250) — Peter W. V. Tran-Jørgensen / githubweb
  68. Support isofbaseclass #108 (commit: e31f0d5) — Peter W. V. Tran-Jørgensen / githubweb
  69. Support isofclass operator #108 (commit: c1c4e58) — Peter W. V. Tran-Jørgensen / githubweb
  70. Support samebaseclass operator #108 (commit: e69402e) — Peter W. V. Tran-Jørgensen / githubweb
  71. Support sameclass operator #108 (commit: 4872b49) — Peter W. V. Tran-Jørgensen / githubweb
  72. -  Typo in type encoding in test. -  Addresses #108. (commit: 38e82bd) — Victor Bandur / githubweb
  73. Work on checking union types in is_ expressions #108 (commit: c5ad1e1) — Peter W. V. Tran-Jørgensen / githubweb
  74. Emit type encoding for is_* checks #108 (commit: ae81a7f) — Peter W. V. Tran-Jørgensen / githubweb
  75. Fix two issues in IsExpUnionTypeFinder #108 (commit: dbe8316) — Peter W. V. Tran-Jørgensen / githubweb
  76. Support union types in is_* expressions #108 (commit: 8f41307) — Peter W. V. Tran-Jørgensen / githubweb
  77. Fix memory leak in field initializers (commit: 40c78ca) — Peter W. V. Tran-Jørgensen / githubweb
  78. Fix index issue in "for all" loops (commit: 3679031) — Peter W. V. Tran-Jørgensen / githubweb
  79. -  Fixed bugs in runtime library OO support. -  isofclass is both (commit: f228303) — Victor Bandur / githubweb
  80. -  Fixed bug with exclusion of class inheritance header file. - (commit: 87740a5) — Victor Bandur / githubweb
  81. -  Minor refinement to exclusion mechanism. -  Addresses #108. (commit: 673ca1c) — Victor Bandur / githubweb
  82. Use Overture 2.5.4 (commit: 177a847) — Peter W. V. Tran-Jørgensen / githubweb
  83. Fix clean up in OOChecks test (commit: ef9b360) — Peter W. V. Tran-Jørgensen / githubweb
  84. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (commit: 3ec2000) — Victor Bandur / githubweb
  85. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (commit: 7b124de) — Victor Bandur / githubweb

#348 (Oct 5, 2017 11:21:46 AM)

  1. [maven-release-plugin] prepare release Release/0.1.16 (commit: 4ac773d) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 75f1026) — jenkins / githubweb

#347 (Oct 5, 2017 10:47:20 AM)

  1. Add release notes for VDM2C version 0.1.16 (commit: 05a896a) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C version 0.1.16 (commit: 07a380b) — Peter W. V. Tran-Jørgensen / githubweb

#346 (Oct 5, 2017 10:42:03 AM)

  1. Uncommented generation of individual system definition (commit: dc72732) — Miran / githubweb
  2. Changed the quote id generation from using name hashcode to using a (commit: 3abd921) — Miran / githubweb
  3. Initial work for generating system definition pr. cpu (commit: b888081) — Miran / githubweb
  4. Generate individual DM for each cpu (commit: aa62cc7) — Miran / githubweb
  5. Let counter start from one for each distributed object (commit: de58b91) — Miran / githubweb
  6. Fix minor problems introduced by the merge with vpb/development (commit: e5b43c9) — Miran / githubweb
  7. Initial work for dispatcher (commit: 3a80298) — Miran / githubweb
  8. Add new external node for creating the distribution map (commit: 8541984) — Miran / githubweb
  9. Generate the System architecture maps to string version (commit: a7571a4) — Miran / githubweb
  10. Initial work for bus dispatcher (commit: 3a7e706) — Miran / githubweb
  11. Generate the string version maps (commit: bce95d5) — Miran / githubweb
  12. Updated the testing node for distribution (commit: b63961f) — Miran / githubweb
  13. Add new parameter for the sendBus functionality (commit: 3852950) — Miran / githubweb
  14. Initial version of the GetRes functionality (commit: 5e6f11f) — Miran / githubweb
  15. Added flag for indicating if distribution generation is needed (commit: d9c6b47) — Miran / githubweb
  16. Minor update + additional comments (commit: 7c4a14d) — Miran / githubweb
  17. Updates for resolve call function distpacher (commit: f478d48) — Miran / githubweb
  18. Minor name fix (commit: fb1a871) — Miran / githubweb
  19. Use the correct object name (commit: 731c131) — Miran / githubweb
  20. get all classes used in the VDM-RT model (commit: 1067767) — Miran / githubweb
  21. Added the macro wrapper function used to resolve a remote call (commit: 833fbff) — Miran / githubweb
  22. Initial work for inheritance for distribution (commit: 62b9761) — Miran / githubweb
  23. Initial support for inheritance dispatching for distribution (commit: bf40b71) — Miran / githubweb
  24. Updated VDM library parts used for distribution (commit: c77ecd1) — Miran / githubweb
  25. Minor fixes (commit: 577cec8) — Miran / githubweb
  26. Comment distribtion parts for VDM lib out (commit: 977e074) — Miran / githubweb
  27. Updated distributed code generator to use the new interface (commit: bb9c1d7) — Miran / githubweb
  28. Added the distribution code generation as a command line argument (commit: cc06e39) — Miran / githubweb
  29. added local declaration of args (commit: a3a286a) — Miran / githubweb
  30. Added function call to statement of send_bus function (commit: b6ddb38) — Miran / githubweb
  31. Uncomment distribution addition in the vdm library (commit: 24b25d3) — Miran / githubweb
  32. Refactoring writeFile code (commit: 46da25f) — Miran / githubweb
  33. Minor updated of transformation used for testing (commit: b04e70c) — Miran / githubweb
  34. Use absolute path of output directory (commit: f0ad43f) — Miran / githubweb
  35. Initial test set up for distribution (only generate files) (commit: 9de1b8e) — Miran / githubweb
  36. Use overture formatter + either generate distribution or sequential (commit: 1932c2b) — Miran / githubweb
  37. Minor clean up (commit: c21ba75) — Miran / githubweb
  38. Added time limit for run during testing (commit: 1a655bf) — Miran / githubweb
  39. Add inclusion of the user specific header during run-time (commit: ff81edd) — Miran / githubweb
  40. Updated test1 and add run-time ressources (commit: 60790e3) — Miran / githubweb
  41. Minor updated to the include transformation (commit: 6f50661) — Miran / githubweb
  42. Run test with the executable and updated test resource for the main (commit: a1c8202) — Miran / githubweb
  43. ressources for cpu2 in test1 added (commit: f6e58a9) — Miran / githubweb
  44. Updated test to use the new resources for cpu2 (commit: f4050ae) — Miran / githubweb
  45. Added test for the system analysis generator (commit: 084a8ed) — Miran / githubweb
  46. Added test for distribution using ASN1 (commit: af789e2) — Miran / githubweb
  47. Add arguments to DIST_CALL macro using proper index numbers (commit: 3ff08da) — Miran / githubweb
  48. Added test of asn serialisation of arguments and return type (commit: cc7a746) — Miran / githubweb
  49. Fix to the generate send bus transformation, skip if there is no bus (commit: 4c7d12b) — Miran / githubweb
  50. Initial version of a Cpu init function (commit: 129805e) — Miran / githubweb
  51. Added test of correct assignment of cpu init functionality (commit: 880b66c) — Miran / githubweb
  52. Initial update of the runtime for the new distributed dispatching (commit: ebfcd36) — Miran / githubweb
  53. Removed unused automatically generated files (commit: 2d610bb) — Miran / githubweb
  54. New transformation for transforming a remote object representation using (commit: 8acebdd) — Miran / githubweb
  55. Use the remote object transformation, and do not use the specific ID and (commit: bf1bc85) — Miran / githubweb
  56. Updated tests to use the garbage collector (commit: 71217c4) — Miran / githubweb
  57. Added test for quotes and bool serialisation run-time (commit: de3f87f) — Miran / githubweb
  58. Minor fix with output testpath (commit: c080630) — Miran / githubweb
  59. Added IR notes used for the distributed code generator (commit: 8bfc1cd) — Miran / githubweb
  60. Minor fix for quotes serialization using ASN.1 (commit: 09ee5b5) — Miran / githubweb
  61. Improved test feedback for distributed test (commit: debf6da) — Miran / githubweb
  62. Updated additional test for garbage collector together with feedback. (commit: 2a50cd7) — Miran / githubweb
  63. Updated CMake configuration to use the automatically generated VDM (commit: 133e819) — Miran / githubweb
  64. Removed unsed files (commit: ff40f86) — Miran / githubweb
  65. Added check of classHeader type before casting (commit: 5dbba89) — Miran / githubweb
  66. Clean up and refactoring of the architecture analysis (commit: 79bcf56) — Miran / githubweb
  67. Clean up of distribution transformation series (commit: 13bf26b) — Miran / githubweb
  68. Refactoring of code, initial for method arguments (commit: a847a62) — Miran / githubweb
  69. Refactoring of identifier expressions (commit: 5e2d1ec) — Miran / githubweb
  70. Clean up code (commit: 1ec1546) — Miran / githubweb
  71. Refactoring and clean up of method for remote invocation handling (commit: 2eaaa65) — Miran / githubweb
  72. Clean up of distribution macro transformation (commit: e9f1630) — Miran / githubweb
  73. Minor code clean up of remote object transformarion (commit: 0cf20d2) — Miran / githubweb
  74. Refactoring and code clean up of class dispatcher function (commit: ee90e4b) — Miran / githubweb
  75. Removed unused imports (commit: 90e8bdb) — Miran / githubweb
  76. Clean up (commit: 7fb6d4f) — Miran / githubweb
  77. Removed unused comment (commit: e909542) — Miran / githubweb
  78. Remove time check (commit: 0188de0) — Peter W. V. Tran-Jørgensen / githubweb
  79. Added cmake functionality windows and linux in distribution tests (commit: 4c24356) — Miran / githubweb
  80. Detect cmake correctly across all platforms (commit: 6aadcd6) — Peter W. V. Tran-Jørgensen / githubweb
  81. Use absolute path to VDM lib during distribution testing (commit: 731fdaa) — Miran / githubweb
  82. Fix CMakeLists.txt files for ASN test (commit: d63dd97) — Peter W. V. Tran-Jørgensen / githubweb
  83. Updated CMake file to fix Linux problem (commit: 07a3e61) — Miran / githubweb
  84. Fix a problem with capital letter in path causing problems in Linux (commit: 5593364) — Miran / githubweb
  85. Fixed run-time de-serialization of a boolean value (commit: 4f2b52c) — Miran / githubweb
  86. Added automatic detection if distribution code generation is needed, and (commit: 8c1e3f6) — Miran / githubweb
  87. Moved the generation of files to the CGen instead of the CGenMain (commit: 7fa5f60) — Miran / githubweb
  88. Initial setup of Eclipse plug-in for the distribution support (commit: 3dc8bf9) — Miran / githubweb
  89. Generate the specific c files for each cpu (commit: 9124ba3) — Miran / githubweb
  90. Removed debug code (commit: 529bb1b) — Miran / githubweb
  91. Removed public static access, and use get/set functions instead (commit: c976062) — Miran / githubweb
  92. Clean up distribution merge (commit: ba47107) — Peter W. V. Tran-Jørgensen / githubweb
  93. Added sleep between cpu start up calls (commit: 3c5e466) — Miran / githubweb
  94. Changed to use get function instead of static reference (commit: f79561c) — Miran / githubweb
  95. update parameters of the emit main file function (commit: a030078) — Miran / githubweb
  96. Create a delay variable (commit: 0c3c620) — Miran / githubweb
  97. Try new delay for distributed tests (commit: e6edee2) — Miran / githubweb
  98. Set the daemon flag to false in order not to generate console output (commit: d4a3c90) — Miran / githubweb
  99. Filter out the extra nodes during distributed system analysis (commit: 5080775) — Miran / githubweb
  100. The first element of the DM is not long always true, since we use new (commit: 19c4355) — Miran / githubweb
  101. Improved support for dispatching to super classes (commit: 956f401) — Miran / githubweb
  102. Improve support for super class, and start using the first elemnet of DM (commit: 11047fc) — Miran / githubweb
  103. Use the first element of the DM (commit: 781da93) — Miran / githubweb
  104. Improved analysis of the BUS structure (commit: 2cf4f91) — Miran / githubweb
  105. Improved test timing for distribution tests (commit: db2aff4) — Miran / githubweb
  106. Allow to set distribution generation off using the cgen settings (commit: 9c3e8fc) — Miran / githubweb
  107. Update for the IDE for copying the distribution JAR (commit: efbbdf1) — Miran / githubweb
  108. Improved possible timing issues during distribution test execution (commit: 0868d3f) — Miran / githubweb
  109. Test update (commit: 5b9aab8) — Miran / githubweb
  110. Minor code formating (commit: b7791e3) — Miran / githubweb
  111. Add timing awareness for cpu1 during distribution tests (commit: b86d0ee) — Miran / githubweb
  112. Synchronize CPUs during distribution test using a file (commit: 4c72da2) — Miran / githubweb
  113. Updated distribution tests of initialization to use file (commit: d46dfd0) — Miran / githubweb
  114. Support generation of bus support functions (commit: d62d5b1) — Miran / githubweb
  115. Updated includes transformation together with new name for bus send (commit: 976716b) — Miran / githubweb
  116. removed unused files (commit: 2f78ac5) — Miran / githubweb
  117. removed unused files (reverted from commit (commit: ac20568) — Miran / githubweb
  118. Minor update to tests (commit: cd7978e) — Miran / githubweb
  119. Initial support for distribution run time from IDE (commit: 3dada75) — Miran / githubweb
  120. Clean Up (commit: ece3004) — Miran / githubweb
  121. Minor update for distribution tests (commit: 7c1594c) — Miran / githubweb
  122. Moved distribution library to separate maven project (commit: e240ce3) — Miran / githubweb
  123. Updated distribution library for C89 compliance (commit: 524d08d) — Miran / githubweb
  124. Changed distribution test to use FIFOs (commit: 552bf69) — Miran / githubweb
  125. Changed distribution tests to use FIFOs for communication (commit: 66861af) — Miran / githubweb
  126. Improvement of distribution tests timing (commit: dce9856) — Miran / githubweb
  127. kill subprocess of cpu2 after test (commit: 0a8af33) — Miran / githubweb
  128. only run one test of distribution (commit: 2b41cda) — Miran / githubweb
  129. Enable another test for distribution (commit: 44b31d3) — Miran / githubweb
  130. Updated IDE with better separation of code emission between distributed (commit: 2164ccd) — Miran / githubweb
  131. Do not run Quotes test (commit: 4d77c7f) — Miran / githubweb
  132. test new timing improvments for distributed tests (commit: 72feb0f) — Miran / githubweb
  133. Enable all test with new approach for timing (commit: 2b838d8) — Miran / githubweb
  134. new test try for distribution (commit: d75d502) — Miran / githubweb
  135. Commit to rerun test (commit: c1cb81e) — Miran / githubweb
  136. Fix typo in CMake file (commit: 800bdd4) — Peter W. V. Tran-Jørgensen / githubweb
  137. Add -D_GNU_SOURCE flag to CMake file (commit: ea7c246) — Peter W. V. Tran-Jørgensen / githubweb
  138. Improved timing support for distribution tests (commit: 9b87b83) — Miran / githubweb
  139. Assert that FIFOs can be created and cleaned up afterwards. (commit: 6845516) — Miran / githubweb
  140. cleap up comments (commit: 522fa41) — Miran / githubweb
  141. Removed irrelevant comment (commit: 569fc2a) — Miran / githubweb
  142. Removed irrelevant comment (commit: 9336cc0) — Miran / githubweb
  143. Removed debug print from distribution test (commit: e7fb67d) — Miran / githubweb
  144. Clean up distribution tests (commit: 432c5ca) — Miran / githubweb
  145. Improve assert error message. (commit: 82cfe74) — Miran / githubweb

#344 (Oct 4, 2017 3:16:45 PM)

  1. Add release notes for version 0.1.16 (commit: 18598c8) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.16 (commit: 201ce5a) — Peter W. V. Tran-Jørgensen / githubweb

#343 (Oct 4, 2017 2:32:33 PM)

  1. Add -D_GNU_SOURCE flag to CMake file (commit: ea7c246) — Peter W. V. Tran-Jørgensen / githubweb

#342 (Oct 4, 2017 2:16:17 PM)

  1. Fix typo in CMake file (commit: 800bdd4) — Peter W. V. Tran-Jørgensen / githubweb

#341 (Oct 4, 2017 1:33:27 PM)

  1. Uncommented generation of individual system definition (commit: dc72732) — Miran / githubweb
  2. Changed the quote id generation from using name hashcode to using a (commit: 3abd921) — Miran / githubweb
  3. Initial work for generating system definition pr. cpu (commit: b888081) — Miran / githubweb
  4. Generate individual DM for each cpu (commit: aa62cc7) — Miran / githubweb
  5. Let counter start from one for each distributed object (commit: de58b91) — Miran / githubweb
  6. Fix minor problems introduced by the merge with vpb/development (commit: e5b43c9) — Miran / githubweb
  7. Initial work for dispatcher (commit: 3a80298) — Miran / githubweb
  8. Add new external node for creating the distribution map (commit: 8541984) — Miran / githubweb
  9. Generate the System architecture maps to string version (commit: a7571a4) — Miran / githubweb
  10. Initial work for bus dispatcher (commit: 3a7e706) — Miran / githubweb
  11. Generate the string version maps (commit: bce95d5) — Miran / githubweb
  12. Updated the testing node for distribution (commit: b63961f) — Miran / githubweb
  13. Add new parameter for the sendBus functionality (commit: 3852950) — Miran / githubweb
  14. Initial version of the GetRes functionality (commit: 5e6f11f) — Miran / githubweb
  15. Added flag for indicating if distribution generation is needed (commit: d9c6b47) — Miran / githubweb
  16. Minor update + additional comments (commit: 7c4a14d) — Miran / githubweb
  17. Updates for resolve call function distpacher (commit: f478d48) — Miran / githubweb
  18. Minor name fix (commit: fb1a871) — Miran / githubweb
  19. Use the correct object name (commit: 731c131) — Miran / githubweb
  20. get all classes used in the VDM-RT model (commit: 1067767) — Miran / githubweb
  21. Added the macro wrapper function used to resolve a remote call (commit: 833fbff) — Miran / githubweb
  22. Initial work for inheritance for distribution (commit: 62b9761) — Miran / githubweb
  23. Initial support for inheritance dispatching for distribution (commit: bf40b71) — Miran / githubweb
  24. Updated VDM library parts used for distribution (commit: c77ecd1) — Miran / githubweb
  25. Minor fixes (commit: 577cec8) — Miran / githubweb
  26. Comment distribtion parts for VDM lib out (commit: 977e074) — Miran / githubweb
  27. Updated distributed code generator to use the new interface (commit: bb9c1d7) — Miran / githubweb
  28. Added the distribution code generation as a command line argument (commit: cc06e39) — Miran / githubweb
  29. added local declaration of args (commit: a3a286a) — Miran / githubweb
  30. Added function call to statement of send_bus function (commit: b6ddb38) — Miran / githubweb
  31. Uncomment distribution addition in the vdm library (commit: 24b25d3) — Miran / githubweb
  32. Refactoring writeFile code (commit: 46da25f) — Miran / githubweb
  33. Minor updated of transformation used for testing (commit: b04e70c) — Miran / githubweb
  34. Use absolute path of output directory (commit: f0ad43f) — Miran / githubweb
  35. Initial test set up for distribution (only generate files) (commit: 9de1b8e) — Miran / githubweb
  36. Use overture formatter + either generate distribution or sequential (commit: 1932c2b) — Miran / githubweb
  37. Minor clean up (commit: c21ba75) — Miran / githubweb
  38. Added time limit for run during testing (commit: 1a655bf) — Miran / githubweb
  39. Add inclusion of the user specific header during run-time (commit: ff81edd) — Miran / githubweb
  40. Updated test1 and add run-time ressources (commit: 60790e3) — Miran / githubweb
  41. Minor updated to the include transformation (commit: 6f50661) — Miran / githubweb
  42. Run test with the executable and updated test resource for the main (commit: a1c8202) — Miran / githubweb
  43. ressources for cpu2 in test1 added (commit: f6e58a9) — Miran / githubweb
  44. Updated test to use the new resources for cpu2 (commit: f4050ae) — Miran / githubweb
  45. Added test for the system analysis generator (commit: 084a8ed) — Miran / githubweb
  46. Added test for distribution using ASN1 (commit: af789e2) — Miran / githubweb
  47. Add arguments to DIST_CALL macro using proper index numbers (commit: 3ff08da) — Miran / githubweb
  48. Added test of asn serialisation of arguments and return type (commit: cc7a746) — Miran / githubweb
  49. Fix to the generate send bus transformation, skip if there is no bus (commit: 4c7d12b) — Miran / githubweb
  50. Initial version of a Cpu init function (commit: 129805e) — Miran / githubweb
  51. Added test of correct assignment of cpu init functionality (commit: 880b66c) — Miran / githubweb
  52. Initial update of the runtime for the new distributed dispatching (commit: ebfcd36) — Miran / githubweb
  53. Removed unused automatically generated files (commit: 2d610bb) — Miran / githubweb
  54. New transformation for transforming a remote object representation using (commit: 8acebdd) — Miran / githubweb
  55. Use the remote object transformation, and do not use the specific ID and (commit: bf1bc85) — Miran / githubweb
  56. Updated tests to use the garbage collector (commit: 71217c4) — Miran / githubweb
  57. Added test for quotes and bool serialisation run-time (commit: de3f87f) — Miran / githubweb
  58. Minor fix with output testpath (commit: c080630) — Miran / githubweb
  59. Added IR notes used for the distributed code generator (commit: 8bfc1cd) — Miran / githubweb
  60. Minor fix for quotes serialization using ASN.1 (commit: 09ee5b5) — Miran / githubweb
  61. Improved test feedback for distributed test (commit: debf6da) — Miran / githubweb
  62. Updated additional test for garbage collector together with feedback. (commit: 2a50cd7) — Miran / githubweb
  63. Updated CMake configuration to use the automatically generated VDM (commit: 133e819) — Miran / githubweb
  64. Removed unsed files (commit: ff40f86) — Miran / githubweb
  65. Added check of classHeader type before casting (commit: 5dbba89) — Miran / githubweb
  66. Clean up and refactoring of the architecture analysis (commit: 79bcf56) — Miran / githubweb
  67. Clean up of distribution transformation series (commit: 13bf26b) — Miran / githubweb
  68. Refactoring of code, initial for method arguments (commit: a847a62) — Miran / githubweb
  69. Refactoring of identifier expressions (commit: 5e2d1ec) — Miran / githubweb
  70. Clean up code (commit: 1ec1546) — Miran / githubweb
  71. Refactoring and clean up of method for remote invocation handling (commit: 2eaaa65) — Miran / githubweb
  72. Clean up of distribution macro transformation (commit: e9f1630) — Miran / githubweb
  73. Minor code clean up of remote object transformarion (commit: 0cf20d2) — Miran / githubweb
  74. Refactoring and code clean up of class dispatcher function (commit: ee90e4b) — Miran / githubweb
  75. Removed unused imports (commit: 90e8bdb) — Miran / githubweb
  76. Clean up (commit: 7fb6d4f) — Miran / githubweb
  77. Removed unused comment (commit: e909542) — Miran / githubweb
  78. Remove time check (commit: 0188de0) — Peter W. V. Tran-Jørgensen / githubweb
  79. Added cmake functionality windows and linux in distribution tests (commit: 4c24356) — Miran / githubweb
  80. Detect cmake correctly across all platforms (commit: 6aadcd6) — Peter W. V. Tran-Jørgensen / githubweb
  81. Use absolute path to VDM lib during distribution testing (commit: 731fdaa) — Miran / githubweb
  82. Fix CMakeLists.txt files for ASN test (commit: d63dd97) — Peter W. V. Tran-Jørgensen / githubweb
  83. Updated CMake file to fix Linux problem (commit: 07a3e61) — Miran / githubweb
  84. Fix a problem with capital letter in path causing problems in Linux (commit: 5593364) — Miran / githubweb
  85. Fixed run-time de-serialization of a boolean value (commit: 4f2b52c) — Miran / githubweb
  86. Added automatic detection if distribution code generation is needed, and (commit: 8c1e3f6) — Miran / githubweb
  87. Moved the generation of files to the CGen instead of the CGenMain (commit: 7fa5f60) — Miran / githubweb
  88. Initial setup of Eclipse plug-in for the distribution support (commit: 3dc8bf9) — Miran / githubweb
  89. Generate the specific c files for each cpu (commit: 9124ba3) — Miran / githubweb
  90. Removed debug code (commit: 529bb1b) — Miran / githubweb
  91. Removed public static access, and use get/set functions instead (commit: c976062) — Miran / githubweb
  92. Clean up distribution merge (commit: ba47107) — Peter W. V. Tran-Jørgensen / githubweb
  93. Added sleep between cpu start up calls (commit: 3c5e466) — Miran / githubweb
  94. Changed to use get function instead of static reference (commit: f79561c) — Miran / githubweb
  95. update parameters of the emit main file function (commit: a030078) — Miran / githubweb
  96. Create a delay variable (commit: 0c3c620) — Miran / githubweb
  97. Try new delay for distributed tests (commit: e6edee2) — Miran / githubweb
  98. Set the daemon flag to false in order not to generate console output (commit: d4a3c90) — Miran / githubweb
  99. Filter out the extra nodes during distributed system analysis (commit: 5080775) — Miran / githubweb
  100. The first element of the DM is not long always true, since we use new (commit: 19c4355) — Miran / githubweb
  101. Improved support for dispatching to super classes (commit: 956f401) — Miran / githubweb
  102. Improve support for super class, and start using the first elemnet of DM (commit: 11047fc) — Miran / githubweb
  103. Use the first element of the DM (commit: 781da93) — Miran / githubweb
  104. Improved analysis of the BUS structure (commit: 2cf4f91) — Miran / githubweb
  105. Improved test timing for distribution tests (commit: db2aff4) — Miran / githubweb
  106. Allow to set distribution generation off using the cgen settings (commit: 9c3e8fc) — Miran / githubweb
  107. Update for the IDE for copying the distribution JAR (commit: efbbdf1) — Miran / githubweb
  108. Improved possible timing issues during distribution test execution (commit: 0868d3f) — Miran / githubweb
  109. Test update (commit: 5b9aab8) — Miran / githubweb
  110. Minor code formating (commit: b7791e3) — Miran / githubweb
  111. Add timing awareness for cpu1 during distribution tests (commit: b86d0ee) — Miran / githubweb
  112. Synchronize CPUs during distribution test using a file (commit: 4c72da2) — Miran / githubweb
  113. Updated distribution tests of initialization to use file (commit: d46dfd0) — Miran / githubweb
  114. Support generation of bus support functions (commit: d62d5b1) — Miran / githubweb
  115. Updated includes transformation together with new name for bus send (commit: 976716b) — Miran / githubweb
  116. removed unused files (commit: 2f78ac5) — Miran / githubweb
  117. removed unused files (reverted from commit (commit: ac20568) — Miran / githubweb
  118. Minor update to tests (commit: cd7978e) — Miran / githubweb
  119. Initial support for distribution run time from IDE (commit: 3dada75) — Miran / githubweb
  120. Clean Up (commit: ece3004) — Miran / githubweb
  121. Minor update for distribution tests (commit: 7c1594c) — Miran / githubweb
  122. Moved distribution library to separate maven project (commit: e240ce3) — Miran / githubweb
  123. Updated distribution library for C89 compliance (commit: 524d08d) — Miran / githubweb
  124. Changed distribution test to use FIFOs (commit: 552bf69) — Miran / githubweb
  125. Changed distribution tests to use FIFOs for communication (commit: 66861af) — Miran / githubweb
  126. Improvement of distribution tests timing (commit: dce9856) — Miran / githubweb
  127. kill subprocess of cpu2 after test (commit: 0a8af33) — Miran / githubweb
  128. only run one test of distribution (commit: 2b41cda) — Miran / githubweb
  129. Enable another test for distribution (commit: 44b31d3) — Miran / githubweb
  130. Updated IDE with better separation of code emission between distributed (commit: 2164ccd) — Miran / githubweb
  131. Do not run Quotes test (commit: 4d77c7f) — Miran / githubweb
  132. test new timing improvments for distributed tests (commit: 72feb0f) — Miran / githubweb
  133. Enable all test with new approach for timing (commit: 2b838d8) — Miran / githubweb
  134. new test try for distribution (commit: d75d502) — Miran / githubweb
  135. Commit to rerun test (commit: c1cb81e) — Miran / githubweb

#339 (Oct 3, 2017 11:32:17 AM)

  1. Fixes bug with setting correct buffer size in collections. (commit: aea50d8) — Victor Bandur / githubweb

#338 (Oct 2, 2017 11:56:00 AM)

  1. -  Increased coverage of basic precondition checks on map and sequence (commit: b8809e5) — Victor Bandur / githubweb

#336 (Sep 18, 2017 5:32:12 PM)

  1. [maven-release-plugin] prepare release Release/0.1.14 (commit: 0443ee8) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 173e4de) — jenkins / githubweb

#335 (Sep 18, 2017 3:37:22 PM)

  1. Add version 0.1.14 release notes (commit: 01cf786) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.14 (commit: ccb6357) — Peter W. V. Tran-Jørgensen / githubweb

#334 (Sep 18, 2017 1:35:17 PM)

  1. Require Overture 2.5.2 (commit: 15db4d1) — Peter W. V. Tran-Jørgensen / githubweb

#333 (Sep 12, 2017 3:22:15 PM)

  1. Require Overture 2.5.0 (commit: 0809a87) — Peter W. V. Tran-Jørgensen / githubweb

#332 (Sep 11, 2017 1:39:04 PM)

  1. [maven-release-plugin] prepare release Release/0.1.12 (commit: bdecc49) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: b272af8) — jenkins / githubweb

#331 (Sep 11, 2017 12:40:56 PM)

  1. Add VDM2C 0.1.12 release notes (commit: 72431c0) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.12 (commit: ea79879) — Peter W. V. Tran-Jørgensen / githubweb

#330 (Sep 8, 2017 3:25:48 PM)

  1. -  Removing variable length arrays to accommodate the Visual C compiler. (commit: 996840b) — Victor Bandur / githubweb

#329 (Aug 30, 2017 9:19:09 AM)

  1. Build against Overture 2.5.0 (commit: 78906f4) — Peter W. V. Tran-Jørgensen / githubweb

#328 (Aug 10, 2017 4:53:22 PM)

  1. [maven-release-plugin] prepare release Release/0.1.10 (commit: b9b6734) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: fcf14df) — jenkins / githubweb

#327 (Aug 10, 2017 4:17:18 PM)

  1. Add version 0.1.10 release notes (commit: ea8945a) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of version 0.1.10 (commit: 1042bee) — Peter W. V. Tran-Jørgensen / githubweb

#326 (Aug 9, 2017 11:48:43 AM)

  1. Address misnomer, rename newMapVarToGrow to newMapVar #106 (commit: e6209c2) — Peter W. V. Tran-Jørgensen / githubweb

#325 (Aug 9, 2017 11:36:38 AM)

  1. Add runtime support for sequence modifications (explicit version) (commit: eca88dd) — Peter W. V. Tran-Jørgensen / githubweb
  2. Allowing maps when sequences are used due to sequence modification. (commit: 9f71149) — Victor Bandur / githubweb
  3. -  Formatting. -  Addresses #107. (commit: 1a60b49) — Victor Bandur / githubweb
  4. -  Garbage collection version of sequence modification. -  Addresses (commit: 54bd388) — Victor Bandur / githubweb
  5. Update the generator to support sequence modifications (commit: e1fb95e) — Peter W. V. Tran-Jørgensen / githubweb

#323 (Aug 4, 2017 12:00:36 PM)

  1. -  Fix collection grow issue for sets. -  Addresses #106. (commit: 64aab0d) — Victor Bandur / githubweb

#322 (Jul 20, 2017 4:17:23 PM)

  1. Guard against non-existing super headers (commit: c075ad0) — Peter W. V. Tran-Jørgensen / githubweb

#321 (Jul 10, 2017 2:23:10 PM)

  1. Set log level to ERROR (commit: 00dcdf5) — Peter W. V. Tran-Jørgensen / githubweb

#320 (Jul 6, 2017 1:28:49 PM)

  1. Strict comparison for NULL values. (commit: 0e0baba) — Victor Bandur / githubweb

#318 (Jul 1, 2017 10:44:13 PM)

  1. [maven-release-plugin] prepare release Release/0.1.8 (commit: 793acc6) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: a7015f1) — jenkins / githubweb

#317 (Jul 1, 2017 10:13:40 PM)

  1. Add VDM2C 0.1.8 release notes (commit: 90aab6c) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.8 (commit: d9fe912) — Peter W. V. Tran-Jørgensen / githubweb

#316 (Jun 30, 2017 10:50:15 AM)

  1. Update runtime to support more function/operation arguments (commit: 9b654b0) — Peter W. V. Tran-Jørgensen / githubweb

#315 (Jun 29, 2017 2:19:33 PM)

  1. Fix grow mechanism for sequences #106 (commit: f591a3c) — Peter W. V. Tran-Jørgensen / githubweb

#314 (Jun 28, 2017 3:16:13 PM)

  1. New translation of 'nil' (commit: aa73745) — Peter W. V. Tran-Jørgensen / githubweb

#313 (Jun 22, 2017 10:11:16 AM)

  1. Fix records value semantics bug (commit: ba84d4c) — Peter W. V. Tran-Jørgensen / githubweb

#312 (Jun 19, 2017 2:29:09 PM)

  1. Ignore IntelliJ metadata (commit: 2b95ac9) — Peter W. V. Tran-Jørgensen / githubweb

#311 (Jun 13, 2017 2:29:08 PM)

  1. Fix issue with for-index loops (commit: b19f1b4) — Peter W. V. Tran-Jørgensen / githubweb

#310 (Jun 12, 2017 5:03:57 PM)

  1. Add 'numFields' in the IR (commit: 2ff6056) — Peter W. V. Tran-Jørgensen / githubweb

#309 (Jun 9, 2017 11:39:02 AM)

  1. Fix issue with factorial implementation (commit: b31c5a1) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add missing MATH lib test (commit: 4a0049d) — Peter W. V. Tran-Jørgensen / githubweb
  3. Update CMakeList file for gcc6 (commit: 79297bb) — Peter W. V. Tran-Jørgensen / githubweb

#308 (Jun 8, 2017 5:25:43 PM)

  1. -  Not using GC-aware assignments in class fields. -  Addresses #89. (commit: 05cd099) — Victor Bandur / githubweb

#307 (Jun 8, 2017 3:46:31 PM)

  1. Don't emit SET_FIELD_PTR_GC (it's not needed) (commit: 92ad6f7) — Peter W. V. Tran-Jørgensen / githubweb
  2. Don't emit SET_FIELD_GC (it's not needed) (commit: 622518c) — Peter W. V. Tran-Jørgensen / githubweb

#306 (Jun 7, 2017 1:57:51 PM)

  1. Add pacemaker model sources #100 (commit: 1dc4030) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add VDMPP version of bubble sort #100 (commit: 82f87fd) — Peter W. V. Tran-Jørgensen / githubweb
  3. Check that all paper examples code-generate and compile #100 (commit: 1478c4e) — Peter W. V. Tran-Jørgensen / githubweb
  4. Only include TypedValue.h in paper examples extension points (commit: d49375b) — Peter W. V. Tran-Jørgensen / githubweb

#305 (Jun 7, 2017 12:08:56 PM)

  1. Cleanup Jenkinsfile syntax (commit: 85fb994) — Peter W. V. Tran-Jørgensen / githubweb

#304 (Jun 2, 2017 9:37:44 PM)

  1. Don't set commit status explicitly (commit: 83f7641) — Peter W. V. Tran-Jørgensen / githubweb

#303 (Jun 2, 2017 7:08:20 PM)

  1. -  Another segfault bugfix. -  AlarmPP model now can be inspected using (commit: a29ce89) — Victor Bandur / githubweb

#302 (Jun 2, 2017 3:46:00 PM)

  1. -  Fixed critical bug causing non-reproducible crashes in the garbage (commit: 99fe928) — Victor Bandur / githubweb

#301 (Jun 2, 2017 2:13:03 PM)

  1. Omit address of result variable in GC calls (commit: 1360f1b) — Peter W. V. Tran-Jørgensen / githubweb

#300 (Jun 2, 2017 12:02:33 PM)

  1. -  Removed GLib dependency, not used at all. -  Addresses #89. (commit: 27640a3) — Victor Bandur / githubweb
  2. -  New implementation of maps. -  Addresses #89. (commit: 0014ec7) — Victor Bandur / githubweb

#299 (Jun 1, 2017 2:43:36 PM)

  1. Assertions for memory allocations and reallocations. (commit: 9a30e66) — Victor Bandur / githubweb
  2. Adding assert statements for memory allocations and reallocations. (commit: 433e7c2) — Victor Bandur / githubweb
  3. Adding assert statement for memory allocation. (commit: b2caf0d) — Victor Bandur / githubweb
  4. Adding assert statements for memory allocations. (commit: 835dc90) — Victor Bandur / githubweb
  5. Adding assert statements for memory allocations and moves. (commit: 87f86ac) — Victor Bandur / githubweb

#298 (May 31, 2017 4:07:44 PM)

  1. Wipe workspace after running build (commit: fc16667) — Peter W. V. Tran-Jørgensen / githubweb
  2. Move workspace cleanup to 'finally' clause (commit: 8da6978) — Peter W. V. Tran-Jørgensen / githubweb

#297 (May 29, 2017 4:29:15 PM)

  1. Update RT transformation to replace RT nodes with empty blocks (commit: 81100c0) — Peter W. V. Tran-Jørgensen / githubweb

#296 (May 29, 2017 3:23:24 PM)

  1. -  Inserting assertions for memory allocation failures. -  Addresses (commit: d5a6ac0) — Victor Bandur / githubweb

#295 (May 16, 2017 11:48:07 AM)

  1. -  Improvements to GLib-based map implementation. -  Addresses #89. (commit: 8bb730b) — Victor Bandur / githubweb

#294 (May 15, 2017 1:21:28 PM)

  1. Cleanup. (commit: e0a2a9a) — Victor Bandur / githubweb
  2. -  Fixed memory leak with sets. -  Rearranged failing test. (commit: 4c94c0e) — Victor Bandur / githubweb
  3. Emit default constructor for records to support ASN1 work (commit: 0688f88) — Peter W. V. Tran-Jørgensen / githubweb

#293 (May 11, 2017 1:59:15 PM)

  1. -  Fixed memory leak in sets. -  Addresses #89. (commit: 0d35a8e) — Victor Bandur / githubweb

#292 (May 10, 2017 6:16:39 PM)

  1. -  Fixed memory leak in maps. -  Addresses #89. (commit: 654762d) — Victor Bandur / githubweb
  2. -  Fixed memory leak in sets. -  Addresses #89. (commit: e237d81) — Victor Bandur / githubweb
  3. -  Reverted memory leak fix in sets as it does not appear with generated (commit: 1a9e6e0) — Victor Bandur / githubweb

#291 (May 10, 2017 3:58:08 PM)

  1. Fix issue with include directives in main.c (commit: b0861b3) — Peter W. V. Tran-Jørgensen / githubweb

#290 (May 8, 2017 7:29:29 PM)

  1. Include identifier state designators in header analysis (commit: 643435f) — Peter W. V. Tran-Jørgensen / githubweb

#289 (May 5, 2017 5:19:00 PM)

  1. Fix another issue with nested operation calls (commit: 2a8c3b8) — Peter W. V. Tran-Jørgensen / githubweb

#288 (May 4, 2017 11:20:11 PM)

  1. Fix issue nested operation calls (commit: 3fc3aef) — Peter W. V. Tran-Jørgensen / githubweb

#287 (May 4, 2017 4:30:04 PM)

  1. -  Further improvements to sequence growing mechanisms. -  Addresses (commit: 389434b) — Victor Bandur / githubweb

#286 (May 4, 2017 4:00:05 PM)

  1. Reverting accidental inclusion of testing code. (commit: ae00b9a) — Victor Bandur / githubweb

#285 (May 4, 2017 3:56:41 PM)

  1. Only merge statement blocks when it's safe to do so (commit: aec691d) — Peter W. V. Tran-Jørgensen / githubweb

#284 (May 4, 2017 3:54:13 PM)

  1. Expanded to accommodate up to six function and operation call (commit: 9fe602c) — Victor Bandur / githubweb

#283 (May 4, 2017 2:21:39 PM)

  1. Fix for compatibility with FMU exporter. (commit: b8f48af) — Victor Bandur / githubweb
  2. -  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses (commit: fa76ed3) — Victor Bandur / githubweb
  3. -  Eliminated compilation warning  due to parentheses. (commit: 6c54ec7) — Victor Bandur / githubweb

#282 (May 4, 2017 1:56:17 PM)

  1. Fix field look-up in FieldReadToFieldGetMacroTrans (commit: 8825ab3) — Peter W. V. Tran-Jørgensen / githubweb

#281 (May 4, 2017 12:31:33 PM)

  1. Fix issue with CallRewriteTrans (commit: 0d48757) — Peter W. V. Tran-Jørgensen / githubweb

#280 (May 4, 2017 11:55:35 AM)

  1. -  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90. (commit: eb2e5c8) — Victor Bandur / githubweb

#279 (May 4, 2017 10:58:11 AM)

  1. -  Added cleaning phase for runtime library to Maven build cycle. - (commit: 437654b) — Victor Bandur / githubweb

#278 (May 3, 2017 12:59:26 PM)

  1. Fix imports (commit: 37694f9) — Peter W. V. Tran-Jørgensen / githubweb

#277 (May 3, 2017 12:57:09 PM)

  1. Update runtime to support a larger number of function arguments (commit: 3acd03c) — Peter W. V. Tran-Jørgensen / githubweb
  2. Assume that the address is passed to SELF_GC (commit: 266d21a) — Peter W. V. Tran-Jørgensen / githubweb
  3. Clean up PaperExampleTests (commit: 331ddc6) — Peter W. V. Tran-Jørgensen / githubweb

#276 (May 3, 2017 11:31:58 AM)

  1. Add paper example tests (commit: 6183022) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add AlarmPP example sources for testing (commit: d9db3eb) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add CashDispenserPP model for future testing (commit: a9853d8) — Peter W. V. Tran-Jørgensen / githubweb

#275 (May 2, 2017 2:47:31 PM)

  1. Support map comprehensions (commit: 6ec1df8) — Peter W. V. Tran-Jørgensen / githubweb
  2. Test map comprehensions (commit: 0fd4ada) — Peter W. V. Tran-Jørgensen / githubweb

#274 (May 2, 2017 10:44:52 AM)

  1. Mention VDM2C documentation (commit: 400f9f3) — noreply / githubweb

#273 (May 2, 2017 10:40:56 AM)

  1. Mention that the generated code is C89 compliant (commit: 539b0be) — noreply / githubweb

#272 (May 2, 2017 9:48:27 AM)

  1. Fix issue with 'new' expression transformation (commit: 6264595) — Peter W. V. Tran-Jørgensen / githubweb

#271 (May 2, 2017 9:34:06 AM)

  1. Fix issue with for loop transformation (commit: 9ab2b34) — Peter W. V. Tran-Jørgensen / githubweb

#269 (May 1, 2017 2:55:18 PM)

  1. [maven-release-plugin] prepare release Release/0.1.6 (commit: 041e3b4) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 5ce47f0) — jenkins / githubweb

#268 (May 1, 2017 2:27:12 PM)

  1. Add release notes for version 0.1.6 (commit: 04241f5) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C version 0.1.6 (commit: 819d0fb) — Peter W. V. Tran-Jørgensen / githubweb

#267 (May 1, 2017 10:56:15 AM)

  1. Make generated code C89 compliant (commit: 86a2ec3) — Peter W. V. Tran-Jørgensen / githubweb

#266 (Apr 28, 2017 4:09:02 PM)

  1. -  Including VdmRecord.h in Vdm.h. -  Addresses #21 (commit: 2f0e477) — Victor Bandur / githubweb

#265 (Apr 27, 2017 4:51:47 PM)

  1. -  Changing comments to C89 style. -  Addresses #91. (commit: f37e173) — Victor Bandur / githubweb
  2. Accounting for CUSTOM_IO definition in FMU export. (commit: 9f6e6e9) — Victor Bandur / githubweb

#263 (Apr 27, 2017 2:45:39 PM)

  1. Add missing 'clone' call (commit: e82caef) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add missing type to constructor call (commit: c68626a) — Peter W. V. Tran-Jørgensen / githubweb
  3. Approximate macro expression type (commit: 4b9b64c) — Peter W. V. Tran-Jørgensen / githubweb

#262 (Apr 26, 2017 3:18:10 PM)

  1. -  Further C89 improvements in runtime library. -  Addresses #91. (commit: c5eaafb) — Victor Bandur / githubweb
  2. -  CMakeLists.txt file for generator tests now forces C99 dialect. - (commit: 6515660) — Victor Bandur / githubweb

#261 (Apr 26, 2017 10:33:08 AM)

  1. Support map overrides, the '++' operator (no GC) (commit: e44dc8e) — Peter W. V. Tran-Jørgensen / githubweb
  2. Support distributed map merge, the 'merge' operator (no GC) (commit: 93ab0dd) — Peter W. V. Tran-Jørgensen / githubweb
  3. Support distributed map-domain-restrict-to operator (no GC) (commit: 300ec96) — Peter W. V. Tran-Jørgensen / githubweb
  4. Support map-domain-restrict-by operator (no GC) (commit: d879f15) — Peter W. V. Tran-Jørgensen / githubweb
  5. Change argument order for map-range operators (commit: 8fe1a6f) — Peter W. V. Tran-Jørgensen / githubweb
  6. Support map-range-restrict-to operator (no GC) (commit: b0a7714) — Peter W. V. Tran-Jørgensen / githubweb
  7. Support map-range-restrict-by operator (no GC) (commit: 895669a) — Peter W. V. Tran-Jørgensen / githubweb
  8. Remove TODO that does not really apply anymore (commit: b368492) — Peter W. V. Tran-Jørgensen / githubweb
  9. Add GC support for map override (commit: 54d491f) — Peter W. V. Tran-Jørgensen / githubweb
  10. Add GC support for distributed merge (commit: 225c399) — Peter W. V. Tran-Jørgensen / githubweb
  11. Add GC support for map-dom-restrict-to (commit: 5490580) — Peter W. V. Tran-Jørgensen / githubweb
  12. Add GC support for map-dom-resrict-by (commit: ca432ec) — Peter W. V. Tran-Jørgensen / githubweb
  13. Add GC support for map-range-restrict-to (commit: db77314) — Peter W. V. Tran-Jørgensen / githubweb
  14. Add GC support for map-restrict-range-by (commit: 496a755) — Peter W. V. Tran-Jørgensen / githubweb

#260 (Apr 25, 2017 5:09:38 PM)

  1. -  Made runtime library code C99-compliant. -  Addresses #91. (commit: de50c4c) — Victor Bandur / githubweb

#259 (Apr 21, 2017 2:14:41 PM)

  1. Reverted "Cleanup" commit causing failure on build server. (commit: dfa0abc) — Victor Bandur / githubweb

#258 (Apr 21, 2017 12:11:44 PM)

  1. Cleanup. (commit: 13535ff) — Victor Bandur / githubweb

#257 (Apr 21, 2017 11:00:04 AM)

  1. Add GC support for 'elems' (commit: 8f86b40) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add GC support for 'inds' (commit: 74b0bff) — Peter W. V. Tran-Jørgensen / githubweb

#256 (Apr 21, 2017 9:52:58 AM)

  1. Don't pass addresses of "return" variables to garbage collector (commit: b326837) — Peter W. V. Tran-Jørgensen / githubweb

#255 (Apr 19, 2017 7:34:44 PM)

  1. Add GC support for 'newSetVarToGrowGC' (commit: bc9c0d8) — Peter W. V. Tran-Jørgensen / githubweb

#254 (Apr 19, 2017 7:20:48 PM)

  1. -  Improvement to GC stack variable interference detection mechanism. - (commit: ff98aad) — Victor Bandur / githubweb

#253 (Apr 19, 2017 5:19:46 PM)

  1. -  Fix for vdmSetVarToGrowGC crash. -  Addresses #87. (commit: 2544afa) — Victor Bandur / githubweb

#252 (Apr 19, 2017 12:30:12 PM)

  1. -  Enabled compiler warnings in runtime library. -  Cleanup based on (commit: 9d24af6) — Victor Bandur / githubweb
  2. Enabled compiler warnings in generated code CMake file. (commit: 9d0e186) — Victor Bandur / githubweb

#250 (Apr 18, 2017 6:40:22 PM)

  1. Add GC support for map look-ups (commit: c525cdb) — Peter W. V. Tran-Jørgensen / githubweb
  2. Convert tuple expressions to apply expressions (commit: 6c213d4) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add GC support for tuple expressions (commit: c0ec89f) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for tuple field access (commit: eadaf8d) — Peter W. V. Tran-Jørgensen / githubweb
  5. Run value type tests with GC enabled (commit: d5c1605) — Peter W. V. Tran-Jørgensen / githubweb

#249 (Apr 18, 2017 5:29:41 PM)

  1. -  Modifications and test for GC support for sets. -  Addresses #87. (commit: e1891e9) — Victor Bandur / githubweb

#248 (Apr 18, 2017 3:05:30 PM)

  1. -  GC support for newSetVarToGrow. -  Addresses #87. (commit: df6fb64) — Victor Bandur / githubweb

#247 (Apr 17, 2017 9:14:37 PM)

  1. -  Set clone test in accordance with observation on generated AlarmPP (commit: 1f2e216) — Victor Bandur / githubweb

#246 (Apr 17, 2017 7:34:53 PM)

  1. -  Fixed memory leak in maps. -  Addresses #87. (commit: 4145e1a) — Victor Bandur / githubweb

#245 (Apr 16, 2017 4:37:02 PM)

  1. Mechanism that detects interference with current stack frame variables (commit: b6c0f50) — Victor Bandur / githubweb

#244 (Apr 13, 2017 5:25:49 PM)

  1. Fix in vdmSetGrow in accordance with errors from valgrind. (commit: bf6d499) — Victor Bandur / githubweb

#243 (Apr 10, 2017 5:01:11 PM)

  1. Conditionally excluding PrettyPrint. (commit: f9686ce) — Victor Bandur / githubweb

#242 (Apr 10, 2017 3:54:27 PM)

  1. Interface cleanup for sets. (commit: 60b69d1) — Victor Bandur / githubweb
  2. -  Interface cleanup for maps in runtime library. -  Addresses #87. (commit: 8b98bb1) — Victor Bandur / githubweb
  3. -  Interface cleanup for products in runtime library. -  Addresses #87. (commit: de43384) — Victor Bandur / githubweb

#241 (Apr 10, 2017 12:51:57 PM)

  1. Interface cleanup in runtime library for sequences. (commit: e585d76) — Victor Bandur / githubweb

#239 (Apr 10, 2017 7:49:34 AM)

  1. Add GC support for map enumerations (commit: d2bca85) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add GC support for 'dom' (commit: e99c87f) — Peter W. V. Tran-Jørgensen / githubweb
  3. Fix handling of 'newMapVarToGrowGC' (commit: 28d3445) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for 'rng' (commit: 0fabfdf) — Peter W. V. Tran-Jørgensen / githubweb
  5. Clean up imports (commit: 4bfacd3) — Peter W. V. Tran-Jørgensen / githubweb
  6. Add GC support for 'munion' (commit: e48c1f8) — Peter W. V. Tran-Jørgensen / githubweb
  7. Fix map enumerations, GC version (commit: f3e204a) — Peter W. V. Tran-Jørgensen / githubweb

#238 (Apr 9, 2017 10:39:10 PM)

  1. Add GC support for vdmSetElementAt (used by CForIterator) (commit: 88a7810) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add GC support for 'in set' (commit: 3e81416) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add GC support for 'union' (commit: ea6cb15) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for 'inter' (commit: 2f95fe0) — Peter W. V. Tran-Jørgensen / githubweb
  5. Add GC support for '\' (set difference) (commit: 7010cd2) — Peter W. V. Tran-Jørgensen / githubweb
  6. Add GC support for 'subset' (commit: 0a04908) — Peter W. V. Tran-Jørgensen / githubweb
  7. Add GC support for 'psubset' (commit: fce0830) — Peter W. V. Tran-Jørgensen / githubweb
  8. Add GC support for 'card' (commit: 5818e25) — Peter W. V. Tran-Jørgensen / githubweb
  9. Add GC support for 'dunion' (commit: 32066ad) — Peter W. V. Tran-Jørgensen / githubweb
  10. Add GC support for 'dinter' (commit: 3b1f124) — Peter W. V. Tran-Jørgensen / githubweb
  11. Add GC support for 'power' (commit: 7c5820e) — Peter W. V. Tran-Jørgensen / githubweb

#237 (Apr 7, 2017 10:08:19 PM)

  1. Refactor collection enumeration transformation (commit: 72b8396) — Peter W. V. Tran-Jørgensen / githubweb
  2. Transform set enumerations to apply expressions (commit: 0fcdbb7) — Peter W. V. Tran-Jørgensen / githubweb
  3. Update garbage collection transformation to handle newSetVar (commit: 9d49848) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add GC support for 'tl' (commit: 2064950) — Peter W. V. Tran-Jørgensen / githubweb
  5. Add GC support for 'len' (commit: d981474) — Peter W. V. Tran-Jørgensen / githubweb
  6. Add GC support for 'hd' (commit: 97ed134) — Peter W. V. Tran-Jørgensen / githubweb
  7. Add GC support for sequence concatenation (commit: c79e4d4) — Peter W. V. Tran-Jørgensen / githubweb
  8. Add GC support for 'reverse' (commit: f4163ce) — Peter W. V. Tran-Jørgensen / githubweb
  9. Clean up apply template (commit: da9a847) — Peter W. V. Tran-Jørgensen / githubweb
  10. Add GC support for sequence look-up (commit: c4c5cf1) — Peter W. V. Tran-Jørgensen / githubweb

#236 (Apr 7, 2017 5:28:10 PM)

  1. -  Pretty printing support for products (tuples). -  Addresses #88. (commit: 2e4c9a8) — Victor Bandur / githubweb

#235 (Apr 7, 2017 4:52:31 PM)

  1. Eliminated some compiler warnings related to const qualifiers on (commit: fc9444a) — Victor Bandur / githubweb
  2. -  GC interface for products. -  Addresses #87. (commit: 12c2803) — Victor Bandur / githubweb

#234 (Apr 7, 2017 3:50:59 PM)

  1. -  Missing declarations. -  Fix for mismatched va_arg. (commit: 8fea1bb) — Victor Bandur / githubweb
  2. -  Memory leak fixes for maps. -  Addresses # 87. (commit: d6a6cc8) — Victor Bandur / githubweb

#233 (Apr 6, 2017 5:54:48 PM)

  1. WIP GC support for maps in runtime library. (commit: 392cfbe) — Victor Bandur / githubweb
  2. WIP GC support for maps. -  GC interface for implemented. -  vdmFree (commit: 37f476f) — Victor Bandur / githubweb
  3. WIP GC support for maps. -  vdmClone implemented. (commit: 923dbf3) — Victor Bandur / githubweb
  4. Initial complete GC support for maps for non-GLib hash table branch. (commit: 84167d6) — Victor Bandur / githubweb
  5. WIP GC support for maps with GLib hash table implementation. (commit: 3cbb880) — Victor Bandur / githubweb
  6. GC support for newMapVarToGrow. (commit: 4b58c73) — Victor Bandur / githubweb

#231 (Apr 5, 2017 8:10:19 PM)

  1. Print C output folder as the last step (commit: 926f70e) — Peter W. V. Tran-Jørgensen / githubweb
  2. Change NameMangler to not report errors for unsupported types (commit: 12c9ad0) — Peter W. V. Tran-Jørgensen / githubweb
  3. Remove header files if the corresponding C sources cannot be generated (commit: 5856843) — Peter W. V. Tran-Jørgensen / githubweb
  4. Ensure folder structure when file is emitted (commit: 6b2c523) — Peter W. V. Tran-Jørgensen / githubweb

#230 (Apr 5, 2017 1:30:35 PM)

  1. WIP GC support for sets. (commit: 658532b) — Victor Bandur / githubweb
  2. Head file cleanup. (commit: 391b58a) — Victor Bandur / githubweb
  3. Added set-valued functions. (commit: 145817a) — Victor Bandur / githubweb

#228 (Apr 4, 2017 1:18:21 PM)

  1. Remove declaration templates that are not used (commit: 8e90c39) — Peter W. V. Tran-Jørgensen / githubweb
  2. Clean up expression templates (commit: d222426) — Peter W. V. Tran-Jørgensen / githubweb
  3. Clean up statement templates (commit: 57bd381) — Peter W. V. Tran-Jørgensen / githubweb
  4. Clean up type templates (commit: a2dbc3a) — Peter W. V. Tran-Jørgensen / githubweb

#227 (Apr 4, 2017 11:07:35 AM)

  1. Remove redundant test (commit: 25602a1) — Peter W. V. Tran-Jørgensen / githubweb
  2. Remove test code that is not used anymore (commit: 40ae418) — Peter W. V. Tran-Jørgensen / githubweb
  3. Ensure that test models are type correct (commit: 86cb93e) — Peter W. V. Tran-Jørgensen / githubweb

#225 (Apr 3, 2017 2:19:54 PM)

  1. Convert sequence enumerations to apply expressions (commit: 9122165) — Peter W. V. Tran-Jørgensen / githubweb
  2. Update garbage collection transformation to handle sequences (commit: 965b6b4) — Peter W. V. Tran-Jørgensen / githubweb

#224 (Apr 3, 2017 12:46:50 PM)

  1. Initial runtime support for creation of GC compatible sequences. (commit: 04f0ea5) — Victor Bandur / githubweb
  2. -  Almost complete support for GC-compatible sequences. -  Missing (commit: 1bac239) — Victor Bandur / githubweb

#222 (Mar 31, 2017 4:44:17 PM)

  1. Test code-generation of tokens (commit: 05c5055) — Peter W. V. Tran-Jørgensen / githubweb

#221 (Mar 31, 2017 3:24:20 PM)

  1. Update VDM2C CLI to accept VDM++ files (commit: 52c71f8) — Peter W. V. Tran-Jørgensen / githubweb
  2. Update test file filter (commit: 443fddf) — Peter W. V. Tran-Jørgensen / githubweb

#220 (Mar 31, 2017 1:22:48 PM)

  1. Conditionally including ctype.h for use in CSV library. (commit: be21520) — Victor Bandur / githubweb
  2. Code cleanup. (commit: 70683e4) — Victor Bandur / githubweb
  3. Noticed and fixed bug that allocated a lot more memory than necessary (commit: fa3e128) — Victor Bandur / githubweb
  4. Factored out unpackstring utility function for use with token types. (commit: 7c8f77d) — Victor Bandur / githubweb
  5. WIP adding token type support. (commit: 0da16de) — Victor Bandur / githubweb
  6. WIP support for token types. (commit: 4f8e71f) — Victor Bandur / githubweb
  7. Runtime library support for token types. (commit: 68883d0) — Victor Bandur / githubweb

#219 (Mar 31, 2017 9:20:51 AM)

  1. Pass 'this' to field initialisers (commit: 52ae1b8) — Peter W. V. Tran-Jørgensen / githubweb

#218 (Mar 30, 2017 2:11:48 PM)

  1. Move bool conversion to comprehension strategies (commit: e6571f9) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add support for forall (quantified) expressions (commit: 16ce987) — Peter W. V. Tran-Jørgensen / githubweb
  3. Test translation of forall (quantified expressions) (commit: c99cf60) — Peter W. V. Tran-Jørgensen / githubweb
  4. Support 'exists' quantified expressions (commit: 475ab28) — Peter W. V. Tran-Jørgensen / githubweb
  5. More testing of 'forall' and 'exists' (commit: 77af864) — Peter W. V. Tran-Jørgensen / githubweb

#217 (Mar 30, 2017 10:10:36 AM)

  1. Convert tokens to apply expressions (commit: aa52ae6) — Peter W. V. Tran-Jørgensen / githubweb
  2. Update garbage collection transformation to handle tokens (commit: 23a77c2) — Peter W. V. Tran-Jørgensen / githubweb
  3. Fix handling of token values in literal transformation (commit: 0298ce1) — Peter W. V. Tran-Jørgensen / githubweb

#216 (Mar 29, 2017 3:21:40 PM)

  1. Refactor test code (commit: d606c7b) — Peter W. V. Tran-Jørgensen / githubweb
  2. Mangle token types (commit: 1f170f2) — Peter W. V. Tran-Jørgensen / githubweb
  3. Update CompatibleMethodCollector to handle pre and postcondition (commit: fd9a73f) — Peter W. V. Tran-Jørgensen / githubweb
  4. Remove packaging phase from Jenkinsfile (commit: e705751) — Peter W. V. Tran-Jørgensen / githubweb

#215 (Mar 28, 2017 4:30:50 PM)

  1. Update to CMake file with respect to including VdmModelFeatures.h file. (commit: 1f0e799) — Victor Bandur / githubweb

#213 (Mar 17, 2017 5:32:47 PM)

  1. [maven-release-plugin] prepare release Release/0.1.4 (commit: 9b4a56a) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 49a0327) — jenkins / githubweb

#212 (Mar 17, 2017 4:55:41 PM)

  1. Add VDM2C 0.1.4 release notes (commit: d623266) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.4 (commit: 0fb05ec) — Peter W. V. Tran-Jørgensen / githubweb

#211 (Mar 14, 2017 2:41:09 PM)

  1. Reverted mistakenly commented out CALL_FUNC macro definition using (commit: 8890910) — Victor Bandur / githubweb

#210 (Mar 10, 2017 12:03:13 PM)

  1. README corrections (commit: 68c1c89) — noreply / githubweb

#209 (Mar 10, 2017 11:48:30 AM)

  1. Add build status (commit: a055c43) — noreply / githubweb

#208 (Mar 10, 2017 11:31:51 AM)

  1. Clean up README (commit: 6200c72) — noreply / githubweb

#207 (Mar 10, 2017 11:28:15 AM)

  1. Update README to mention important wiki pages (commit: 9e86078) — noreply / githubweb

#205 (Mar 10, 2017 10:42:43 AM)

  1. [maven-release-plugin] prepare release Release/0.1.2 (commit: b9e7315) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 32f0ab3) — jenkins / githubweb

#204 (Mar 10, 2017 10:09:49 AM)

  1. Add VDM2C 0.1.2 release notes (commit: 2ac3854) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.1.2 (commit: 805e78f) — Peter W. V. Tran-Jørgensen / githubweb

#203 (Mar 8, 2017 3:20:45 PM)

  1. Making global variable for resources location available also when the (commit: 38eb99a) — Victor Bandur / githubweb

#202 (Mar 6, 2017 3:19:20 PM)

  1. Fix for "comparision to string literal" warning on ATMega128. (commit: f84d301) — Victor Bandur / githubweb

#200 (Mar 3, 2017 3:02:15 PM)

  1. [maven-release-plugin] prepare release Release/0.1.0 (commit: 9ce2e1b) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: cc30967) — jenkins / githubweb

#199 (Mar 3, 2017 1:44:07 PM)

  1. Add VDM2C version number to generated code (commit: 46c077b) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add VDM2C version 0.1.0 release notes (commit: d33f354) — Peter W. V. Tran-Jørgensen / githubweb
  3. Prepare release of VDM2C 0.1.0 (commit: c91fa6d) — Peter W. V. Tran-Jørgensen / githubweb

#198 (Mar 2, 2017 5:14:39 PM)

  1. Fixed CSV library to read resource files properly, whether in (commit: c659047) — Victor Bandur / githubweb

#197 (Mar 1, 2017 6:55:12 PM)

  1. Some cleanup based on pedantic warnings from the compiler during the (commit: 5b9f590) — Victor Bandur / githubweb
  2. Fix pointer comparison in mechanism that delays reclamation in case of (commit: 99f34db) — Victor Bandur / githubweb

#196 (Feb 28, 2017 3:42:34 PM)

  1. Remove unused include time.h. (commit: ab61b8c) — Victor Bandur / githubweb

#195 (Feb 28, 2017 2:18:00 PM)

  1. Porting over garbage collector from LFR repository. (commit: 7896642) — Victor Bandur / githubweb
  2. Adding GC interface to basic value creators. (commit: b2e9ec9) — Victor Bandur / githubweb
  3. GC version of vdmSum. (commit: db1e783) — Victor Bandur / githubweb
  4. Warning fixes. (commit: f85a165) — Victor Bandur / githubweb
  5. Garbage collected versions of all numeric operations. (commit: 1112e9c) — Victor Bandur / githubweb
  6. Remaining GC implementations for operations on basic types. (commit: 04112bc) — Victor Bandur / githubweb
  7. GC-enabled vdmClone. (commit: 6be46bc) — Victor Bandur / githubweb
  8. Fixes to the GC linked list. (commit: 76fddf8) — Victor Bandur / githubweb
  9. Collection fix. (commit: 22f438c) — Victor Bandur / githubweb
  10. Fix to deallocate entire list during vdm_gc_shutdown(). (commit: ae05a93) — Victor Bandur / githubweb
  11. Refactored GC into its own files. (commit: fb49174) — Victor Bandur / githubweb
  12. GC versions of GET_FIELD and GET_FIELD_PTR. (commit: 305ac34) — Victor Bandur / githubweb
  13. Better names for linked list functions. (commit: f94a335) — Victor Bandur / githubweb
  14. Smaller maximal type improvement for GC version. (commit: d9ab423) — Victor Bandur / githubweb
  15. GC version of vdmEquals. (commit: 43d7b9b) — Victor Bandur / githubweb
  16. Duplicating tests to use the GC. (commit: 53471ff) — Victor Bandur / githubweb
  17. Migrated to singly-linked list in the GC, memory savings estimated at (commit: 8392f61) — Victor Bandur / githubweb
  18. Fix broken GC test. (commit: b8e2b4b) — Victor Bandur / githubweb
  19. Fix in pointer assignment inside collection function according to test (commit: 0b6d469) — Victor Bandur / githubweb
  20. Clean up LogicTrans (commit: 9a5d238) — Peter W. V. Tran-Jørgensen / githubweb
  21. Construct numeric expressions as apply expressions (commit: d0016e4) — Peter W. V. Tran-Jørgensen / githubweb
  22. Introduce CGenSettings (commit: 7af539f) — Peter W. V. Tran-Jørgensen / githubweb
  23. Initial work on a garbage collection transformation (commit: e8ee264) — Peter W. V. Tran-Jørgensen / githubweb
  24. Update VDM2C CLI with GC option (commit: baccb86) — Peter W. V. Tran-Jørgensen / githubweb
  25. Upgrade GarbageCollectionTrans to handle numeric comparison (commit: dde42d8) — Peter W. V. Tran-Jørgensen / githubweb
  26. Update GarbageColllectionTrans to handle equality (commit: 0978034) — Peter W. V. Tran-Jørgensen / githubweb
  27. Clean up ValueSemantics (commit: dd95a2c) — Peter W. V. Tran-Jørgensen / githubweb
  28. Update GarbageCollectionTrans to emit vdmCloneCG (commit: b766734) — Peter W. V. Tran-Jørgensen / githubweb
  29. Update GarbageCollectionTrans to emit GET_FIELD_GC (commit: 34569ce) — Peter W. V. Tran-Jørgensen / githubweb
  30. Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC (commit: e93e71c) — Peter W. V. Tran-Jørgensen / githubweb
  31. -  Changed vdmFree and the GC so that they do not interfere with each (commit: e2a745e) — Victor Bandur / githubweb
  32. Updated GC shutdown procedure with better cleanup for compatibility with (commit: ff35379) — Victor Bandur / githubweb
  33. Removed unused vdmNotEqual and vdmNotEqualGC functions. (commit: f73659c) — Victor Bandur / githubweb
  34. Removed vdmNotEqual test. (commit: 178d7d6) — Victor Bandur / githubweb
  35. Added missing function headers for vdmAnd etc. (commit: a360f53) — Victor Bandur / githubweb
  36. Removed unused nat, nat1 and int1 functions. (commit: 2af6752) — Victor Bandur / githubweb
  37. Update LogicTrans to handle vdmXor (commit: cf24e2f) — Peter W. V. Tran-Jørgensen / githubweb
  38. update GarbageCollectionTrans to handle boolean binary expressions (commit: e275397) — Peter W. V. Tran-Jørgensen / githubweb
  39. Fix handling of field accessors in GarbageCollectionTrans (commit: e063159) — Peter W. V. Tran-Jørgensen / githubweb
  40. Implementation of SET_FIELD_GC(). (commit: b9c8c46) — Victor Bandur / githubweb
  41. Update GarbageCollectionTrans to handle setters (commit: 745fa33) — Peter W. V. Tran-Jørgensen / githubweb
  42. Update GarbageCollectionTrans to not handle field initializer (commit: d0804bd) — Peter W. V. Tran-Jørgensen / githubweb
  43. Add fixture class to manage garbage collection during testing (commit: f354368) — Peter W. V. Tran-Jørgensen / githubweb
  44. Run NativeClasses tests with garbage collection turned on (commit: bbd0711) — Peter W. V. Tran-Jørgensen / githubweb
  45. Run Native tests with garbage collection turned on (commit: fd0cf6c) — Peter W. V. Tran-Jørgensen / githubweb
  46. Modified generated main.c file to include calls to vdm_gc_init() and (commit: 1a68d0e) — Victor Bandur / githubweb
  47. Update GarbageCollectionTrans to use regular GET/SET in field (commit: 9bb9688) — Peter W. V. Tran-Jørgensen / githubweb
  48. Add case study submodules (commit: cf60664) — Peter W. V. Tran-Jørgensen / githubweb
  49. Fix generation of call to default super constructor (commit: aa5bb68) — Peter W. V. Tran-Jørgensen / githubweb
  50. Fix in the collector that avoids interference between references to (commit: ef66f29) — Victor Bandur / githubweb
  51. Guard against null pointers (commit: f89b24d) — Peter W. V. Tran-Jørgensen / githubweb
  52. Add case study model compilation regression testing (commit: cbf3c4f) — Peter W. V. Tran-Jørgensen / githubweb
  53. Work on restructuring the runtime library so that unused parts can be (commit: e49a706) — Victor Bandur / githubweb
  54. Additional includes to Vdm.h needed for generated code, not for the rest (commit: ef4d660) — Victor Bandur / githubweb
  55. Add 'set' feature analysis (commit: 40861a2) — Peter W. V. Tran-Jørgensen / githubweb
  56. Add 'seq/seq1` feature analysis (commit: 640e968) — Peter W. V. Tran-Jørgensen / githubweb
  57. Add `map`/`inmap` feature analysis (commit: 1cd4d20) — Peter W. V. Tran-Jørgensen / githubweb
  58. Integrate all feature analyses and detect use of VDM libraries (commit: d9a2745) — Peter W. V. Tran-Jørgensen / githubweb
  59. Test feature analyses (commit: 3d3fb06) — Peter W. V. Tran-Jørgensen / githubweb
  60. Translate feature files to C definitions (commit: 137af13) — Peter W. V. Tran-Jørgensen / githubweb
  61. Update CGen to support feature analysis (commit: 2b43640) — Peter W. V. Tran-Jørgensen / githubweb
  62. Update VDM2C CLI to generate the feature file (commit: 4e1ec52) — Peter W. V. Tran-Jørgensen / githubweb
  63. Add feature analysis for patterns (commit: 7e76aa8) — Peter W. V. Tran-Jørgensen / githubweb
  64. Check that use of patterns is detected (commit: 7392983) — Peter W. V. Tran-Jørgensen / githubweb
  65. Add feature analysis for products (commit: 17b3880) — Peter W. V. Tran-Jørgensen / githubweb
  66. Test that the feature analysis for products works (commit: 8aabd5e) — Peter W. V. Tran-Jørgensen / githubweb
  67. Emit missing NO_PRODUCTS definition (commit: 7d8b382) — Peter W. V. Tran-Jørgensen / githubweb
  68. Add feature analysis for records (commit: 729d093) — Peter W. V. Tran-Jørgensen / githubweb
  69. Test that the feature analysis for records works (commit: 8be62f8) — Peter W. V. Tran-Jørgensen / githubweb
  70. Update the feature analysis to take GC into account (commit: 79153d5) — Peter W. V. Tran-Jørgensen / githubweb
  71. Update the VDM2C plugin to emit VdmModelFeatures.h (commit: d87cd39) — Peter W. V. Tran-Jørgensen / githubweb
  72. Update the VDM2C plugin to use GC by default (commit: c1d052c) — Peter W. V. Tran-Jørgensen / githubweb
  73. Runtime support for self expressions. (commit: b1fb5a9) — Victor Bandur / githubweb
  74. GC suffix typo. (commit: 457d042) — Victor Bandur / githubweb
  75. Use SELF macro to represent self expressions (commit: d96b655) — Peter W. V. Tran-Jørgensen / githubweb
  76. Update GC to handle self expressions (commit: dcd52a5) — Peter W. V. Tran-Jørgensen / githubweb
  77. Exclusion of runtime tests based on VdmModelFeatures.h file. (commit: 6b72d34) — Victor Bandur / githubweb
  78. Exclusion of pattern matching based on VdmModelFeatures.h file. (commit: a0c22b3) — Victor Bandur / githubweb
  79. Excluding maps from the runtime library based on VdmModelFeatures.h (commit: a2632a6) — Victor Bandur / githubweb
  80. Exclusion of products and the CSV library, which depends on products, (commit: dc38fc6) — Victor Bandur / githubweb
  81. Fix to exclusion of products and CSV library based on VdmModelFeatures.h (commit: fc8d98f) — Victor Bandur / githubweb
  82. Exclude maps from pattern mechanism based on VdmModelFeatures.h file. (commit: 274b2cc) — Victor Bandur / githubweb
  83. Exclusion of sequences and sets according to VdmModelFeatures.h file and (commit: 2225bec) — Victor Bandur / githubweb
  84. Exclusion of RecordType based on VdmModelFeatures.h file. (commit: 4c33fa2) — Victor Bandur / githubweb
  85. Exclusion of MATH library based on VdmModelFeatures.h file. (commit: 54ccd19) — Victor Bandur / githubweb
  86. Exclusion of IO library based on VdmModelFeatures.h file. (commit: a2720a0) — Victor Bandur / githubweb
  87. Fix issue with CSV detection (commit: b9fcf47) — Peter W. V. Tran-Jørgensen / githubweb
  88. Add empty VdmModelFeatures.h file for testing purposes (commit: 14dc1f3) — Peter W. V. Tran-Jørgensen / githubweb
  89. Fix map, sequence and sets exclusion logic in generator (commit: 53a5411) — Peter W. V. Tran-Jørgensen / githubweb
  90. -  Fixes after change to resrouces level VdmModelFeatures.h file. - (commit: 897b430) — Victor Bandur / githubweb
  91. Use Email-ext to notify on build failures (commit: 382681e) — Peter W. V. Tran-Jørgensen / githubweb
  92. Extra CALL_FUNC macros and type cast fixes.  Addresses #72. (commit: 33c1f6c) — Victor Bandur / githubweb
  93. Method-level exclusion of sequence-based operations from IO library (commit: 85aaaf8) — Victor Bandur / githubweb
  94. Exclusion of sets from sequences based on VdmModelFeatures.h file. (commit: b96790e) — Victor Bandur / githubweb
  95. First implementation of mechanism for calling the GC automatically. (commit: 3d72259) — Victor Bandur / githubweb
  96. Disabling auto GC calling feature for further development. (commit: 39b2e6a) — Victor Bandur / githubweb

#194 (Feb 17, 2017 1:26:44 PM)

  1. Remove release procedure from README (commit: 399dbfa) — Peter W. V. Tran-Jørgensen / githubweb
  2. Remove development environment description from README (commit: 938738a) — Peter W. V. Tran-Jørgensen / githubweb

#193 (Feb 17, 2017 10:32:09 AM)

  1. Update Jenkinsfile to initialize submodules (commit: e4c1eef) — Peter W. V. Tran-Jørgensen / githubweb

#192 (Feb 17, 2017 9:52:11 AM)

  1. Add Jenkinsfile (commit: 5b1bf51) — Peter W. V. Tran-Jørgensen / githubweb

#191 (Feb 10, 2017 3:17:27 PM)

  1. Improve extensibility of NativeTestBase (commit: 74be6d0) — Peter W. V. Tran-Jørgensen / githubweb
  2. Avoid hard coding values (commit: 56e5c74) — Peter W. V. Tran-Jørgensen / githubweb
  3. Clean up NumericTrans (commit: 8773770) — Peter W. V. Tran-Jørgensen / githubweb
  4. Update tests to use google test fixtures (commit: e80624e) — Peter W. V. Tran-Jørgensen / githubweb
  5. Update test system to generate a fixture class (commit: 68b28ea) — Peter W. V. Tran-Jørgensen / githubweb
  6. Fix generation of call to default super constructor (commit: e93a5c6) — Peter W. V. Tran-Jørgensen / githubweb

#189 (Feb 9, 2017 3:27:17 PM)

  1. [maven-release-plugin] prepare release Release/0.0.20 (commit: b81fc61) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: c2cc832) — jenkins / githubweb

#188 (Feb 9, 2017 3:20:12 PM)

  1. Add release notes for version 0.0.20 (commit: ae2729d) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare for release of version 0.0.20 (commit: b7147b3) — Peter W. V. Tran-Jørgensen / githubweb

#187 (Feb 7, 2017 6:52:15 PM)

  1. Removed unused nat, nat1 and int1 functions. (commit: 19eb6f8) — Victor Bandur / githubweb

#186 (Feb 7, 2017 6:02:15 PM)

  1. Removed unused function vdmNotEqual from runtime library. (commit: ede5cb0) — Victor Bandur / githubweb

#185 (Feb 3, 2017 3:24:30 PM)

  1. Implementation of cosine. (commit: 7c81526) — Victor Bandur / githubweb

#184 (Feb 1, 2017 1:57:44 PM)

  1. Add missing clone calls for apply expressions (commit: a2e670d) — Peter W. V. Tran-Jørgensen / githubweb

#183 (Feb 1, 2017 10:33:25 AM)

  1. Removed incorrect defines left over from file copy. (commit: e80e043) — Victor Bandur / githubweb

#182 (Feb 1, 2017 10:22:24 AM)

  1. Fix issue with method invocations that receive multiple arguments (commit: 24d5774) — Peter W. V. Tran-Jørgensen / githubweb
  2. Test that method invocation issue is fixed (commit: ef9e9df) — Peter W. V. Tran-Jørgensen / githubweb

#180 (Jan 31, 2017 7:12:25 PM)

  1. [maven-release-plugin] prepare release Release/0.0.18 (commit: 7342e81) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: a581065) — jenkins / githubweb

#179 (Jan 31, 2017 6:54:34 PM)

  1. Add release notes for version 0.0.18 (commit: e8088ee) — Peter W. V. Tran-Jørgensen / githubweb
  2. Release procedure corrections (commit: b652e56) — Peter W. V. Tran-Jørgensen / githubweb
  3. Prepare release of version 0.0.18 (commit: 9611318) — Peter W. V. Tran-Jørgensen / githubweb

#178 (Jan 31, 2017 4:30:54 PM)

  1. Tests for CSV library. (commit: a0ca3a6) — Victor Bandur / githubweb

#177 (Jan 30, 2017 10:39:39 PM)

  1. Fix issue with for loop statements (commit: fa70d8c) — Peter W. V. Tran-Jørgensen / githubweb
  2. Test that for loop issue is fixed (commit: 8d13506) — Peter W. V. Tran-Jørgensen / githubweb

#175 (Jan 30, 2017 8:24:39 PM)

  1. Fail Maven build when runtime test don't pass (commit: 2075297) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add limited support for function instantiations (commit: 4c5863e) — Peter W. V. Tran-Jørgensen / githubweb
  3. Test that function instantiations code-generate correctly (commit: 0fce318) — Peter W. V. Tran-Jørgensen / githubweb

#174 (Jan 30, 2017 10:10:15 AM)

  1. Add support for product types (commit: ea9ec71) — Peter W. V. Tran-Jørgensen / githubweb
  2. Test that product types code-generate correctly (commit: 460647c) — Peter W. V. Tran-Jørgensen / githubweb
  3. Ignore CSV test input (commit: a538f97) — Peter W. V. Tran-Jørgensen / githubweb

#173 (Jan 27, 2017 3:16:33 PM)

  1. Added newProductVar variadic function.  Addresses #63. (commit: 92d276a) — Victor Bandur / githubweb

#172 (Jan 27, 2017 12:01:37 PM)

  1. -  Implementing CSV library. -  Implementation of flinecount function. (commit: a159cef) — Victor Bandur / githubweb
  2. Return result TVP product for flinecount. (commit: 9ae7d6f) — Victor Bandur / githubweb
  3. Implementation of flinecount and freadval.  Tested externally to the (commit: 9683628) — Victor Bandur / githubweb
  4. Test for "flinecount". (commit: e7bef43) — Victor Bandur / githubweb
  5. Test for freadval. (commit: b944d15) — Victor Bandur / githubweb

#171 (Jan 17, 2017 2:59:38 PM)

  1. Export fix for the FMU exporter. (commit: 88e9e3f) — Victor Bandur / githubweb

#169 (Jan 13, 2017 3:26:43 PM)

  1. Fix issue with field look-ups (commit: b6d08cf) — Peter W. V. Tran-Jørgensen / githubweb
  2. Rename test (commit: c95a7ac) — Peter W. V. Tran-Jørgensen / githubweb
  3. Test that the field reference issue is fixed (commit: c77fcf6) — Peter W. V. Tran-Jørgensen / githubweb

#168 (Dec 12, 2016 10:58:38 AM)

  1. Remove unused transformation (commit: 277c107) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add utility class to generate clone/free calls (commit: 0676030) — Peter W. V. Tran-Jørgensen / githubweb
  3. Use 'ValueSemantics' class to generate clone calls (commit: 60d8fc0) — Peter W. V. Tran-Jørgensen / githubweb
  4. Use 'ValueSemantics' class to generate free calls (commit: 42dcc37) — Peter W. V. Tran-Jørgensen / githubweb
  5. Fix for the ValueSemantics clone method (commit: d1e55a2) — Peter W. V. Tran-Jørgensen / githubweb
  6. Check that values do not leak memory (commit: 0fbe1aa) — Peter W. V. Tran-Jørgensen / githubweb
  7. Check that static instance variables do not leak (commit: 900a6d7) — Peter W. V. Tran-Jørgensen / githubweb
  8. Check that instance variables do not leak memory (commit: 9b76db4) — Peter W. V. Tran-Jørgensen / githubweb
  9. Memory tests assume that valgrind is installed (commit: 5917e6b) — Peter W. V. Tran-Jørgensen / githubweb
  10. Fix typo in README (commit: 43fa39e) — Peter W. V. Tran-Jørgensen / githubweb
  11. Update "Development environment prerequisites" to mention valgrind (commit: 246ac6c) — Peter W. V. Tran-Jørgensen / githubweb

#167 (Dec 2, 2016 9:55:56 PM)

  1. Fix typos in the release procedure description (commit: dca69f9) — noreply / githubweb

#166 (Dec 2, 2016 9:49:04 PM)

  1. Document release procedure (commit: b74beb2) — noreply / githubweb

#164 (Dec 2, 2016 5:19:58 PM)

  1. [maven-release-plugin] prepare release Release/0.0.16 (commit: 2e7dd6b) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: f16991b) — jenkins / githubweb

#163 (Dec 2, 2016 5:11:24 PM)

  1. Emitting header files for global static and const init and shutdown (commit: 52d61b9) — Victor Bandur / githubweb
  2. Using correct quotes for header file name in include directive. (commit: 060643a) — Victor Bandur / githubweb
  3. Formatting in emitted main.c file. (commit: 91e974f) — Victor Bandur / githubweb
  4. Add VDM2C 0.0.16 release notes (commit: 36de255) — Peter W. V. Tran-Jørgensen / githubweb
  5. Prepare VDM2C 0.0.16 release (commit: 7d1d95e) — Peter W. V. Tran-Jørgensen / githubweb

#162 (Dec 2, 2016 4:39:59 PM)

  1. -  Working on emitting global static and constant init and shutdown (commit: 41d45eb) — Victor Bandur / githubweb
  2. Generalise AVarDeclIR (commit: 9156461) — Peter W. V. Tran-Jørgensen / githubweb
  3. Testing that an old error in overriding behaviour no longer appears. (commit: 51586e6) — Victor Bandur / githubweb
  4. Add start statement test (commit: 3356dfc) — Peter W. V. Tran-Jørgensen / githubweb
  5. Add start statement template (commit: 810ce68) — Peter W. V. Tran-Jørgensen / githubweb

#160 (Nov 30, 2016 2:36:17 PM)

  1. [maven-release-plugin] prepare release Release/0.0.14 (commit: 2d066ab) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 76cc41d) — jenkins / githubweb

#159 (Nov 30, 2016 2:23:21 PM)

  1. Add v0.0.14 release notes (commit: 7294542) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare v0.0.14 release (commit: b49b897) — Peter W. V. Tran-Jørgensen / githubweb

#158 (Nov 29, 2016 3:49:02 PM)

  1. When method has no parameters, return empty list of parameter types (commit: 604643f) — Victor Bandur / githubweb

#156 (Nov 28, 2016 9:26:37 PM)

  1. Remove garbage file (commit: 3befd44) — Peter W. V. Tran-Jørgensen / githubweb
  2. Improve extensibility of test classes (commit: 53f872b) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add valgrind configuration to CMakeLists.txt (commit: 8402f19) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add functionality to test memory management (commit: 0b2a3ef) — Peter W. V. Tran-Jørgensen / githubweb
  5. Remove field that is not needed (commit: 05423e8) — Peter W. V. Tran-Jørgensen / githubweb

#155 (Nov 28, 2016 9:18:34 PM)

  1. Removing handling of protected qualifier as it poses problems for (commit: f25a409) — Victor Bandur / githubweb
  2. Ignoring protected and static qualifiers only on constructors. (commit: c8c4b06) — Victor Bandur / githubweb

#154 (Nov 25, 2016 3:16:41 PM)

  1. Model code for Collatz example. (commit: 7ce98a9) — Victor Bandur / githubweb
  2. List of generated files for FMU export. (commit: 37bde33) — Victor Bandur / githubweb

#152 (Nov 22, 2016 2:41:18 PM)

  1. [maven-release-plugin] prepare release Release/0.0.12 (commit: 074e659) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 448a108) — jenkins / githubweb

#151 (Nov 22, 2016 2:31:13 PM)

  1. Add v0.0.12 release notes (commit: 25a4743) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of VDM2C 0.0.12 (commit: 07603ab) — Peter W. V. Tran-Jørgensen / githubweb

#149 (Nov 22, 2016 1:39:24 PM)

  1. Update the VDM2C CLI (commit: 5da83e7) — Peter W. V. Tran-Jørgensen / githubweb

#148 (Nov 22, 2016 11:07:29 AM)

  1. Output folder field is not needed (commit: 76f3dfb) — Peter W. V. Tran-Jørgensen / githubweb
  2. Clean-up CLI (commit: e493804) — Peter W. V. Tran-Jørgensen / githubweb
  3. Simplify CGen (commit: 6a3b635) — Peter W. V. Tran-Jørgensen / githubweb
  4. Move 'copyNativeLibFiles' to core (commit: a7cc5ba) — Peter W. V. Tran-Jørgensen / githubweb

#147 (Nov 21, 2016 4:12:30 PM)

  1. Corrections for CLI argument validation (commit: db79217) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add missing source nodes to class headers (commit: 2f04993) — Peter W. V. Tran-Jørgensen / githubweb
  3. Represent the generated code using CGP means (commit: 4f7ba9e) — Peter W. V. Tran-Jørgensen / githubweb
  4. Update CLI to report errors/unsupported constructs (commit: 25c8a3d) — Peter W. V. Tran-Jørgensen / githubweb
  5. Translate standard libraries to IR modules (commit: e3b1f3d) — Peter W. V. Tran-Jørgensen / githubweb
  6. Translate generated modules to C sources (commit: 54a050f) — Peter W. V. Tran-Jørgensen / githubweb
  7. Update the VDM2C plugin to output the user's code (commit: 763a468) — Peter W. V. Tran-Jørgensen / githubweb
  8. Correct initialisation of mangledNames (commit: 15a5ed3) — Peter W. V. Tran-Jørgensen / githubweb
  9. Better user feedback for unsupported constructs (commit: 3c864a8) — Peter W. V. Tran-Jørgensen / githubweb

#146 (Nov 18, 2016 3:47:40 PM)

  1. Testing in-place sequence update. (commit: 3873795) — Victor Bandur / githubweb
  2. Fix issue with copying of runtime library (commit: d1dbf65) — Peter W. V. Tran-Jørgensen / githubweb

#144 (Nov 18, 2016 10:36:37 AM)

  1. Test for sequence updates. (commit: cd01a15) — Victor Bandur / githubweb

#142 (Nov 18, 2016 10:27:18 AM)

  1. Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF (commit: 440727d) — Peter W. V. Tran-Jørgensen / githubweb

#140 (Nov 18, 2016 9:58:35 AM)

  1. Updated README.txt with cmake command for debug. (commit: 5e6d1f4) — Victor Bandur / githubweb
  2. Test collection updates (commit: 43738e9) — Peter W. V. Tran-Jørgensen / githubweb
  3. Low-level map update function, instead of implementing in terms of map (commit: 7438daa) — Victor Bandur / githubweb
  4. Add support for field and sequence updates (commit: 207bec1) — Peter W. V. Tran-Jørgensen / githubweb

#138 (Nov 16, 2016 1:50:00 PM)

  1. Make "if-tests" executable (commit: 9668e4a) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add generic "if-test" (commit: e657291) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add tests that reveal issue with if statements (commit: 4cdd34b) — Peter W. V. Tran-Jørgensen / githubweb
  4. Unpack all typed expressions (commit: b266367) — Peter W. V. Tran-Jørgensen / githubweb

#136 (Nov 15, 2016 3:13:09 PM)

  1. [maven-release-plugin] prepare release Release/0.0.10 (commit: baba40c) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 54ae1bd) — jenkins / githubweb

#135 (Nov 15, 2016 3:01:31 PM)

  1. Add v0.0.10 release notes (commit: 256e46e) — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare the v0.0.10 release (commit: 8a56ba8) — Peter W. V. Tran-Jørgensen / githubweb

#134 (Nov 15, 2016 2:45:22 PM)

  1. Inserting explicit cast necessary for ATmega target.  Because of a fluke (commit: 2d2f3b5) — Victor Bandur / githubweb
  2. fixed #50 (commit: e23e8f0) — Kenneth Lausdahl / githubweb
  3. Improvement to number operations so that the largest type gets returned (commit: 6fd06c9) — Victor Bandur / githubweb
  4. Fixed tests in accordance with reduced maximal type change. (commit: 79015eb) — Victor Bandur / githubweb
  5. Maximal type fix for vdmMod. (commit: ad34906) — Victor Bandur / githubweb

#133 (Oct 28, 2016 7:25:34 PM)

  1. Support for "is_" check for booleans, integers and reals. (commit: 4a4d677) — Victor Bandur / githubweb
  2. Added header file inclusion for sets, since the mac gcc compiler fails (commit: 9f6cd3a) — Miran / githubweb
  3. Eliminated use of "const" qualifier on pointer variables.  There is no (commit: bf8cc05) — Victor Bandur / githubweb
  4. Changing from using "EXPECT_EQ(false / true ... " in native library (commit: 9cc14c7) — Victor Bandur / githubweb
  5. -  Changed to better name for equality function for numbers. -  Handling (commit: f184c89) — Victor Bandur / githubweb
  6. Correct map type template (commit: e8e9d72) — Peter W. V. Tran-Jørgensen / githubweb
  7. Correct map range template (commit: 463e802) — Peter W. V. Tran-Jørgensen / githubweb
  8. Correct map domain template (commit: 25633c2) — Peter W. V. Tran-Jørgensen / githubweb
  9. Add support for map enumerations (commit: 4dab773) — Peter W. V. Tran-Jørgensen / githubweb
  10. Add support for map access (commit: 53cabfb) — Peter W. V. Tran-Jørgensen / githubweb
  11. Test that maps code generate correctly (commit: aede644) — Peter W. V. Tran-Jørgensen / githubweb
  12. Test that map equality/inequality code generate correctly (commit: 398f7ea) — Peter W. V. Tran-Jørgensen / githubweb
  13. Correct map inverse template (commit: a2baec1) — Peter W. V. Tran-Jørgensen / githubweb
  14. Test that the map inverse operator code generates correctly (commit: aa77227) — Peter W. V. Tran-Jørgensen / githubweb
  15. Correct map union template (commit: bfc92c2) — Peter W. V. Tran-Jørgensen / githubweb
  16. Test that map union code generates correctly (commit: 82c1970) — Peter W. V. Tran-Jørgensen / githubweb
  17. Set and map equality fixes. (commit: 09e196e) — Victor Bandur / githubweb
  18. Fix for map equality. (commit: 46ed0f0) — Victor Bandur / githubweb

#132 (Oct 28, 2016 9:25:53 AM)

  1. -  Constructing a correct reference to the "self" object. -  Addresses (commit: 9b33765) — Victor Bandur / githubweb
  2. Implementation of newMapVarToGrow() to support map comprehensions. (commit: 2df0af9) — Victor Bandur / githubweb
  3. Implementation of vdmMapGrow() to support map comprehensions. (commit: 024428e) — Victor Bandur / githubweb
  4. Comments. (commit: 1fb9f99) — Victor Bandur / githubweb
  5. Formatting. (commit: 8fc91cd) — Victor Bandur / githubweb
  6. Minor optimization in terms of calling newMapVarToGrow with no key-value (commit: d72e400) — Victor Bandur / githubweb
  7. Addition of constructors to the virtual function table. (commit: 6f7c670) — Victor Bandur / githubweb
  8. Fix so that self expression does not output VDM_RECORD instead of (commit: 1e392e0) — Victor Bandur / githubweb
  9. Tests for nested constructor calls, no inheritance. (commit: 5d8fd46) — Victor Bandur / githubweb
  10. Remove garbage file (commit: 0643bf1) — Peter W. V. Tran-Jørgensen / githubweb
  11. Clean up imports (commit: 177b3ac) — Peter W. V. Tran-Jørgensen / githubweb
  12. Add support for "let be st" constructs (commit: 54eaad6) — Peter W. V. Tran-Jørgensen / githubweb
  13. Test that "let be st" constructs code generate correctly (commit: c5392d6) — Peter W. V. Tran-Jørgensen / githubweb

#131 (Oct 25, 2016 4:00:19 PM)

  1. Add method to find object type VDM name (commit: 58be394) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add formatting support for numeric unary expressions (commit: 4941f54) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add support for unary minus (commit: ade3c8a) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add support for unary plus (commit: 3e9d36c) — Peter W. V. Tran-Jørgensen / githubweb
  5. Test that numeric unary expressions are handled correctly (commit: 1772386) — Peter W. V. Tran-Jørgensen / githubweb

#130 (Oct 25, 2016 11:40:03 AM)

  1. Features in native library enabling sequence comprehension. (commit: e3e5b30) — Victor Bandur / githubweb
  2. Update set comprehension strategy to generate the conditional check (commit: 1472883) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add support for sequence comprehensions (commit: ced33ed) — Peter W. V. Tran-Jørgensen / githubweb
  4. Test that sequence comprehensions work (commit: 2cc5cae) — Peter W. V. Tran-Jørgensen / githubweb

#129 (Oct 25, 2016 9:46:27 AM)

  1. Add creation of a distribution map pr. CPU (commit: d618b7f) — Miran / githubweb
  2. Added analysis of the BUS structure (commit: 6b2612b) — Miran / githubweb
  3. Added analysis of BUS structure (commit: 7e8a134) — Miran / githubweb
  4. Generate array of all deployed objects (commit: 1db0092) — Miran / githubweb
  5. Create folder for each CPU (commit: 1f844a8) — Miran / githubweb
  6. Decoupling of the transformation for distribution (commit: a5e5d9f) — Miran / githubweb
  7. Get the name of the system definition (commit: 189f904) — Miran / githubweb
  8. Transformation to the DIST_CALL macro, used for dispatching local and (commit: 225a9e5) — Miran / githubweb
  9. Minor updates to a test of distributed transformation (commit: 1ec2821) — Miran / githubweb
  10. Minor fix to distribution macro transformation (commit: 1d4b44f) — Miran / githubweb
  11. Initial tests using valgrind.  The main file must be removed or it will (commit: b9421a0) — Victor Bandur / githubweb
  12. Initial version of transformation for generating ids for deployed (commit: 1bac24c) — Miran / githubweb
  13. Changed set of deployed objects to list, since we need order (commit: 280e0ac) — Miran / githubweb
  14. Clean up comments (commit: 163ab32) — Miran / githubweb
  15. Each object gets unique id (commit: e62d5dd) — Miran / githubweb
  16. Generate the distribution map (commit: 23ff34f) — Miran / githubweb
  17. Generate individual system pr. cpu (commit: e678fa8) — Miran / githubweb
  18. Fixed problem with assignment to inherited fields. (commit: a2f919e) — Victor Bandur / githubweb
  19. Changed skip to be an empty block (commit: 7f2d6a2) — Miran / githubweb
  20. Fixed class lookup on fields so that superclasses are properly taken (commit: a517525) — Victor Bandur / githubweb
  21. Fished out memory leak in newSetWithValues(). (commit: 8be875a) — Victor Bandur / githubweb
  22. Gitignore stuff. (commit: 882a92f) — Victor Bandur / githubweb
  23. Notes for myself. (commit: 4082cff) — Victor Bandur / githubweb
  24. Eliminating name 'recursiveFree' in favour of 'vdmFree'. (commit: 8e89de2) — Victor Bandur / githubweb
  25. Improved makefile. (commit: 935d11a) — Victor Bandur / githubweb
  26. Small reduction in memory leak for sets caused by unfreed element in (commit: c13757a) — Victor Bandur / githubweb
  27. Some binary files. (commit: 62bd8c1) — Victor Bandur / githubweb
  28. Removing binary files. (commit: 3ab5865) — Victor Bandur / githubweb
  29. Eliminated large memory leak in sets, confirmed with sets of basic (commit: 0a292ac) — Victor Bandur / githubweb
  30. Comment related to the memory leak. (commit: 1c087aa) — Victor Bandur / githubweb
  31. Cleanup. (commit: 6db0143) — Victor Bandur / githubweb
  32. Removing staging area for memory performance tests from this branch (commit: 9b92d4b) — Victor Bandur / githubweb
  33. Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into (commit: 57b6ade) — Victor Bandur / githubweb
  34. Changed skip to be an empty block (commit: ac551f9) — Victor Bandur / githubweb
  35. Fixed class name clashes in suite of VDM-RT tests. (commit: 077d761) — Victor Bandur / githubweb
  36. VDM-RT test for OpInheritanceOverride. (commit: 25b44c8) — Victor Bandur / githubweb
  37. Method override test constructed to show segmentation fault error as (commit: 71bbd18) — Victor Bandur / githubweb
  38. Fixed method overriding problem, but the test model needs to be expanded (commit: 5e21a60) — Victor Bandur / githubweb
  39. Expanded operationo override test to cover overriding different (commit: ea75e43) — Victor Bandur / githubweb
  40. Add convenience function to construct C integer literals (commit: a7821e9) — Peter W. V. Tran-Jørgensen / githubweb
  41. Use C integer literals to construct set comprehension variables (commit: 10f49a6) — Peter W. V. Tran-Jørgensen / githubweb
  42. Update runtime library integer conversion to support reals (commit: cb659be) — Peter W. V. Tran-Jørgensen / githubweb
  43. Test that set comprehensions work (commit: d67c1fe) — Peter W. V. Tran-Jørgensen / githubweb

#128 (Oct 12, 2016 3:28:21 PM)

  1. Fix README sections (commit: e1d51fc) — Peter W. V. Tran-Jørgensen / githubweb

#127 (Oct 12, 2016 3:22:20 PM)

  1. Better way to find enclosing class (commit: d441a72) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add record test (commit: ee47eef) — Peter W. V. Tran-Jørgensen / githubweb
  3. Convert record types to class types (commit: 0ad86df) — Peter W. V. Tran-Jørgensen / githubweb
  4. Convert record declarations to class declarations (commit: 328af1c) — Peter W. V. Tran-Jørgensen / githubweb
  5. Migrating records infrastructure in the native library to use records as (commit: 7cc34be) — Victor Bandur / githubweb
  6. Construct VDM type for records (commit: 1ca3aa6) — Peter W. V. Tran-Jørgensen / githubweb
  7. -  Working on support in the native library for record value semantics. (commit: 939621a) — Victor Bandur / githubweb
  8. Emitting definition of class struct field to hold number of fields. (commit: bc7665a) — Victor Bandur / githubweb
  9. Fix the record/class check used in the templates (commit: b961d78) — Peter W. V. Tran-Jørgensen / githubweb
  10. Update transformations not to generate vdmClone calls (commit: 41f806c) — Peter W. V. Tran-Jørgensen / githubweb
  11. Working out structure walking mechanism for record value semantics. (commit: 637dde8) — Victor Bandur / githubweb
  12. Pointer arithmetic to access number-of-fields field in class struct. (commit: 105b7ae) — Victor Bandur / githubweb
  13. Can now walk fields of structure and clone each correctly. (commit: 49f9196) — Victor Bandur / githubweb
  14. Cleanup imports (commit: c84f8f6) — Peter W. V. Tran-Jørgensen / githubweb
  15. Fix construction of 'null' expression (commit: 5baeaf6) — Peter W. V. Tran-Jørgensen / githubweb
  16. Update literal transformation to use constants (commit: e0bcb49) — Peter W. V. Tran-Jørgensen / githubweb
  17. Revert change that was introducing a problem with records (commit: 9dd417b) — Peter W. V. Tran-Jørgensen / githubweb
  18. Fix construction of 'null' expression (commit: 67b2195) — Peter W. V. Tran-Jørgensen / githubweb
  19. Cleanup imports (commit: e60b9da) — Peter W. V. Tran-Jørgensen / githubweb
  20. Debugging confirms that vdmClone now duplicates record fields in (commit: 1abd321) — Victor Bandur / githubweb
  21. Value semantics for record equality checking with vdmEquals confirmed (commit: 0676454) — Victor Bandur / githubweb
  22. Expanding test for record value semantics with structured values inside (commit: 656fdf3) — Victor Bandur / githubweb
  23. Add 'numFields' field to every class (commit: e9054df) — Peter W. V. Tran-Jørgensen / githubweb
  24. Privatise fields (commit: 525a69b) — Peter W. V. Tran-Jørgensen / githubweb
  25. Add missing null pointer check (commit: 3ceed4a) — Peter W. V. Tran-Jørgensen / githubweb
  26. Another record value semantics test using structured fields. (commit: 97a29d4) — Victor Bandur / githubweb
  27. -  Working on freeing records properly. -  Addresses #33. (commit: 8920080) — Victor Bandur / githubweb
  28. -  Further work on vdmFree for records. -  Addresses #33. (commit: 819e83c) — Victor Bandur / githubweb
  29. Test value type semantics for generated records (commit: 9d9685d) — Peter W. V. Tran-Jørgensen / githubweb
  30. Undo commit that removes vdmClone calls (commit: dab8c97) — Peter W. V. Tran-Jørgensen / githubweb
  31. Clean-up FieldExpRewriteTrans (commit: b7263c4) — Peter W. V. Tran-Jørgensen / githubweb
  32. -  Fixed bug in vdmClone for records exposed by use of vdmFree on cloned (commit: 256ceaf) — Victor Bandur / githubweb
  33. -  Freeing more of the memory allocated to a record. -  Addresses #33. (commit: cce5434) — Victor Bandur / githubweb
  34. -  Comments. -  Addresses #33. (commit: 037d4ca) — Victor Bandur / githubweb
  35. Add 'installation' section to the README (commit: 61e2a89) — Peter W. V. Tran-Jørgensen / githubweb

#125 (Oct 7, 2016 4:08:30 PM)

  1. [maven-release-plugin] prepare release Release/0.0.8 (commit: 5ddffb8) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 18c8de3) — jenkins / githubweb

#124 (Oct 7, 2016 4:03:01 PM)

  1. Add version 0.0.8 release notes (commit: 12f20c9) — Peter W. V. Tran-Jørgensen / githubweb
  2. Update release version to 0.0.8 and development version to (commit: 0aba401) — Peter W. V. Tran-Jørgensen / githubweb

#123 (Oct 7, 2016 3:51:30 PM)

  1. -  Added test for ClassOp.vdmrt. -  Addresses #8. (commit: 6f39c36) — Victor Bandur / githubweb
  2. -  Added test for ClassOp2.vdmrt. -  Addresses #8. (commit: edf36b2) — Victor Bandur / githubweb
  3. -  Adding test code for ClassOpOpCall.vdmrt -  Addresses #8. (commit: 6769555) — Victor Bandur / githubweb
  4. -  Added test for ClassOp2.vdmrt -  Addresses #8. (commit: 4b766f0) — Victor Bandur / githubweb
  5. -  Added test for ClassVarOpOp.vdmrt. -  Addresses #8. (commit: 86d1319) — Victor Bandur / githubweb
  6. -  Added test for ClassVarOpOp2.vdmrt.  This test creates an infinitely (commit: f7f83f8) — Victor Bandur / githubweb
  7. Testing whether can emit the main file for the generated C code. (commit: fe90c2f) — Victor Bandur / githubweb
  8. Further work on emitting main.c file. (commit: d9f83a0) — Victor Bandur / githubweb
  9. main.c file is now emitted programmatically by the generation process. (commit: 3d19f74) — Victor Bandur / githubweb
  10. Ignore the generated library tests file (vdmclib) (commit: 25a48e7) — Peter W. V. Tran-Jørgensen / githubweb
  11. -  Modified CMake file so that each CG unit test outputs an XML test (commit: 8f6a7c2) — Victor Bandur / githubweb
  12. Working on gettig a map of model names to mangled names for use in (commit: 748b202) — Victor Bandur / githubweb
  13. Address warnings (commit: df796b5) — Peter W. V. Tran-Jørgensen / githubweb
  14. Fixed accidental error. (commit: 6aa846e) — Victor Bandur / githubweb
  15. Emitting #defines for mapping between mangled names and model names. (commit: 2da9a5c) — Victor Bandur / githubweb
  16. Using uderscore as namespace separator instead of period. (commit: ce9f809) — Victor Bandur / githubweb
  17. Ensure that the googletests are executed (commit: de935f9) — Peter W. V. Tran-Jørgensen / githubweb
  18. Add subclass responsibility tests (commit: 43c7b03) — Peter W. V. Tran-Jørgensen / githubweb
  19. Omitting mangled names of initializer functions.  They are not relevant (commit: f2f2a5c) — Victor Bandur / githubweb
  20. Remove missing jar from MANIFEST (commit: 2cae3ba) — Peter W. V. Tran-Jørgensen / githubweb
  21. Fix javadoc versions (commit: 764ae85) — Peter W. V. Tran-Jørgensen / githubweb
  22. -  Modified NameMangler so that it keeps an internal map of mangled (commit: c234720) — Victor Bandur / githubweb
  23. Comment. (commit: 55211dd) — Victor Bandur / githubweb
  24. -  Basic operation overriding test. -  Addresses #8. (commit: c6d34e0) — Victor Bandur / githubweb
  25. -  Expanded override test to two-level inheritance. -  Addresses #8. (commit: ac9d528) — Victor Bandur / githubweb
  26. Update description of how to execute runtime tests (commit: d64bb4e) — Peter W. V. Tran-Jørgensen / githubweb
  27. Addresses #8. (commit: b0bb105) — Victor Bandur / githubweb
  28. -  Completed test for ClassOpOverrideMiddle.vdmrt. -  Addresses #8. (commit: 6b231bc) — Victor Bandur / githubweb
  29. -  Completing test for ClassValueInheritance.vdmrt test model. -  Has (commit: c76738c) — Victor Bandur / githubweb
  30. Fix name mangling of rat, union, void and nat1 types (commit: 3aa24c2) — Peter W. V. Tran-Jørgensen / githubweb
  31. Add name mangling tests (commit: 3703d99) — Peter W. V. Tran-Jørgensen / githubweb
  32. Fix name mangling of collection constructors (commit: 5d7e223) — Peter W. V. Tran-Jørgensen / githubweb
  33. Test name mangling of collection constructors (commit: c995d4a) — Peter W. V. Tran-Jørgensen / githubweb
  34. Clean up imports (commit: cdf2c7e) — Peter W. V. Tran-Jørgensen / githubweb
  35. Add script to generate release notes (commit: ed7f7da) — Peter W. V. Tran-Jørgensen / githubweb
  36. Add release notes for v0.0.4 (commit: 947b3a6) — Peter W. V. Tran-Jørgensen / githubweb
  37. Add release notes for v0.0.6 (commit: 8ca62a1) — Peter W. V. Tran-Jørgensen / githubweb
  38. Determine which classes uses 'time' (commit: 2ddf759) — Peter W. V. Tran-Jørgensen / githubweb
  39. Test 'TimeFinder' (commit: a7dffcd) — Peter W. V. Tran-Jørgensen / githubweb
  40. Determining whether 'time.h' is needed. (commit: 0cdd59a) — Victor Bandur / githubweb
  41. Header 'time.h' no longer needed in Vdm.h. (commit: a614b60) — Victor Bandur / githubweb
  42. 'time.h' is now only included in .c files corresponding to classes (commit: 25db217) — Victor Bandur / githubweb

#122 (Oct 4, 2016 1:07:13 PM)

  1. enabled code signing (commit: 806aff8) — Kenneth Lausdahl / githubweb

#120 (Sep 27, 2016 1:58:54 PM)

  1. [maven-release-plugin] prepare release Release/0.0.6 (commit: 1aede65) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 12e3155) — jenkins / githubweb

#117 (Sep 27, 2016 1:47:03 PM)

  1. [maven-release-plugin] prepare release Release/0.0.6 (commit: 851ef55) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: d93872b) — jenkins / githubweb

#116 (Sep 27, 2016 1:36:37 PM)

  1. enabled recursive submodule update on release checkout (commit: 644b006) — Kenneth Lausdahl / githubweb
  2. changed execution of native tests to use maven ant (commit: e5647b1) — Kenneth Lausdahl / githubweb

#115 (Sep 27, 2016 12:33:55 PM)

  1. removed main.c from vdmclib that canceled out the gooletest main (commit: 6306e46) — Kenneth Lausdahl / githubweb

#114 (Sep 27, 2016 12:09:03 AM)

  1. [maven-release-plugin] prepare release Release/0.0.6 (commit: cd75c5a) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 3cdcb1d) — jenkins / githubweb

#113 (Sep 27, 2016 12:05:12 AM)

  1. preparing for release 0.0.6 (commit: f5b3f14) — Kenneth Lausdahl / githubweb

#112 (Sep 26, 2016 5:15:52 PM)

  1. -  Changing from makefile to CMake. -  Addresses #26. (commit: 8a20f7d) — Victor Bandur / githubweb
  2. -  Not picking up main file properly. -  Addresses #26. (commit: e06cad8) — Victor Bandur / githubweb
  3. Rudimentary README file to briefly explain what the user must do in the (commit: daee802) — Victor Bandur / githubweb
  4. -  Improved message in README file. -  Addresses #26. (commit: bedc399) — Victor Bandur / githubweb
  5. -  Ensuring README file is placed in the right directory. -  Addresses (commit: f2943e4) — Victor Bandur / githubweb
  6. -  Making sure auxiliary files are included in native lib bundle. - (commit: f06cf9b) — Victor Bandur / githubweb
  7. -  Reverted trying to use resources folder to include auxiliary files. - (commit: 35c0ebb) — Victor Bandur / githubweb
  8. Addresses #26. (commit: af57f83) — Victor Bandur / githubweb

#111 (Sep 26, 2016 3:54:48 PM)

  1. Prepare release 0.0.6 (commit: 9b5fa02) — Peter W. V. Tran-Jørgensen / githubweb

#110 (Sep 26, 2016 3:43:41 PM)

  1. Test model for scratch work. (commit: 9bd708c) — Peter W. V. Tran-Jørgensen / githubweb
  2. Add test from commit 6ce283 (commit: 28a6457) — Peter W. V. Tran-Jørgensen / githubweb
  3. Add test code from commit 16f494 (commit: 4a3cdaa) — Peter W. V. Tran-Jørgensen / githubweb
  4. Add test code changes from d7ffd1 (commit: 7fb523d) — Peter W. V. Tran-Jørgensen / githubweb
  5. Changes from 22e1d1 (commit: 958faf0) — Peter W. V. Tran-Jørgensen / githubweb
  6. Port over changes related to de0401 (commit: 298c29d) — Peter W. V. Tran-Jørgensen / githubweb
  7. Re-enable test (related to 732351) (commit: 7bb3883) — Peter W. V. Tran-Jørgensen / githubweb
  8. Fix issue related to construction of the field name (commit: a1e46ac) — Peter W. V. Tran-Jørgensen / githubweb
  9. Changes related to 15dd76 (commit: 3201879) — Peter W. V. Tran-Jørgensen / githubweb
  10. Ensuring that const and static init functions have bodies (commit: 19d73fc) — Peter W. V. Tran-Jørgensen / githubweb
  11. changed cmake testing to reuse the same compiled googletest resources (commit: 810ef26) — Peter W. V. Tran-Jørgensen / githubweb
  12. Work on static fields (related to 9c66cd) (commit: 51f2036) — Peter W. V. Tran-Jørgensen / githubweb
  13. Records test was in fact a test for products. (commit: 0d5ef4e) — Peter W. V. Tran-Jørgensen / githubweb
  14. Add prerequisite section in the README (commit: 80d0819) — Peter W. V. Tran-Jørgensen / githubweb
  15. Update description of test properties (commit: ba6b995) — Peter W. V. Tran-Jørgensen / githubweb
  16. Describe how to execute the runtime tests (commit: b7e3817) — Peter W. V. Tran-Jørgensen / githubweb
  17. Update readme.md (commit: 12a0136) — Peter W. V. Tran-Jørgensen / githubweb
  18. Re-organise readmes (commit: 4416d39) — Peter W. V. Tran-Jørgensen / githubweb
  19. Cleanup README (commit: f3b1633) — Peter W. V. Tran-Jørgensen / githubweb
  20. Do not put launch configurations under version control (commit: 7811b2f) — Peter W. V. Tran-Jørgensen / githubweb
  21. Change testing log level (commit: a506867) — Peter W. V. Tran-Jørgensen / githubweb
  22. Untrack launch configurations (commit: b3adfd0) — Peter W. V. Tran-Jørgensen / githubweb
  23. Allow test files to exist (commit: 10dee59) — Peter W. V. Tran-Jørgensen / githubweb
  24. Update quote test to support test execution (commit: 27f50d6) — Peter W. V. Tran-Jørgensen / githubweb
  25. Add name mangling for quote types (commit: 0b395ca) — Peter W. V. Tran-Jørgensen / githubweb
  26. Slightly better testing of quotes (commit: cd60673) — Peter W. V. Tran-Jørgensen / githubweb
  27. Add name mangling for the unknown type and the template type (commit: dfa1e3a) — Peter W. V. Tran-Jørgensen / githubweb
  28. Add name mangling for named types (commit: 8b045c6) — Peter W. V. Tran-Jørgensen / githubweb
  29. Add name mangling for union types (commit: bf01896) — Peter W. V. Tran-Jørgensen / githubweb
  30. Suppress googletest output by default (commit: dd7b68f) — Peter W. V. Tran-Jørgensen / githubweb
  31. Improvements for the C code generator command-line (commit: c969c10) — Peter W. V. Tran-Jørgensen / githubweb
  32. Update tests to pass the --quiet flag to the C code generator (commit: 1716770) — Peter W. V. Tran-Jørgensen / githubweb
  33. Fix issue with the field access transformation (commit: 69b0a3a) — Peter W. V. Tran-Jørgensen / githubweb
  34. Test that the field transformation issue is fixed (commit: 520ce73) — Peter W. V. Tran-Jørgensen / githubweb
  35. Update public field test to compile the generated code (commit: f9e4073) — Peter W. V. Tran-Jørgensen / githubweb
  36. Re-enable and fix field test (commit: bab932f) — Peter W. V. Tran-Jørgensen / githubweb
  37. Remove -DVDM_LIB_PATH test property (commit: d8559d6) — Peter W. V. Tran-Jørgensen / githubweb
  38. Update vdm2c to use newest version of Overture (commit: e64c4d6) — Peter W. V. Tran-Jørgensen / githubweb
  39. Update the VDM2C plugin to build against Eclipse Neon. Closes #18 (commit: c23f283) — Peter W. V. Tran-Jørgensen / githubweb
  40. Testing branching. (commit: 2f29820) — Victor Bandur / githubweb
  41. Work on not including unnecessary directories along with generated code. (commit: 6484ff2) — Victor Bandur / githubweb
  42. Related to issue #4. (commit: f60e1cf) — Victor Bandur / githubweb
  43. Related to issue #4. (commit: a37b26c) — Victor Bandur / githubweb
  44. More path fixes.  Related to issue #4. (commit: a3449ea) — Victor Bandur / githubweb
  45. Test for behaviour of class variable and record variable assignment. (commit: cd2a6e9) — Victor Bandur / githubweb
  46. Test case for scratch work VDM class. (commit: 514abce) — Victor Bandur / githubweb
  47. Test material to determine whether assignment achieves value and (commit: 3609910) — Victor Bandur / githubweb
  48. Tweak description of how to execute the runtime library tests (commit: f27529a) — Peter W. V. Tran-Jørgensen / githubweb
  49. Remove generated test file (commit: bbbf659) — Peter W. V. Tran-Jørgensen / githubweb
  50. Add more tests for static fields (commit: 9789184) — Peter W. V. Tran-Jørgensen / githubweb
  51. Renaming for VDM quote type. (commit: 63164b5) — Victor Bandur / githubweb
  52. Fix code generation of static field access (commit: 78b8efd) — Peter W. V. Tran-Jørgensen / githubweb
  53. Test that issue with code generation of static field access is fixed (commit: 8e0b271) — Peter W. V. Tran-Jørgensen / githubweb
  54. Fix issue with assignments to static fields (commit: 5667eec) — Peter W. V. Tran-Jørgensen / githubweb
  55. Aligned order of parameters for Collection construction functions. (commit: fd5054e) — Victor Bandur / githubweb
  56. Preventing unimplemented math functions from generating compiler (commit: aa10d6a) — Victor Bandur / githubweb
  57. Fix: Lookup of the name of the enclosing class did not expect the system (commit: fb01ce9) — Peter W. V. Tran-Jørgensen / githubweb
  58. Clean up NameConverter (remove unused code) (commit: c4fe41e) — Peter W. V. Tran-Jørgensen / githubweb
  59. Fix the static field access transformation (commit: e37fa0a) — Peter W. V. Tran-Jørgensen / githubweb
  60. Test that the static field issues have been fixed (commit: 791575f) — Peter W. V. Tran-Jørgensen / githubweb
  61. Correct description of how to execute the runtime library tests (commit: 17eab86) — Peter W. V. Tran-Jørgensen / githubweb
  62. Integrate runtime library test into Maven build (commit: 741fd1e) — Peter W. V. Tran-Jørgensen / githubweb
  63. Disable run-lib-tests shell script (commit: 1dadc84) — Peter W. V. Tran-Jørgensen / githubweb
  64. Run cmake before executing the runtime library tests (commit: a643397) — Peter W. V. Tran-Jørgensen / githubweb
  65. Executing the runtime library test requires cmake be run (commit: e6fcc71) — Peter W. V. Tran-Jørgensen / githubweb
  66. Update description of how to execute the runtime library tests (commit: 97e69df) — Peter W. V. Tran-Jørgensen / githubweb
  67. Fixed memory leak in setting class field value.  Related to issue #29. (commit: 0edba19) — Victor Bandur / githubweb
  68. Fixes issue #29. (commit: 32e9d87) — Victor Bandur / githubweb
  69. Update C code generator plugin to export missing package (commit: f5b1f62) — Peter W. V. Tran-Jørgensen / githubweb

#109 (Sep 20, 2016 8:37:25 PM)

  1. Related to issue #4. (commit: 8cfeef0) — Victor Bandur / githubweb

#108 (Sep 20, 2016 8:07:37 PM)

  1. Related to issue #4. (commit: a53e982) — Victor Bandur / githubweb

#107 (Sep 20, 2016 7:47:03 PM)

  1. Work on not including unnecessary directories along with generated code. (commit: f0feb2a) — Victor Bandur / githubweb

#106 (Aug 18, 2016 3:53:04 PM)

  1. DOC: fixes in the README file (commit: bf4fdd8) — atfabbri / githubweb

#105 (Aug 12, 2016 5:15:33 PM)

  1. Type of the initial value of record initialization after conversion to (commit: 5aad932) — Victor Bandur / githubweb

#104 (Aug 11, 2016 8:30:24 PM)

  1. Fixed error with return type of constructor for record-to-class (commit: dfe6ebb) — Victor Bandur / githubweb

#103 (Aug 11, 2016 5:16:24 PM)

  1. Working on getting the right class constructor instead of mk_ for (commit: 7249d08) — Victor Bandur / githubweb

#102 (Aug 11, 2016 4:04:56 PM)

  1. Github issue 11 with initialization of record fields. (commit: f81e5c3) — Victor Bandur / githubweb

#101 (Aug 11, 2016 3:23:32 PM)

  1. Github static modifier issue 13. (commit: ffaab4f) — Victor Bandur / githubweb

#100 (Aug 9, 2016 5:33:25 PM)

  1. Working on making the class name available for each class to be used in (commit: 642ac41) — Victor Bandur / githubweb
  2. Each class struct now has a field named "class_name" that contains the (commit: f554aaf) — Victor Bandur / githubweb

#99 (Aug 3, 2016 1:53:17 PM)

  1. Remaining math library functions, but no tests. (commit: 98fba36) — Victor Bandur / githubweb

#98 (Jul 12, 2016 4:03:48 PM)

  1. Some test model elements for static field access bug. (commit: c62186f) — Victor Bandur / githubweb

#97 (Jul 11, 2016 4:29:46 PM)

  1. -  Added constructor to the corresponding class for record type (commit: 94df3d2) — Victor Bandur / githubweb

#96 (Jul 9, 2016 11:39:15 PM)

  1. modified: (commit: ceb5cb2) — Victor Bandur / githubweb

#95 (Jul 9, 2016 11:01:41 PM)

  1. Work in progress on changing record declarations to corresponding class (commit: f8831b4) — Victor Bandur / githubweb

#94 (Jul 9, 2016 10:55:52 PM)

  1. Fixed problem with tests introduced by record extraction to classes. (commit: b52a3b9) — Victor Bandur / githubweb

#93 (Jul 8, 2016 5:55:12 PM)

  1. Record type definitions are now transformed into standard classes and (commit: 9c6dac6) — Victor Bandur / githubweb

#92 (Jul 8, 2016 4:15:46 PM)

  1. Emitting functions to return references to static fields for FMU export. (commit: 8536610) — Victor Bandur / githubweb

#91 (Jul 7, 2016 8:43:21 PM)

  1. Intermediate work on records. (commit: 686e5e4) — Victor Bandur / githubweb

#90 (Jul 7, 2016 5:40:30 PM)

  1. Records test was in fact a test for products. (commit: 10414f3) — Victor Bandur / githubweb

#89 (Jul 7, 2016 1:02:54 PM)

  1. Clean-up. (commit: 960b658) — Victor Bandur / githubweb

#88 (Jul 7, 2016 12:15:30 PM)

  1. Code cleanup. (commit: 58c15c6) — Victor Bandur / githubweb

#87 (Jul 7, 2016 12:14:03 PM)

  1. Setting of public fields, static and non-static, through instance or (commit: de0f21f) — Victor Bandur / githubweb

#86 (Jul 7, 2016 7:32:16 AM)

  1. [maven-release-plugin] prepare release Release/0.0.2 (commit: 42f3dc2) — jenkins / githubweb
  2. [maven-release-plugin] prepare for next development iteration (commit: 83d4847) — jenkins / githubweb

#85 (Jul 6, 2016 8:29:05 PM)

  1. Read of inherited instance variables. (commit: f416017) — Victor Bandur / githubweb

#84 (Jul 5, 2016 1:19:08 PM)

  1. Further improvements to static field access. (commit: 9c66cde) — Victor Bandur / githubweb

#83 (Jul 4, 2016 1:38:51 PM)

  1. Forgot to emit non-empty body for static init functions. (commit: 67c12fe) — Victor Bandur / githubweb

#82 (Jul 4, 2016 12:57:29 PM)

  1. Ensuring that const and static init functions have bodies. (commit: fad26f4) — Victor Bandur / githubweb

#81 (Jul 4, 2016 12:09:28 PM)

  1. Setting of public fields on instances works. (commit: 15dd762) — Victor Bandur / githubweb

#80 (Jul 1, 2016 9:40:15 PM)

  1. Working on setting public fields of instances. (commit: 7323513) — Victor Bandur / githubweb

#79 (Jul 1, 2016 9:02:18 PM)

  1. Access to values works. (commit: de0401d) — Victor Bandur / githubweb

#78 (Jul 1, 2016 8:21:22 PM)

  1. Tests for field access on objects pass. (commit: 22e1d17) — Victor Bandur / githubweb

#77 (Jul 1, 2016 5:45:48 PM)

  1. Small change to test model for next field access feature, access to (commit: d7ffd1d) — Victor Bandur / githubweb

#76 (Jul 1, 2016 5:42:33 PM)

  1. -  Ongoing work on field access transformations. -  Access to fields in (commit: 3325a42) — Victor Bandur / githubweb
  2. Re-enabled test. (commit: 9dc9cbc) — Victor Bandur / githubweb

#75 (Jul 1, 2016 4:20:03 PM)

  1. More tests and fixes for field access transformation. (commit: 16f4943) — Victor Bandur / githubweb

#74 (Jul 1, 2016 3:42:28 PM)

  1. Work in progress on field access transformation. (commit: 6ce283d) — Victor Bandur / githubweb

#73 (Jun 30, 2016 5:03:33 PM)

  1. Test model for scratch work. (commit: d3730a6) — Victor Bandur / githubweb
  2. Some intermediate work and notes. (commit: 58ffaf5) — Victor Bandur / githubweb

#72 (Jun 28, 2016 9:21:33 PM)

  1. Work in progress on getting value of local field. (commit: 6efc4d8) — Victor Bandur / githubweb

#71 (Jun 28, 2016 4:05:24 PM)

  1. -  First part of cleaned field access transformation. -  Read of field (commit: 8c2eff1) — Victor Bandur / githubweb

#70 (Jun 28, 2016 1:34:37 PM)

  1. Stabilize tests. (commit: 2b7d1c6) — Victor Bandur / githubweb

#69 (Jun 28, 2016 11:44:39 AM)

  1. Committing some intermediate stuff before moving to new branch. (commit: d90af86) — Victor Bandur / githubweb

#68 (Jun 26, 2016 9:31:20 PM)

  1. Test model for incremental redevelopment of static field access (commit: c882f95) — Victor Bandur / githubweb
  2. Some temporary static field tests exercising the globals scheme. (commit: a2befee) — Victor Bandur / githubweb
  3. Reworking field access transformation. (commit: b234a76) — Victor Bandur / githubweb

#67 (Jun 26, 2016 5:28:33 PM)

  1. Refactoring of field transformations. (commit: 52e7ea6) — Victor Bandur / githubweb

#66 (Jun 26, 2016 5:09:14 PM)

  1. More transformations cleanup. (commit: 10c07a2) — Victor Bandur / githubweb
  2. More cleanup. (commit: 2dd83d6) — Victor Bandur / githubweb

#65 (Jun 24, 2016 1:40:45 PM)

  1. preparing next release (commit: ab58f15) — Kenneth Lausdahl / githubweb

#64 (Jun 23, 2016 1:45:03 PM)

  1. added repository ignore (commit: 76cf9bf) — Kenneth Lausdahl / githubweb
  2. changed overture version to 2.3.6 (commit: 60d7180) — Kenneth Lausdahl / githubweb
  3. changed incubation year and distribution management repo (commit: 2610125) — Kenneth Lausdahl / githubweb

#63 (Jun 22, 2016 10:31:50 PM)

  1. corrected scm url (commit: 31e6365) — Kenneth Lausdahl / githubweb
  2. changed distribution management section (commit: a749fd4) — Kenneth Lausdahl / githubweb
  3. removed unused dependency which is not in maven central! (commit: 895cd64) — Kenneth Lausdahl / githubweb

#62 (Jun 22, 2016 9:21:10 PM)

  1. More transformations cleanup. (commit: c167cc5) — Victor Bandur / githubweb

#61 (Jun 22, 2016 9:14:35 PM)

  1. More transformations cleanup. (commit: e01faa4) — Victor Bandur / githubweb

#60 (Jun 22, 2016 8:58:56 PM)

  1. Some transformations cleanup. (commit: f3bd2fb) — Victor Bandur / githubweb

#59 (Jun 21, 2016 6:24:55 PM)

  1. -  Have worked out where to isolate field get from field set. -  Need to (commit: ab9e4f6) — Victor Bandur / githubweb

#58 (Jun 21, 2016 11:48:32 AM)

  1. Comments. (commit: ef612e2) — Victor Bandur / githubweb

#57 (Jun 21, 2016 11:24:32 AM)

  1. Emitting constant and static member init and shutdown functions for all (commit: 494154d) — Victor Bandur / githubweb

#56 (Jun 20, 2016 5:56:26 PM)

  1. Reverted error in pom file leading to no output for JAR with (commit: 5e28c1c) — Victor Bandur / githubweb

#55 (Jun 20, 2016 5:16:39 PM)

  1. -  Use of recursive file get for calling the generator on the CLI. - (commit: d9c7267) — Victor Bandur / githubweb

#54 (Jun 20, 2016 4:20:17 PM)

  1. modified:   core/vdm2c/pom.xml (commit: 9ff6b1a) — Victor Bandur / githubweb

#53 (Jun 20, 2016 3:49:35 PM)

  1. Re-shuffle for executable JAR. (commit: 854c06d) — Victor Bandur / githubweb

#52 (Jun 20, 2016 3:09:22 PM)

  1. Converting resulting JAR into executable JAR. (commit: 7c79f7a) — Victor Bandur / githubweb

#51 (Jun 20, 2016 11:27:37 AM)

  1. restructured the cgenerator and exported the interface such that it can (commit: 938a21c) — Kenneth Lausdahl / githubweb
  2. removed comments (commit: df4ba54) — Kenneth Lausdahl / githubweb
  3. format and removed comments (commit: 0ace383) — Kenneth Lausdahl / githubweb

#50 (Jun 14, 2016 2:42:57 PM)

  1. No longer emitting debug statement via printf. (commit: 56521a3) — Victor Bandur / githubweb
  2. Fixed bug in generating includes for elements which are subsequently (commit: c08a68f) — Victor Bandur / githubweb

#49 (Jun 14, 2016 10:35:56 AM)

  1. -  Now emitting the system class as a normal class with the constructor (commit: f96ac83) — Victor Bandur / githubweb

#48 (Jun 14, 2016 9:50:00 AM)

  1. Removed system class from this test so that one can be tested in teh RT (commit: 9b4efca) — Victor Bandur / githubweb

#47 (Jun 13, 2016 3:44:52 PM)

  1. Incorrectly used File.rename(). (commit: a9d5784) — Victor Bandur / githubweb

#46 (Jun 13, 2016 1:21:45 PM)

  1. Bug in sample make file copy. (commit: 794251e) — Victor Bandur / githubweb

#45 (Jun 13, 2016 1:06:48 PM)

  1. enabled test coverate report for vdmlib (commit: ec9ae4f) — Kenneth Lausdahl / githubweb

#44 (Jun 13, 2016 1:00:24 PM)

  1. Output sample make file one level down. (commit: d4e9182) — Victor Bandur / githubweb
  2. Modified sample make file to work with new folder structure. (commit: 228b806) — Victor Bandur / githubweb

#42 (Jun 10, 2016 5:06:49 PM)

  1. -  Migration from GLib complete. -  Tests pass for new hash table (commit: 7792044) — Victor Bandur / githubweb

#41 (Jun 10, 2016 5:00:59 PM)

  1. Located the source of the failing tests. (commit: ddb5699) — Victor Bandur / githubweb

#40 (Jun 10, 2016 2:56:00 PM)

  1. New GLib-free hash table implementation works (compiles and executes), (commit: 1cba852) — Victor Bandur / githubweb

#39 (Jun 10, 2016 1:10:56 PM)

  1. Working on removing dependency on GLib. (commit: ec870cb) — Victor Bandur / githubweb

#38 (Jun 9, 2016 4:13:18 PM)

  1. Target directory still not quite right. (commit: c3ca0bd) — Victor Bandur / githubweb

#37 (Jun 9, 2016 3:59:45 PM)

  1. Native lib copy path problem. (commit: 4eab308) — Victor Bandur / githubweb

#36 (Jun 9, 2016 11:43:04 AM)

  1. Pushed with this test enabled by mistake. (commit: 138afd1) — Victor Bandur / githubweb

#35 (Jun 9, 2016 11:29:03 AM)

  1. Test for setting field.  Not implemented yet, emits SET_FIELD, needs (commit: 85d512c) — Victor Bandur / githubweb
  2. Moving copied native library files down into own folder. (commit: 5c7ea3a) — Victor Bandur / githubweb

#34 (Jun 8, 2016 11:53:44 AM)

  1. Working on adding missing tests for native library. (commit: 045bbb5) — Victor Bandur / githubweb

#33 (Jun 8, 2016 11:52:40 AM)

  1. Infrastructure for field assignment support. (commit: 8e37649) — Victor Bandur / githubweb

#32 (Jun 7, 2016 1:18:26 PM)

  1. Unintentional commit of work in progress on records. (commit: ec12439) — Victor Bandur / githubweb

#31 (Jun 7, 2016 1:15:31 PM)

  1. -  Clean-up after repository move. -  Moved tests into new vdmclib (commit: 4ca68e6) — Victor Bandur / githubweb

#30 (Jun 7, 2016 10:48:25 AM)

  1. Changed local launch configurations to reflect new location of native (commit: 9171a7b) — Victor Bandur / githubweb

#29 (Jun 6, 2016 3:13:17 PM)

  1. Feature to extract inner type from an optional type. (commit: 9da2bb0) — Victor Bandur / githubweb

#28 (Jun 6, 2016 2:32:09 PM)

  1. Unit test for mechanism to ignore VDMUnit tests. (commit: 1c5964d) — Victor Bandur / githubweb

#27 (Jun 6, 2016 2:06:37 PM)

  1. Implementation at the VDM tree level of mechanism to ignore VDMUnit (commit: 3d917c7) — Victor Bandur / githubweb

#26 (Jun 6, 2016 1:28:10 PM)

  1. A transformation-based approach to ignoring VDMUnit tests.  This is (commit: 9a64f8c) — Victor Bandur / githubweb

#25 (Jun 3, 2016 2:18:59 PM)

  1. New sample make file was not getting packaged. (commit: 4f955d5) — Victor Bandur / githubweb

#24 (Jun 3, 2016 2:03:16 PM)

  1. Jenkns problem was unrelated, re-added sample make file. (commit: 903dc09) — Victor Bandur / githubweb

#23 (Jun 3, 2016 8:49:10 AM)

  1. New sample Makefile seems to break the packaging process, removed to (commit: 6be02b4) — Victor Bandur / githubweb

#22 (Jun 2, 2016 9:15:24 PM)

  1. A sample make file that takes into account the need to link against (commit: 0cfb7bb) — Victor Bandur / githubweb

#21 (Jun 2, 2016 6:19:50 PM)

  1. Native lib files getting copied over were getting extra character at end (commit: a4543ea) — Victor Bandur / githubweb

#20 (Jun 2, 2016 2:38:23 PM)

  1. Some files which were not moved over from the old vdm2c-exploration (commit: 2a0046c) — Victor Bandur / githubweb

#19 (Jun 2, 2016 2:23:24 PM)

  1. Finished implementing ability to copy native lib files into generated (commit: b136c46) — Victor Bandur / githubweb

#18 (Jun 2, 2016 12:42:57 PM)

  1. Can copy files out of JAR now by making a temporary JAR file when taking (commit: aeb678f) — Victor Bandur / githubweb

#17 (Jun 1, 2016 8:33:19 PM)

  1. Mechanism works in the IDE plugin, just need to locate the JAR. (commit: 2e025c6) — Victor Bandur / githubweb

#16 (Jun 1, 2016 8:02:20 PM)

  1. Moving library file copy functionality to IDE plugin. (commit: e00abd1) — Victor Bandur / githubweb

#15 (Jun 1, 2016 7:41:11 PM)

  1. -  Working mechanism for extracting native C library files from JAR in (commit: c800524) — Victor Bandur / githubweb
  2. Need to insert mechanism for locating the C library jar. (commit: 20d7639) — Victor Bandur / githubweb
  3. Using relative path to JAR.  Testing to see whether it breaks on build (commit: 4a8d516) — Victor Bandur / githubweb

#14 (May 31, 2016 2:35:13 PM)

  1. Cleanup of includes etc after move. (commit: 7d106b8) — Victor Bandur / githubweb

#13 (May 31, 2016 2:12:42 PM)

  1. remove ../lib from includes (commit: a884621) — Kenneth Lausdahl / githubweb

#11 (May 31, 2016 1:48:19 PM)

  1. moved sources to root folder c (commit: 1c56ea0) — Kenneth Lausdahl / githubweb
  2. updated submodules (commit: 4693351) — Kenneth Lausdahl / githubweb

#10 (May 25, 2016 3:19:07 PM)

  1. Renamed IO library so that there are no name clashes when the VDM IO (commit: 2659022) — Victor Bandur / githubweb

#9 (May 2, 2016 5:12:21 PM)

  1. -  Making use of NULL TVPs to emulate optional types. -  Incorporated (commit: e5c51b4) — Victor Bandur / githubweb
  2. Three-valued tests for negation and conjunction. (commit: 375b27a) — Victor Bandur / githubweb
  3. Three-valued test for disjunction. (commit: 4bfcba9) — Victor Bandur / githubweb
  4. -  Remaining tests for three-valued logical operators. -  No tests yet (commit: 1ee90ea) — Victor Bandur / githubweb

#8 (Mar 22, 2016 7:50:18 PM)

  1. Added include of time.h for VDM time construct. (commit: e4e784b) — Victor Bandur / githubweb
  2. Moved include of time.h to a more high-level location. (commit: 0869429) — Victor Bandur / githubweb

#7 (Mar 11, 2016 12:47:36 PM)

  1. Missing header file. (commit: 432cab3) — Victor Bandur / githubweb

#6 (Mar 11, 2016 12:39:41 PM)

  1. Irrelevant change to test the build server. (commit: 3c988a3) — Victor Bandur / githubweb

#5 (Mar 10, 2016 12:30:31 PM)

  1. Changed the set enumeration function to take C int's instead of TVPs. (commit: d96b111) — Victor Bandur / githubweb
  2. Refactored pretty printing into its own file. (commit: 0c46d29) — Victor Bandur / githubweb
  3. Minor code cleanup. (commit: d90488d) — Victor Bandur / githubweb

#4 (Mar 4, 2016 11:09:53 PM)

  1. added cases test (commit: cb91dbe) — Kenneth Lausdahl / githubweb
  2. Stub for IO library with implementation of echo function. (commit: 714b276) — Kenneth Lausdahl / githubweb
  3. Started work on pretty printing.  Implemented pretty printing of Boolean (commit: 6635de5) — Victor Bandur / githubweb
  4. Implementation of pretty printing of integers. (commit: 9ad33f0) — Victor Bandur / githubweb
  5. Inserted an important comment. (commit: c179142) — Victor Bandur / githubweb
  6. Implementation of pretty printing for individual chars. (commit: 9ff2126) — Victor Bandur / githubweb
  7. Implementation of printing function for reals. (commit: 911410a) — Victor Bandur / githubweb
  8. Continuing with implementation of IO library.  Some restructuring. (commit: 9961469) — Victor Bandur / githubweb
  9. Moved pretty printing system up a level of abstraction to TypedValue in (commit: 7744dfb) — Victor Bandur / githubweb
  10. -  Started implementation of pretty printing of collections. -  Started (commit: 93eb88a) — Victor Bandur / githubweb
  11. Implementation of println. (commit: da4c73b) — Victor Bandur / githubweb
  12. Working implementation of pretty printing of sets. (commit: 5c47752) — Victor Bandur / githubweb
  13. -  Plugged a memory leak in set pretty printing. -  Comments (commit: 7711bab) — Victor Bandur / githubweb
  14. Working pretty printing implementation for sequences. (commit: 4b85f13) — Victor Bandur / githubweb
  15. A temporary modification to print sequences of chars as strings instead (commit: ed4b213) — Victor Bandur / githubweb
  16. moved includes and ifdefed all IO (commit: c20775f) — Kenneth Lausdahl / githubweb