Changes

-  Expanded is_ support to cover basic types. -  Addresses #108.

-  Runtime support for is_ test on basic types plus tests. -  Addresses
#108.

-  Is sequence of int support. -  Addresses #108.

-  WIP on recurive is check for arbitrary nesting of seqs and sets. - 
Addresses #108.

Large is construct for basic built-in types.

Tests for deep nesting.

-  Sequence and Set exclusion mechanism for is queries. -  Addresses
#108.

WIP support for records in is queries.

WIP renaming VDM MATH library.

Use transformation to emit "is" checks
Currently, only is_nat is supported
Addresses #108

Remove templates that are not needed anymore #108

Test that is_nat generates correctly #108

Add support for is_nat1 #108

Support is_int #108

Support is_bool #108

Support is_rat #108

Support is_char #108

Support is_token #108

Support is_real #108

-  WIP is_ query on arbitrary types. -  Addresses #108.

Emit class association file
Implemented according to the description in 
https://github.com/overturetool/vdm2c/issues/108#issuecomment-325973402

Add "generated file" comment to VdmClassHierarchy.h

-  Support for arbitrary sequence and set is_ queries. -  Addresses
#108.

-  Changed signature of is:  TVP is(TVP, char[]). -  Addresses #108.

-  Runtime library support for is checks on product, class and record
types. -  Addresses #108.

-  Cleanup, removed unused VDM-RT runtime library test models. -  Closes
#8.

-  No longer emitting global field numFields_X as it is no longer used.
-  Addresses *104.

Comment cleanup.

-  Runtime library support for issameclass. -  Addresses #108.

-  Fixed name of sameclass query in runtime library. -  Addresses *108.

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

-  Product test for (int * char) * int. -  Addresses #108.

-  Dummy VdmClassHierarchy.h file for runtime library testing. - 
Addresses #108.

-  Runtime library support for isofbaseclass. -  Addresses #108.

-  Runtime library support for samebaseclass. -  Addresses #108.

Class association should not consider standard library classes
Addresses #108

Update distribution code-generator to emit class association file

-  Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - 
Addresses #108.

-  Map composition support in the runtime library. -  Addresses #108.

-  GC version of map composition in the runtime library. -  Addresses
#108.

-  Map iteration support in the runtime library. -  Addresses #108.

-  Reducing flash footprint. -  Addresses #120.

-  Support for is seq1. -  Addresses #108.

-  Support for is set1 type queries. -  More tests for is seq1. - 
Addresses #108.

-  Runtime support for is map queries. -  Addresses #108.

Add initial support for type encoding #108

Code cleanup, comments.

Update type encoder to support set1, seq1 and map

-  Reduction in flash footprint:  maps. -  Addresses #120.

Address wrong assumption in the distributed code-generator

-  Flash footprint reduction, sequences. -  Addresses #120.

-  Flash footprint reduction, sets. -  Addresses #120.

-  Eliminating some compiler warnings in distribution runtime. - 
Addresses #121.

-  Bugfix. -  Addresses #120.

-  WIP runtime library support for optional types encoding. -  Addresses
#108.

-  Runtime library support for is queries on optional types. - 
Addresses #108.

-  Runtime support for eliminating is queries based on NO_IS flag. - 
Addresses #108.

Emit NO_IS flag in model features file #108

Support exists1 quantifier #108

-  WIP memory leaks with freeing non-GC tokens. -  Addresses #100.

Support preconditions #108

Support encoding of optional types #108

Temporarily build against Overture 2.5.3-SNAPSHOT

Update VDM2C to work with newest Overture

Support map iteration #108

Support map composition #108

Support iota #108

Support non-deterministic statements #108

Support isofbaseclass #108

Support isofclass operator #108

Support samebaseclass operator #108

Support sameclass operator #108

-  Typo in type encoding in test. -  Addresses #108.

Work on checking union types in is_ expressions #108

Emit type encoding for is_* checks #108

Fix two issues in IsExpUnionTypeFinder #108

Support union types in is_* expressions #108

Fix memory leak in field initializers
Closes #122

Fix index issue in "for all" loops
Closes #119

-  Fixed bugs in runtime library OO support. -  isofclass is both
hirarchy-based as well as an is query, so it is now part of both in
terms of define exclusion. -  Addresses #108.

-  Fixed bug with exclusion of class inheritance header file. - 
Addresses #108.

-  Minor refinement to exclusion mechanism. -  Addresses #108.

Use Overture 2.5.4

Fix clean up in OOChecks test

-  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses
#108.

-  Fixed bug with sameclass query under NO_INHERITANCE in header file. -
 Addresses #108.

Further speed and size improvements in GC versions of operations.

Emit GC versions of class constructors #124

Tag constructor calls in CallRewriteTrans #124

-  Memory leak fixes. -  Addresses #108.

-  WIP removing traces of source variable from garbage collector. - 
Addresses #123.

-  Removed ref_from element of TVP and associated GC machinery. - 
Addresses #123.

Distributed code-generator fix
Only the first argument of the CPU.deploy operation is important

Handle vdm2c build jobs in Jenkinsfile

Fix deployment, skip tests temporarily

Re-enable testing in Jenkinsfile

-  Unused variable cleanup. -  Addresses #123.

Format Jenkinsfile

Fix assignments to static fields #122

-  Addition of newSeqVarToGrowGC. -  Addresses #125.

Emit newSeqVarToGrowGC
Closes #125

-  Added comment to each runtime library file about the version of VMD2C
used to generate a given project. -  Addresses #73.

-  Added missing function declaration. -  Addresses #125.

-  Fixed problem with vdmSeqGrow and values passed under GC control. - 
Addresses issue #125.

Fix for problem with vdmSetGrow when under GC control.

Fixed memory leak in vdmSeqInds.

Fixed memory leak in records.

Fixed memory leak with records.

-  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126.

Add generator support for `vdmSetEnumerateSetOfIntsGC`
Closes #126

-  Committing omitted header file. -  Addresses #126.

Uninitialized variable warnings in maps, runtime.

Add v0.2 release notes

Prepare release of VDM2C v0.2.0

Adjust version number in v0.2.0 release notes

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