Started 3 yr 4 mo ago
Took 8 min 3 sec on master

Failed Build #56 (Mar 3, 2017 2:05:29 PM)

Changes
  1. Porting over garbage collector from LFR repository. (details / githubweb)
  2. Adding GC interface to basic value creators. (details / githubweb)
  3. GC version of vdmSum. (details / githubweb)
  4. Warning fixes. (details / githubweb)
  5. Garbage collected versions of all numeric operations. (details / githubweb)
  6. Remaining GC implementations for operations on basic types. (details / githubweb)
  7. GC-enabled vdmClone. (details / githubweb)
  8. Fixes to the GC linked list. (details / githubweb)
  9. Collection fix. (details / githubweb)
  10. Fix to deallocate entire list during vdm_gc_shutdown(). (details / githubweb)
  11. Refactored GC into its own files. (details / githubweb)
  12. GC versions of GET_FIELD and GET_FIELD_PTR. (details / githubweb)
  13. Better names for linked list functions. (details / githubweb)
  14. Smaller maximal type improvement for GC version. (details / githubweb)
  15. GC version of vdmEquals. (details / githubweb)
  16. Duplicating tests to use the GC. (details / githubweb)
  17. Migrated to singly-linked list in the GC, memory savings estimated at (details / githubweb)
  18. Fix broken GC test. (details / githubweb)
  19. Improve extensibility of NativeTestBase (details / githubweb)
  20. Avoid hard coding values (details / githubweb)
  21. Clean up NumericTrans (details / githubweb)
  22. Update tests to use google test fixtures (details / githubweb)
  23. Update test system to generate a fixture class (details / githubweb)
  24. Fix in pointer assignment inside collection function according to test (details / githubweb)
  25. Clean up LogicTrans (details / githubweb)
  26. Construct numeric expressions as apply expressions (details / githubweb)
  27. Introduce CGenSettings (details / githubweb)
  28. Initial work on a garbage collection transformation (details / githubweb)
  29. Update VDM2C CLI with GC option (details / githubweb)
  30. Upgrade GarbageCollectionTrans to handle numeric comparison (details / githubweb)
  31. Update GarbageColllectionTrans to handle equality (details / githubweb)
  32. Clean up ValueSemantics (details / githubweb)
  33. Update GarbageCollectionTrans to emit vdmCloneCG (details / githubweb)
  34. Update GarbageCollectionTrans to emit GET_FIELD_GC (details / githubweb)
  35. Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC (details / githubweb)
  36. -  Changed vdmFree and the GC so that they do not interfere with each (details / githubweb)
  37. Updated GC shutdown procedure with better cleanup for compatibility with (details / githubweb)
  38. Removed unused vdmNotEqual and vdmNotEqualGC functions. (details / githubweb)
  39. Removed vdmNotEqual test. (details / githubweb)
  40. Added missing function headers for vdmAnd etc. (details / githubweb)
  41. Removed unused nat, nat1 and int1 functions. (details / githubweb)
  42. Update LogicTrans to handle vdmXor (details / githubweb)
  43. update GarbageCollectionTrans to handle boolean binary expressions (details / githubweb)
  44. Fix handling of field accessors in GarbageCollectionTrans (details / githubweb)
  45. Implementation of SET_FIELD_GC(). (details / githubweb)
  46. Update GarbageCollectionTrans to handle setters (details / githubweb)
  47. Update GarbageCollectionTrans to not handle field initializer (details / githubweb)
  48. Add fixture class to manage garbage collection during testing (details / githubweb)
  49. Run NativeClasses tests with garbage collection turned on (details / githubweb)
  50. Run Native tests with garbage collection turned on (details / githubweb)
  51. [maven-release-plugin] prepare release Release/0.0.20 (details / githubweb)
  52. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  53. Modified generated main.c file to include calls to vdm_gc_init() and (details / githubweb)
  54. Update GarbageCollectionTrans to use regular GET/SET in field (details / githubweb)
  55. Add case study submodules (details / githubweb)
  56. Fix generation of call to default super constructor (details / githubweb)
  57. Fix generation of call to default super constructor (details / githubweb)
  58. Fix in the collector that avoids interference between references to (details / githubweb)
  59. Guard against null pointers (details / githubweb)
  60. Add case study model compilation regression testing (details / githubweb)
  61. Work on restructuring the runtime library so that unused parts can be (details / githubweb)
  62. Additional includes to Vdm.h needed for generated code, not for the rest (details / githubweb)
  63. Add 'set' feature analysis (details / githubweb)
  64. Add 'seq/seq1` feature analysis (details / githubweb)
  65. Add `map`/`inmap` feature analysis (details / githubweb)
  66. Integrate all feature analyses and detect use of VDM libraries (details / githubweb)
  67. Test feature analyses (details / githubweb)
  68. Translate feature files to C definitions (details / githubweb)
  69. Update CGen to support feature analysis (details / githubweb)
  70. Update VDM2C CLI to generate the feature file (details / githubweb)
  71. Add feature analysis for patterns (details / githubweb)
  72. Check that use of patterns is detected (details / githubweb)
  73. Add feature analysis for products (details / githubweb)
  74. Test that the feature analysis for products works (details / githubweb)
  75. Emit missing NO_PRODUCTS definition (details / githubweb)
  76. Add feature analysis for records (details / githubweb)
  77. Test that the feature analysis for records works (details / githubweb)
  78. Update the feature analysis to take GC into account (details / githubweb)
  79. Update the VDM2C plugin to emit VdmModelFeatures.h (details / githubweb)
  80. Update the VDM2C plugin to use GC by default (details / githubweb)
  81. Runtime support for self expressions. (details / githubweb)
  82. GC suffix typo. (details / githubweb)
  83. Use SELF macro to represent self expressions (details / githubweb)
  84. Update GC to handle self expressions (details / githubweb)
  85. Add Jenkinsfile (details / githubweb)
  86. Update Jenkinsfile to initialize submodules (details / githubweb)
  87. Remove release procedure from README (details / githubweb)
  88. Remove development environment description from README (details / githubweb)
  89. Exclusion of runtime tests based on VdmModelFeatures.h file. (details / githubweb)
  90. Exclusion of pattern matching based on VdmModelFeatures.h file. (details / githubweb)
  91. Excluding maps from the runtime library based on VdmModelFeatures.h (details / githubweb)
  92. Exclusion of products and the CSV library, which depends on products, (details / githubweb)
  93. Fix to exclusion of products and CSV library based on VdmModelFeatures.h (details / githubweb)
  94. Exclude maps from pattern mechanism based on VdmModelFeatures.h file. (details / githubweb)
  95. Exclusion of sequences and sets according to VdmModelFeatures.h file and (details / githubweb)
  96. Exclusion of RecordType based on VdmModelFeatures.h file. (details / githubweb)
  97. Exclusion of MATH library based on VdmModelFeatures.h file. (details / githubweb)
  98. Exclusion of IO library based on VdmModelFeatures.h file. (details / githubweb)
  99. Fix issue with CSV detection (details / githubweb)
  100. Add empty VdmModelFeatures.h file for testing purposes (details / githubweb)
  101. Fix map, sequence and sets exclusion logic in generator (details / githubweb)
  102. -  Fixes after change to resrouces level VdmModelFeatures.h file. - (details / githubweb)
  103. Use Email-ext to notify on build failures (details / githubweb)
  104. Extra CALL_FUNC macros and type cast fixes.  Addresses #72. (details / githubweb)
  105. Method-level exclusion of sequence-based operations from IO library (details / githubweb)
  106. Exclusion of sets from sequences based on VdmModelFeatures.h file. (details / githubweb)
  107. First implementation of mechanism for calling the GC automatically. (details / githubweb)
  108. Disabling auto GC calling feature for further development. (details / githubweb)
  109. Remove unused include time.h. (details / githubweb)
  110. Some cleanup based on pedantic warnings from the compiler during the (details / githubweb)
  111. Fix pointer comparison in mechanism that delays reclamation in case of (details / githubweb)
  112. Add VDM2C version number to generated code (details / githubweb)
  113. Fixed CSV library to read resource files properly, whether in (details / githubweb)
  114. Add VDM2C version 0.1.0 release notes (details / githubweb)
  115. Prepare release of VDM2C 0.1.0 (details / githubweb)

Started by user Peter W. V. Tran-Jørgensen

Revision: c91fa6d976da0d72164ecaa836db29f1f6540f6a
  • refs/remotes/origin/development