Changes

Porting over garbage collector from LFR repository.
 (commit: 7896642)

Adding GC interface to basic value creators.
 (commit: b2e9ec9)

GC version of vdmSum.
 (commit: db1e783)

Warning fixes.
 (commit: f85a165)

Garbage collected versions of all numeric operations.
 (commit: 1112e9c)

Remaining GC implementations for operations on basic types.
 (commit: 04112bc)

GC-enabled vdmClone.
 (commit: 6be46bc)

Fixes to the GC linked list.
 (commit: 76fddf8)

Collection fix.
 (commit: 22f438c)

Fix to deallocate entire list during vdm_gc_shutdown().
 (commit: ae05a93)

Refactored GC into its own files.
 (commit: fb49174)

GC versions of GET_FIELD and GET_FIELD_PTR.
 (commit: 305ac34)

Better names for linked list functions.
 (commit: f94a335)

Smaller maximal type improvement for GC version.
 (commit: d9ab423)

GC version of vdmEquals.
 (commit: 43d7b9b)

Duplicating tests to use the GC.
 (commit: 53471ff)

Migrated to singly-linked list in the GC, memory savings estimated at
around 20%.
 (commit: 8392f61)

Fix broken GC test.
 (commit: b8e2b4b)

Fix in pointer assignment inside collection function according to test
on PIC simulator.
 (commit: 0b6d469)

Clean up LogicTrans
 (commit: 9a5d238)

Construct numeric expressions as apply expressions
 (commit: d0016e4)

Introduce CGenSettings
 (commit: 7af539f)

Initial work on a garbage collection transformation
 (commit: e8ee264)

Update VDM2C CLI with GC option
 (commit: baccb86)

Upgrade GarbageCollectionTrans to handle numeric comparison
 (commit: dde42d8)

Update GarbageColllectionTrans to handle equality
 (commit: 0978034)

Clean up ValueSemantics
 (commit: dd95a2c)

Update GarbageCollectionTrans to emit vdmCloneCG
 (commit: b766734)

Update GarbageCollectionTrans to emit GET_FIELD_GC
 (commit: 34569ce)

Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC
 (commit: e93e71c)

-  Changed vdmFree and the GC so that they do not interfere with each
other. -  Running all the corresponding tests one-by-one leads to
success, but running them inside the test framework leads to
segmentation faults.  It seems impossible to turn off threading entirely
in GTest, despite the cmake option -Dgtest_disable_pthreads.
 (commit: e2a745e)

Updated GC shutdown procedure with better cleanup for compatibility with
vdmFree().
 (commit: ff35379)

Removed unused vdmNotEqual and vdmNotEqualGC functions.
 (commit: f73659c)

Removed vdmNotEqual test.
 (commit: 178d7d6)

Added missing function headers for vdmAnd etc.
 (commit: a360f53)

Removed unused nat, nat1 and int1 functions.
 (commit: 2af6752)

Update LogicTrans to handle vdmXor
 (commit: cf24e2f)

update GarbageCollectionTrans to handle boolean binary expressions
 (commit: e275397)

Fix handling of field accessors in GarbageCollectionTrans
 (commit: e063159)

Implementation of SET_FIELD_GC().
 (commit: b9c8c46)

Update GarbageCollectionTrans to handle setters
 (commit: 745fa33)

Update GarbageCollectionTrans to not handle field initializer
 (commit: d0804bd)

Add fixture class to manage garbage collection during testing
 (commit: f354368)

Run NativeClasses tests with garbage collection turned on
 (commit: bbd0711)

Run Native tests with garbage collection turned on
 (commit: fd0cf6c)

Modified generated main.c file to include calls to vdm_gc_init() and
vdm_gc_shutdown().
 (commit: 1a68d0e)

Update GarbageCollectionTrans to use regular GET/SET in field
initializers
 (commit: 9bb9688)

Add case study submodules
 (commit: cf60664)

Fix generation of call to default super constructor
Closes #71
 (commit: aa5bb68)

Fix in the collector that avoids interference between references to
previously allocated memory and the stack variables of the current
invokation of the collector.
 (commit: ef66f29)

Guard against null pointers
 (commit: f89b24d)

Add case study model compilation regression testing
Closes #61
 (commit: cbf3c4f)

