Started 3 yr 3 mo ago
Took 9 min 14 sec on master

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

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

Started by GitHub push by bandurvp

Revision: 39b2e6a57f0711b30ef7506e8e5f5de7ead1d36c
  • refs/remotes/origin/development