Changes

Porting over garbage collector from LFR repository.

Adding GC interface to basic value creators.

GC version of vdmSum.

Warning fixes.

Garbage collected versions of all numeric operations.

Remaining GC implementations for operations on basic types.

GC-enabled vdmClone.

Fixes to the GC linked list.

Collection fix.

Fix to deallocate entire list during vdm_gc_shutdown().

Refactored GC into its own files.

GC versions of GET_FIELD and GET_FIELD_PTR.

Better names for linked list functions.

Smaller maximal type improvement for GC version.

GC version of vdmEquals.

Duplicating tests to use the GC.

Migrated to singly-linked list in the GC, memory savings estimated at
around 20%.

Fix broken GC test.

Improve extensibility of NativeTestBase

Avoid hard coding values

Clean up NumericTrans

Update tests to use google test fixtures

Update test system to generate a fixture class

Fix in pointer assignment inside collection function according to test
on PIC simulator.

Clean up LogicTrans

Construct numeric expressions as apply expressions

Introduce CGenSettings

Initial work on a garbage collection transformation

Update VDM2C CLI with GC option

Upgrade GarbageCollectionTrans to handle numeric comparison

Update GarbageColllectionTrans to handle equality

Clean up ValueSemantics

Update GarbageCollectionTrans to emit vdmCloneCG

Update GarbageCollectionTrans to emit GET_FIELD_GC

Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC

-  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.

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

Removed unused vdmNotEqual and vdmNotEqualGC functions.

Removed vdmNotEqual test.

Added missing function headers for vdmAnd etc.

Removed unused nat, nat1 and int1 functions.

Update LogicTrans to handle vdmXor

update GarbageCollectionTrans to handle boolean binary expressions

Fix handling of field accessors in GarbageCollectionTrans

Implementation of SET_FIELD_GC().

Update GarbageCollectionTrans to handle setters

Update GarbageCollectionTrans to not handle field initializer

Add fixture class to manage garbage collection during testing

Run NativeClasses tests with garbage collection turned on

Run Native tests with garbage collection turned on

[maven-release-plugin] prepare release Release/0.0.20
Bump ide/ to version 0.0.20

[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.21-SNAPSHOT

Modified generated main.c file to include calls to vdm_gc_init() and
vdm_gc_shutdown().

Update GarbageCollectionTrans to use regular GET/SET in field
initializers

Add case study submodules

Fix generation of call to default super constructor
Closes #71

Fix generation of call to default super constructor
Closes #71

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

Guard against null pointers

Add case study model compilation regression testing
Closes #61

Work on restructuring the runtime library so that unused parts can be
excluded at compilation time.

Additional includes to Vdm.h needed for generated code, not for the rest
of the runtime library.

Add 'set' feature analysis
Addresses #72

Add 'seq/seq1` feature analysis
Addresses #72

Add `map`/`inmap` feature analysis

Integrate all feature analyses and detect use of VDM libraries
Addresses #72

Test feature analyses
Addresses #72

Translate feature files to C definitions

Update CGen to support feature analysis

Update VDM2C CLI to generate the feature file
Addresses #72

Add feature analysis for patterns
Addresses #72

Check that use of patterns is detected
Addresses #72

Add feature analysis for products
Addresses #72

Test that the feature analysis for products works
Addresses #72

Emit missing NO_PRODUCTS definition
Addresses #72

Add feature analysis for records
Addresses #72

Test that the feature analysis for records works
Addresses #72

Update the feature analysis to take GC into account
Addresses #72

Update the VDM2C plugin to emit VdmModelFeatures.h
Addresses #72

Update the VDM2C plugin to use GC by default
Addresses #68

Runtime support for self expressions.

GC suffix typo.

Use SELF macro to represent self expressions

Update GC to handle self expressions
Addresses #68

Add Jenkinsfile

Update Jenkinsfile to initialize submodules

Remove release procedure from README

Remove development environment description from README

Exclusion of runtime tests based on VdmModelFeatures.h file.

Exclusion of pattern matching based on VdmModelFeatures.h file.

Excluding maps from the runtime library based on VdmModelFeatures.h
file.  Addresses #72.

Exclusion of products and the CSV library, which depends on products,
from the runtime library based on VdmModelFeatures.h file.

Fix to exclusion of products and CSV library based on VdmModelFeatures.h
file.  Addresses #72.

Exclude maps from pattern mechanism based on VdmModelFeatures.h file.
Addresses #72.

Exclusion of sequences and sets according to VdmModelFeatures.h file and
the use of maps in the model.  Addresses #72.

Exclusion of RecordType based on VdmModelFeatures.h file.

Exclusion of MATH library based on VdmModelFeatures.h file.

Exclusion of IO library based on VdmModelFeatures.h file.

Fix issue with CSV detection
Addresses #72

Add empty VdmModelFeatures.h file for testing purposes
Addresses #72

Fix map, sequence and sets exclusion logic in generator
Addresses #72

-  Fixes after change to resrouces level VdmModelFeatures.h file. - 
More exclusion of records based on VdmModelFeatures.h file. -  Addresses
#72.

Use Email-ext to notify on build failures
Make sure build status is set on failure
Notify on build failure

Extra CALL_FUNC macros and type cast fixes.  Addresses #72.

Method-level exclusion of sequence-based operations from IO library
based on VdmModelFeatures.h file.  Addresses #72.

Exclusion of sets from sequences based on VdmModelFeatures.h file.
Addresses #72.

First implementation of mechanism for calling the GC automatically.

Disabling auto GC calling feature for further development.

Remove unused include time.h.

Some cleanup based on pedantic warnings from the compiler during the
ATMega128 exercise.

Fix pointer comparison in mechanism that delays reclamation in case of
collision with current stack variables.

Add VDM2C version number to generated code
Addresses #73

Fixed CSV library to read resource files properly, whether in
co-simulation or standalone.

Add VDM2C version 0.1.0 release notes

Prepare release of VDM2C 0.1.0