Work on restructuring the runtime library so that unused parts can be
excluded at compilation time.
 (commit: e49a706)

Additional includes to Vdm.h needed for generated code, not for the rest
of the runtime library.
 (commit: ef4d660)

Add 'set' feature analysis
Addresses #72
 (commit: 40861a2)

Add 'seq/seq1` feature analysis
Addresses #72
 (commit: 640e968)

Add `map`/`inmap` feature analysis
 (commit: 1cd4d20)

Integrate all feature analyses and detect use of VDM libraries
Addresses #72
 (commit: d9a2745)

Test feature analyses
Addresses #72
 (commit: 3d3fb06)

Translate feature files to C definitions
 (commit: 137af13)

Update CGen to support feature analysis
 (commit: 2b43640)

Update VDM2C CLI to generate the feature file
Addresses #72
 (commit: 4e1ec52)

Add feature analysis for patterns
Addresses #72
 (commit: 7e76aa8)

Check that use of patterns is detected
Addresses #72
 (commit: 7392983)

Add feature analysis for products
Addresses #72
 (commit: 17b3880)

Test that the feature analysis for products works
Addresses #72
 (commit: 8aabd5e)

Emit missing NO_PRODUCTS definition
Addresses #72
 (commit: 7d8b382)

Add feature analysis for records
Addresses #72
 (commit: 729d093)

Test that the feature analysis for records works
Addresses #72
 (commit: 8be62f8)

Update the feature analysis to take GC into account
Addresses #72
 (commit: 79153d5)

Update the VDM2C plugin to emit VdmModelFeatures.h
Addresses #72
 (commit: d87cd39)

Update the VDM2C plugin to use GC by default
Addresses #68
 (commit: c1d052c)

Runtime support for self expressions.
 (commit: b1fb5a9)

GC suffix typo.
 (commit: 457d042)

Use SELF macro to represent self expressions
 (commit: d96b655)

Update GC to handle self expressions
Addresses #68
 (commit: dcd52a5)

Exclusion of runtime tests based on VdmModelFeatures.h file.
 (commit: 6b72d34)

Exclusion of pattern matching based on VdmModelFeatures.h file.
 (commit: a0c22b3)

Excluding maps from the runtime library based on VdmModelFeatures.h
file.  Addresses #72.
 (commit: a2632a6)

Exclusion of products and the CSV library, which depends on products,
from the runtime library based on VdmModelFeatures.h file.
 (commit: dc38fc6)

Fix to exclusion of products and CSV library based on VdmModelFeatures.h
file.  Addresses #72.
 (commit: fc8d98f)

Exclude maps from pattern mechanism based on VdmModelFeatures.h file.
Addresses #72.
 (commit: 274b2cc)

Exclusion of sequences and sets according to VdmModelFeatures.h file and
the use of maps in the model.  Addresses #72.
 (commit: 2225bec)

Exclusion of RecordType based on VdmModelFeatures.h file.
 (commit: 4c33fa2)

Exclusion of MATH library based on VdmModelFeatures.h file.
 (commit: 54ccd19)

Exclusion of IO library based on VdmModelFeatures.h file.
 (commit: a2720a0)

Fix issue with CSV detection
Addresses #72
 (commit: b9fcf47)

Add empty VdmModelFeatures.h file for testing purposes
Addresses #72
 (commit: 14dc1f3)

Fix map, sequence and sets exclusion logic in generator
Addresses #72
 (commit: 53a5411)

-  Fixes after change to resrouces level VdmModelFeatures.h file. - 
More exclusion of records based on VdmModelFeatures.h file. -  Addresses
#72.
 (commit: 897b430)

Use Email-ext to notify on build failures
Make sure build status is set on failure
Notify on build failure
 (commit: 382681e)

Extra CALL_FUNC macros and type cast fixes.  Addresses #72.
 (commit: 33c1f6c)

Method-level exclusion of sequence-based operations from IO library
based on VdmModelFeatures.h file.  Addresses #72.
 (commit: 85aaaf8)

Exclusion of sets from sequences based on VdmModelFeatures.h file.
Addresses #72.
 (commit: b96790e)

First implementation of mechanism for calling the GC automatically.
 (commit: 3d72259)

Disabling auto GC calling feature for further development.
 (commit: 39b2e6a)