Changes
Summary
- Porting over garbage collector from LFR repository. (details)
- Adding GC interface to basic value creators. (details)
- GC version of vdmSum. (details)
- Warning fixes. (details)
- Garbage collected versions of all numeric operations. (details)
- Remaining GC implementations for operations on basic types. (details)
- GC-enabled vdmClone. (details)
- Fixes to the GC linked list. (details)
- Collection fix. (details)
- Fix to deallocate entire list during vdm_gc_shutdown(). (details)
- Refactored GC into its own files. (details)
- GC versions of GET_FIELD and GET_FIELD_PTR. (details)
- Better names for linked list functions. (details)
- Smaller maximal type improvement for GC version. (details)
- GC version of vdmEquals. (details)
- Duplicating tests to use the GC. (details)
- Migrated to singly-linked list in the GC, memory savings estimated at (details)
- Fix broken GC test. (details)
- Improve extensibility of NativeTestBase (details)
- Avoid hard coding values (details)
- Clean up NumericTrans (details)
- Update tests to use google test fixtures (details)
- Update test system to generate a fixture class (details)
- Fix in pointer assignment inside collection function according to test (details)
- Clean up LogicTrans (details)
- Construct numeric expressions as apply expressions (details)
- Introduce CGenSettings (details)
- Initial work on a garbage collection transformation (details)
- Update VDM2C CLI with GC option (details)
- Upgrade GarbageCollectionTrans to handle numeric comparison (details)
- Update GarbageColllectionTrans to handle equality (details)
- Clean up ValueSemantics (details)
- Update GarbageCollectionTrans to emit vdmCloneCG (details)
- Update GarbageCollectionTrans to emit GET_FIELD_GC (details)
- Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC (details)
- - Changed vdmFree and the GC so that they do not interfere with each (details)
- Updated GC shutdown procedure with better cleanup for compatibility with (details)
- Removed unused vdmNotEqual and vdmNotEqualGC functions. (details)
- Removed vdmNotEqual test. (details)
- Added missing function headers for vdmAnd etc. (details)
- Removed unused nat, nat1 and int1 functions. (details)
- Update LogicTrans to handle vdmXor (details)
- update GarbageCollectionTrans to handle boolean binary expressions (details)
- Fix handling of field accessors in GarbageCollectionTrans (details)
- Implementation of SET_FIELD_GC(). (details)
- Update GarbageCollectionTrans to handle setters (details)
- Update GarbageCollectionTrans to not handle field initializer (details)
- Add fixture class to manage garbage collection during testing (details)
- Run NativeClasses tests with garbage collection turned on (details)
- Run Native tests with garbage collection turned on (details)
- [maven-release-plugin] prepare release Release/0.0.20 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Modified generated main.c file to include calls to vdm_gc_init() and (details)
- Update GarbageCollectionTrans to use regular GET/SET in field (details)
- Add case study submodules (details)
- Fix generation of call to default super constructor (details)
- Fix generation of call to default super constructor (details)
- Fix in the collector that avoids interference between references to (details)
- Guard against null pointers (details)
- Add case study model compilation regression testing (details)
- Work on restructuring the runtime library so that unused parts can be (details)
- Additional includes to Vdm.h needed for generated code, not for the rest (details)
- Add 'set' feature analysis (details)
- Add 'seq/seq1` feature analysis (details)
- Add `map`/`inmap` feature analysis (details)
- Integrate all feature analyses and detect use of VDM libraries (details)
- Test feature analyses (details)
- Translate feature files to C definitions (details)
- Update CGen to support feature analysis (details)
- Update VDM2C CLI to generate the feature file (details)
- Add feature analysis for patterns (details)
- Check that use of patterns is detected (details)
- Add feature analysis for products (details)
- Test that the feature analysis for products works (details)
- Emit missing NO_PRODUCTS definition (details)
- Add feature analysis for records (details)
- Test that the feature analysis for records works (details)
- Update the feature analysis to take GC into account (details)
- Update the VDM2C plugin to emit VdmModelFeatures.h (details)
- Update the VDM2C plugin to use GC by default (details)
- Runtime support for self expressions. (details)
- GC suffix typo. (details)
- Use SELF macro to represent self expressions (details)
- Update GC to handle self expressions (details)
- Add Jenkinsfile (details)
- Update Jenkinsfile to initialize submodules (details)
- Remove release procedure from README (details)
- Remove development environment description from README (details)
- Exclusion of runtime tests based on VdmModelFeatures.h file. (details)
- Exclusion of pattern matching based on VdmModelFeatures.h file. (details)
- Excluding maps from the runtime library based on VdmModelFeatures.h (details)
- Exclusion of products and the CSV library, which depends on products, (details)
- Fix to exclusion of products and CSV library based on VdmModelFeatures.h (details)
- Exclude maps from pattern mechanism based on VdmModelFeatures.h file. (details)
- Exclusion of sequences and sets according to VdmModelFeatures.h file and (details)
- Exclusion of RecordType based on VdmModelFeatures.h file. (details)
- Exclusion of MATH library based on VdmModelFeatures.h file. (details)
- Exclusion of IO library based on VdmModelFeatures.h file. (details)
- Fix issue with CSV detection (details)
- Add empty VdmModelFeatures.h file for testing purposes (details)
- Fix map, sequence and sets exclusion logic in generator (details)
- - Fixes after change to resrouces level VdmModelFeatures.h file. - (details)
- Use Email-ext to notify on build failures (details)
- Extra CALL_FUNC macros and type cast fixes. Addresses #72. (details)
- Method-level exclusion of sequence-based operations from IO library (details)
- Exclusion of sets from sequences based on VdmModelFeatures.h file. (details)
- First implementation of mechanism for calling the GC automatically. (details)
- Disabling auto GC calling feature for further development. (details)
- Remove unused include time.h. (details)
- Some cleanup based on pedantic warnings from the compiler during the (details)
- Fix pointer comparison in mechanism that delays reclamation in case of (details)
- Add VDM2C version number to generated code (details)
- Fixed CSV library to read resource files properly, whether in (details)
- Add VDM2C version 0.1.0 release notes (details)
- Prepare release of VDM2C 0.1.0 (details)