Changes
Summary
- [maven-release-plugin] prepare release Release/0.1.4 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Update to CMake file with respect to including VdmModelFeatures.h file. (details)
- Refactor test code (details)
- Mangle token types (details)
- Update CompatibleMethodCollector to handle pre and postcondition (details)
- Remove packaging phase from Jenkinsfile (details)
- Convert tokens to apply expressions (details)
- Update garbage collection transformation to handle tokens (details)
- Fix handling of token values in literal transformation (details)
- Move bool conversion to comprehension strategies (details)
- Add support for forall (quantified) expressions (details)
- Test translation of forall (quantified expressions) (details)
- Support 'exists' quantified expressions (details)
- More testing of 'forall' and 'exists' (details)
- Conditionally including ctype.h for use in CSV library. (details)
- Code cleanup. (details)
- Noticed and fixed bug that allocated a lot more memory than necessary (details)
- Factored out unpackstring utility function for use with token types. (details)
- WIP adding token type support. (details)
- WIP support for token types. (details)
- Pass 'this' to field initialisers (details)
- Update VDM2C CLI to accept VDM++ files (details)
- Update test file filter (details)
- Runtime library support for token types. (details)
- Test code-generation of tokens (details)
- Initial runtime support for creation of GC compatible sequences. (details)
- - Almost complete support for GC-compatible sequences. - Missing (details)
- Convert sequence enumerations to apply expressions (details)
- Update garbage collection transformation to handle sequences (details)
- Remove redundant test (details)
- Remove test code that is not used anymore (details)
- Ensure that test models are type correct (details)
- Remove declaration templates that are not used (details)
- Clean up expression templates (details)
- Clean up statement templates (details)
- Clean up type templates (details)
- Print C output folder as the last step (details)
- Change NameMangler to not report errors for unsupported types (details)
- Remove header files if the corresponding C sources cannot be generated (details)
- WIP GC support for sets. (details)
- Head file cleanup. (details)
- Added set-valued functions. (details)
- WIP GC support for maps in runtime library. (details)
- Ensure folder structure when file is emitted (details)
- Refactor collection enumeration transformation (details)
- Transform set enumerations to apply expressions (details)
- Update garbage collection transformation to handle newSetVar (details)
- Add GC support for 'tl' (details)
- Add GC support for 'len' (details)
- Add GC support for 'hd' (details)
- Add GC support for sequence concatenation (details)
- Add GC support for 'reverse' (details)
- Clean up apply template (details)
- Add GC support for sequence look-up (details)
- WIP GC support for maps. - GC interface for implemented. - vdmFree (details)
- WIP GC support for maps. - vdmClone implemented. (details)
- Initial complete GC support for maps for non-GLib hash table branch. (details)
- WIP GC support for maps with GLib hash table implementation. (details)
- GC support for newMapVarToGrow. (details)
- - Missing declarations. - Fix for mismatched va_arg. (details)
- - Memory leak fixes for maps. - Addresses # 87. (details)
- Eliminated some compiler warnings related to const qualifiers on (details)
- - GC interface for products. - Addresses #87. (details)
- - Pretty printing support for products (tuples). - Addresses #88. (details)
- Add GC support for vdmSetElementAt (used by CForIterator) (details)
- Add GC support for 'in set' (details)
- Add GC support for 'union' (details)
- Add GC support for 'inter' (details)
- Add GC support for '\' (set difference) (details)
- Add GC support for 'subset' (details)
- Add GC support for 'psubset' (details)
- Add GC support for 'card' (details)
- Add GC support for 'dunion' (details)
- Add GC support for 'dinter' (details)
- Add GC support for 'power' (details)
- Add GC support for map enumerations (details)
- Add GC support for 'dom' (details)
- Fix handling of 'newMapVarToGrowGC' (details)
- Add GC support for 'rng' (details)
- Clean up imports (details)
- Add GC support for 'munion' (details)
- Fix map enumerations, GC version (details)
- Interface cleanup in runtime library for sequences. (details)
- Add GC support for map look-ups (details)
- Convert tuple expressions to apply expressions (details)
- Add GC support for tuple expressions (details)
- Add GC support for tuple field access (details)
- Run value type tests with GC enabled (details)
- Interface cleanup for sets. (details)
- - Interface cleanup for maps in runtime library. - Addresses #87. (details)
- - Interface cleanup for products in runtime library. - Addresses #87. (details)
- Conditionally excluding PrettyPrint. (details)
- Fix in vdmSetGrow in accordance with errors from valgrind. (details)
- Mechanism that detects interference with current stack frame variables (details)
- - Fixed memory leak in maps. - Addresses #87. (details)
- - Set clone test in accordance with observation on generated AlarmPP (details)
- - GC support for newSetVarToGrow. - Addresses #87. (details)
- - Modifications and test for GC support for sets. - Addresses #87. (details)
- Add GC support for 'newSetVarToGrowGC' (details)
- - Enabled compiler warnings in runtime library. - Cleanup based on (details)
- Enabled compiler warnings in generated code CMake file. (details)
- - Fix for vdmSetVarToGrowGC crash. - Addresses #87. (details)
- - Improvement to GC stack variable interference detection mechanism. - (details)
- Cleanup. (details)
- Don't pass addresses of "return" variables to garbage collector (details)
- Add GC support for 'elems' (details)
- Add GC support for 'inds' (details)
- Reverted "Cleanup" commit causing failure on build server. (details)
- Support map overrides, the '++' operator (no GC) (details)
- Support distributed map merge, the 'merge' operator (no GC) (details)
- Support distributed map-domain-restrict-to operator (no GC) (details)
- Support map-domain-restrict-by operator (no GC) (details)
- Change argument order for map-range operators (details)
- Support map-range-restrict-to operator (no GC) (details)
- - Made runtime library code C99-compliant. - Addresses #91. (details)
- Support map-range-restrict-by operator (no GC) (details)
- Remove TODO that does not really apply anymore (details)
- Add GC support for map override (details)
- Add GC support for distributed merge (details)
- Add GC support for map-dom-restrict-to (details)
- Add GC support for map-dom-resrict-by (details)
- Add GC support for map-range-restrict-to (details)
- Add GC support for map-restrict-range-by (details)
- - Further C89 improvements in runtime library. - Addresses #91. (details)
- - CMakeLists.txt file for generator tests now forces C99 dialect. - (details)
- Add missing 'clone' call (details)
- Add missing type to constructor call (details)
- Approximate macro expression type (details)
- - Changing comments to C89 style. - Addresses #91. (details)
- Accounting for CUSTOM_IO definition in FMU export. (details)
- - Including VdmRecord.h in Vdm.h. - Addresses #21 (details)
- Make generated code C89 compliant (details)
- Add release notes for version 0.1.6 (details)
- Prepare release of VDM2C version 0.1.6 (details)