Changes
Summary
- - Expanded is_ support to cover basic types. - Addresses #108. (details)
- - Runtime support for is_ test on basic types plus tests. - Addresses (details)
- - Is sequence of int support. - Addresses #108. (details)
- - WIP on recurive is check for arbitrary nesting of seqs and sets. - (details)
- Large is construct for basic built-in types. (details)
- Tests for deep nesting. (details)
- - Sequence and Set exclusion mechanism for is queries. - Addresses (details)
- WIP support for records in is queries. (details)
- WIP renaming VDM MATH library. (details)
- Use transformation to emit "is" checks (details)
- Remove templates that are not needed anymore #108 (details)
- Test that is_nat generates correctly #108 (details)
- Add support for is_nat1 #108 (details)
- Support is_int #108 (details)
- Support is_bool #108 (details)
- Support is_rat #108 (details)
- Support is_char #108 (details)
- Support is_token #108 (details)
- Support is_real #108 (details)
- - WIP is_ query on arbitrary types. - Addresses #108. (details)
- Emit class association file (details)
- Add "generated file" comment to VdmClassHierarchy.h (details)
- - Support for arbitrary sequence and set is_ queries. - Addresses (details)
- - Changed signature of is: TVP is(TVP, char[]). - Addresses #108. (details)
- - Runtime library support for is checks on product, class and record (details)
- - Cleanup, removed unused VDM-RT runtime library test models. - Closes (details)
- - No longer emitting global field numFields_X as it is no longer used. (details)
- Comment cleanup. (details)
- - Runtime library support for issameclass. - Addresses #108. (details)
- - Fixed name of sameclass query in runtime library. - Addresses *108. (details)
- [maven-release-plugin] prepare for next development iteration (details)
- - Product test for (int * char) * int. - Addresses #108. (details)
- - Dummy VdmClassHierarchy.h file for runtime library testing. - (details)
- - Runtime library support for isofbaseclass. - Addresses #108. (details)
- - Runtime library support for samebaseclass. - Addresses #108. (details)
- Class association should not consider standard library classes (details)
- Update distribution code-generator to emit class association file (details)
- - Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - (details)
- - Map composition support in the runtime library. - Addresses #108. (details)
- - GC version of map composition in the runtime library. - Addresses (details)
- - Map iteration support in the runtime library. - Addresses #108. (details)
- - Reducing flash footprint. - Addresses #120. (details)
- - Support for is seq1. - Addresses #108. (details)
- - Support for is set1 type queries. - More tests for is seq1. - (details)
- - Runtime support for is map queries. - Addresses #108. (details)
- Add initial support for type encoding #108 (details)
- Code cleanup, comments. (details)
- Update type encoder to support set1, seq1 and map (details)
- - Reduction in flash footprint: maps. - Addresses #120. (details)
- Address wrong assumption in the distributed code-generator (details)
- - Flash footprint reduction, sequences. - Addresses #120. (details)
- - Flash footprint reduction, sets. - Addresses #120. (details)
- - Eliminating some compiler warnings in distribution runtime. - (details)
- - Bugfix. - Addresses #120. (details)
- - WIP runtime library support for optional types encoding. - Addresses (details)
- - Runtime library support for is queries on optional types. - (details)
- - Runtime support for eliminating is queries based on NO_IS flag. - (details)
- Emit NO_IS flag in model features file #108 (details)
- Support exists1 quantifier #108 (details)
- - WIP memory leaks with freeing non-GC tokens. - Addresses #100. (details)
- Support preconditions #108 (details)
- Support encoding of optional types #108 (details)
- Temporarily build against Overture 2.5.3-SNAPSHOT (details)
- Update VDM2C to work with newest Overture (details)
- Support map iteration #108 (details)
- Support map composition #108 (details)
- Support iota #108 (details)
- Support non-deterministic statements #108 (details)
- Support isofbaseclass #108 (details)
- Support isofclass operator #108 (details)
- Support samebaseclass operator #108 (details)
- Support sameclass operator #108 (details)
- - Typo in type encoding in test. - Addresses #108. (details)
- Work on checking union types in is_ expressions #108 (details)
- Emit type encoding for is_* checks #108 (details)
- Fix two issues in IsExpUnionTypeFinder #108 (details)
- Support union types in is_* expressions #108 (details)
- Fix memory leak in field initializers (details)
- Fix index issue in "for all" loops (details)
- - Fixed bugs in runtime library OO support. - isofclass is both (details)
- - Fixed bug with exclusion of class inheritance header file. - (details)
- - Minor refinement to exclusion mechanism. - Addresses #108. (details)
- Use Overture 2.5.4 (details)
- Fix clean up in OOChecks test (details)
- - Fixed bug with NO_IS exclusion mechanism for isOfClass. - Addresses (details)
- - Fixed bug with sameclass query under NO_INHERITANCE in header file. - (details)
- Further speed and size improvements in GC versions of operations. (details)
- Emit GC versions of class constructors #124 (details)
- Tag constructor calls in CallRewriteTrans #124 (details)
- - Memory leak fixes. - Addresses #108. (details)
- - WIP removing traces of source variable from garbage collector. - (details)
- - Removed ref_from element of TVP and associated GC machinery. - (details)
- Distributed code-generator fix (details)
- Handle vdm2c build jobs in Jenkinsfile (details)
- Fix deployment, skip tests temporarily (details)
- Re-enable testing in Jenkinsfile (details)
- - Unused variable cleanup. - Addresses #123. (details)
- Format Jenkinsfile (details)
- Fix assignments to static fields #122 (details)
- - Addition of newSeqVarToGrowGC. - Addresses #125. (details)
- Emit newSeqVarToGrowGC (details)
- - Added comment to each runtime library file about the version of VMD2C (details)
- - Added missing function declaration. - Addresses #125. (details)
- - Fixed problem with vdmSeqGrow and values passed under GC control. - (details)
- Fix for problem with vdmSetGrow when under GC control. (details)
- Fixed memory leak in vdmSeqInds. (details)
- Fixed memory leak in records. (details)
- Fixed memory leak with records. (details)
- - Runtime support for vvdmSetEnumerateSetOfIntsGC. - Addresses #126. (details)
- Add generator support for `vdmSetEnumerateSetOfIntsGC` (details)
- - Committing omitted header file. - Addresses #126. (details)
- Uninitialized variable warnings in maps, runtime. (details)
- Add v0.2 release notes (details)
- Prepare release of VDM2C v0.2.0 (details)
- Adjust version number in v0.2.0 release notes (details)
- [maven-release-plugin] prepare release Release/0.2.0 (details)