Changes

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

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

Fix issue with for loop transformation

Fix issue with 'new' expression transformation

Mention that the generated code is C89 compliant

Mention VDM2C documentation

Support map comprehensions
Addresses #47

Test map comprehensions
Addresses #47

Add paper example tests

Add AlarmPP example sources for testing

Add CashDispenserPP model for future testing

Update runtime to support a larger number of function arguments

Assume that the address is passed to SELF_GC

Clean up PaperExampleTests

Fix imports

-  Added cleaning phase for runtime library to Maven build cycle. - 
Changed make parallel option from 4 to 5 threads.

Fix issue with CallRewriteTrans
Closes #94

-  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90.

Fix for compatibility with FMU exporter.

Fix field look-up in FieldReadToFieldGetMacroTrans
Closes #95

-  Fixed collection size allocation bug in newSeqVarToGrow. -  Addresses
#90.

-  Eliminated compilation warning  due to parentheses.

Only merge statement blocks when it's safe to do so
Closes #96

Expanded to accommodate up to six function and operation call
parameters.

Reverting accidental inclusion of testing code.

-  Further improvements to sequence growing mechanisms. -  Addresses
#90.

Fix issue nested operation calls
Closes #97

Fix another issue with nested operation calls
Closes #97

Include identifier state designators in header analysis
Closes #98

Fix issue with include directives in main.c
Closes #99

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

-  Fixed memory leak in sets. -  Addresses #89.

-  Reverted memory leak fix in sets as it does not appear with generated
code. -  Addresses #89.

-  Fixed memory leak in sets. -  Addresses #89.

Cleanup.

-  Fixed memory leak with sets. -  Rearranged failing test.

Emit default constructor for records to support ASN1 work
Closes #102

Omit address of result variable in GC calls

-  Improvements to GLib-based map implementation. -  Addresses #89.

Add pacemaker model sources #100

Add VDMPP version of bubble sort #100

Check that all paper examples code-generate and compile #100

Only include TypedValue.h in paper examples extension points

-  Inserting assertions for memory allocation failures. -  Addresses
#89.

Update RT transformation to replace RT nodes with empty blocks

Wipe workspace after running build

Move workspace cleanup to 'finally' clause

Assertions for memory allocations and reallocations.

Adding assert statements for memory allocations and reallocations.

Adding assert statement for memory allocation.

Adding assert statements for memory allocations.

Adding assert statements for memory allocations and moves.

-  Removed GLib dependency, not used at all. -  Addresses #89.

-  New implementation of maps. -  Addresses #89.

-  Fixed critical bug causing non-reproducible crashes in the garbage
collector. -  Addresses #89.

-  Another segfault bugfix. -  AlarmPP model now can be inspected using
valgrind's massif. -  Addresses #89.

Don't set commit status explicitly

Cleanup Jenkinsfile syntax

Don't emit SET_FIELD_PTR_GC (it's not needed)

Don't emit SET_FIELD_GC (it's not needed)
Addresses #89

-  Not using GC-aware assignments in class fields. -  Addresses #89.

Fix issue with factorial implementation

Add missing MATH lib test

Update CMakeList file for gcc6

Add 'numFields' in the IR

Fix issue with for-index loops
Closes #103

Ignore IntelliJ metadata

Fix records value semantics bug
Closes #105

New translation of 'nil'

Fix grow mechanism for sequences #106

Update runtime to support more function/operation arguments

Add VDM2C 0.1.8 release notes

Prepare release of VDM2C 0.1.8