Changes

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

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

Update to CMake file with respect to including VdmModelFeatures.h file.

Refactor test code

Mangle token types
Closes #81

Update CompatibleMethodCollector to handle pre and postcondition
expressions

Remove packaging phase from Jenkinsfile

Convert tokens to apply expressions
Addresses issue #80

Update garbage collection transformation to handle tokens
Addresses issue #80

Fix handling of token values in literal transformation

Move bool conversion to comprehension strategies
Related to issue #82

Add support for forall (quantified) expressions
Addresses #82

Test translation of forall (quantified expressions)
Addresses #82

Support 'exists' quantified expressions
Addresses #82

More testing of 'forall' and 'exists'
Addresses #82

Conditionally including ctype.h for use in CSV library.

Code cleanup.

Noticed and fixed bug that allocated a lot more memory than necessary
for TVPs inside collections.

Factored out unpackstring utility function for use with token types.

WIP adding token type support.

WIP support for token types.

Pass 'this' to field initialisers
Closes #83

Update VDM2C CLI to accept VDM++ files
Closes #84

Update test file filter

Runtime library support for token types.

Test code-generation of tokens
Closes #80

Initial runtime support for creation of GC compatible sequences.

-  Almost complete support for GC-compatible sequences. -  Missing
set-valued functions until GC support is added for sets.

Convert sequence enumerations to apply expressions
Work on issue #85

Update garbage collection transformation to handle sequences
Closes #85

Remove redundant test

Remove test code that is not used anymore

Ensure that test models are type correct
Closes #86

Remove declaration templates that are not used
Addresses #79

Clean up expression templates
Addresses #79

Clean up statement templates
Addresses #79

Clean up type templates
Closes #79

Print C output folder as the last step

Change NameMangler to not report errors for unsupported types
Related to #78

Remove header files if the corresponding C sources cannot be generated
Closes #78

WIP GC support for sets.

Head file cleanup.

Added set-valued functions.

WIP GC support for maps in runtime library.

Ensure folder structure when file is emitted

Refactor collection enumeration transformation
Work on #87

Transform set enumerations to apply expressions
Addresses #87

Update garbage collection transformation to handle newSetVar

Add GC support for 'tl'
Addresses #87

Add GC support for 'len'
Addresses #87

Add GC support for 'hd'
Addresses #87

Add GC support for sequence concatenation
Addresses #87

Add GC support for 'reverse'
Addresses #87

Clean up apply template

Add GC support for sequence look-up
Addresses #87

WIP GC support for maps. -  GC interface for implemented. -  vdmFree
implemented -  vdmClone not yet implemented

WIP GC support for maps. -  vdmClone implemented.

Initial complete GC support for maps for non-GLib hash table branch.

WIP GC support for maps with GLib hash table implementation.

GC support for newMapVarToGrow.

-  Missing declarations. -  Fix for mismatched va_arg.

-  Memory leak fixes for maps. -  Addresses # 87.

Eliminated some compiler warnings related to const qualifiers on
pointers.

-  GC interface for products. -  Addresses #87.

-  Pretty printing support for products (tuples). -  Addresses #88.

Add GC support for vdmSetElementAt (used by CForIterator)
Work on #87

Add GC support for 'in set'
Addresses #87

Add GC support for 'union'
Addresses #87

Add GC support for 'inter'
Addresses #87

Add GC support for '\' (set difference)
Addresses #87

Add GC support for 'subset'
Addresses #87

Add GC support for 'psubset'
Addresses #87

Add GC support for 'card'
Addresses #87

Add GC support for 'dunion'
Addresses #87

Add GC support for 'dinter'
Addresses #87

Add GC support for 'power'
Addresses #87

Add GC support for map enumerations
Addresses #87

Add GC support for 'dom'
Addresses #87

Fix handling of 'newMapVarToGrowGC'
Addresses #87

Add GC support for 'rng'
Addresses #87

Clean up imports

Add GC support for 'munion'
Addresses #87

Fix map enumerations, GC version
Addresses #87

Interface cleanup in runtime library for sequences.

Add GC support for map look-ups
Addresses #87

Convert tuple expressions to apply expressions
Addresses #87

Add GC support for tuple expressions
Addresses #87

Add GC support for tuple field access
Addresses #87

Run value type tests with GC enabled
Related to #87

Interface cleanup for sets.

-  Interface cleanup for maps in runtime library. -  Addresses #87.

-  Interface cleanup for products in runtime library. -  Addresses #87.

Conditionally excluding PrettyPrint.

Fix in vdmSetGrow in accordance with errors from valgrind.

Mechanism that detects interference with current stack frame variables
now checks interference for address range covering entire size of
variable instead of just matching the starting address of the variable.

-  Fixed memory leak in maps. -  Addresses #87.

-  Set clone test in accordance with observation on generated AlarmPP
example where freeing the source of a cloned value frees the clone.  Not
reproducible in the runtime library. -  Addresses #87.

-  GC support for newSetVarToGrow. -  Addresses #87.

-  Modifications and test for GC support for sets. -  Addresses #87.

Add GC support for 'newSetVarToGrowGC'
Addresses #87

-  Enabled compiler warnings in runtime library. -  Cleanup based on
warnings.

Enabled compiler warnings in generated code CMake file.

-  Fix for vdmSetVarToGrowGC crash. -  Addresses #87.

-  Improvement to GC stack variable interference detection mechanism. - 
Addresses #87.

Cleanup.

Don't pass addresses of "return" variables to garbage collector
Addresses #87 and #89

Add GC support for 'elems'
Addresses #87

Add GC support for 'inds'
Addresses #87

Reverted "Cleanup" commit causing failure on build server.

Support map overrides, the '++' operator (no GC)
Related to issue #87

Support distributed map merge, the 'merge' operator (no GC)
Related to issue #87

Support distributed map-domain-restrict-to operator (no GC)
Related to issue #87

Support map-domain-restrict-by operator (no GC)
Related to issue #87

Change argument order for map-range operators

Support map-range-restrict-to operator (no GC)
Related to issue #87

-  Made runtime library code C99-compliant. -  Addresses #91.

Support map-range-restrict-by operator (no GC)
Related to issue #87

Remove TODO that does not really apply anymore

Add GC support for map override
Addresses #87

Add GC support for distributed merge
Addresses #87

Add GC support for map-dom-restrict-to
Addresses #87

Add GC support for map-dom-resrict-by
Addresses #87

Add GC support for map-range-restrict-to
Addresses #87

Add GC support for map-restrict-range-by
Closes #87

-  Further C89 improvements in runtime library. -  Addresses #91.

-  CMakeLists.txt file for generator tests now forces C99 dialect. - 
Addresses #91.

Add missing 'clone' call

Add missing type to constructor call

Approximate macro expression type

-  Changing comments to C89 style. -  Addresses #91.

Accounting for CUSTOM_IO definition in FMU export.

-  Including VdmRecord.h in Vdm.h. -  Addresses #21

Make generated code C89 compliant
Closes #93

Add release notes for version 0.1.6

Prepare release of VDM2C version 0.1.6