Changes
Summary
- [maven-release-plugin] prepare release Release/0.1.6 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Fix issue with for loop transformation (details)
- Fix issue with 'new' expression transformation (details)
- Mention that the generated code is C89 compliant (details)
- Mention VDM2C documentation (details)
- Support map comprehensions (details)
- Test map comprehensions (details)
- Add paper example tests (details)
- Add AlarmPP example sources for testing (details)
- Add CashDispenserPP model for future testing (details)
- Update runtime to support a larger number of function arguments (details)
- Assume that the address is passed to SELF_GC (details)
- Clean up PaperExampleTests (details)
- Fix imports (details)
- - Added cleaning phase for runtime library to Maven build cycle. - (details)
- Fix issue with CallRewriteTrans (details)
- - Fixed allocation bug in vdmSeqVarToGrow. - Addresses #90. (details)
- Fix for compatibility with FMU exporter. (details)
- Fix field look-up in FieldReadToFieldGetMacroTrans (details)
- - Fixed collection size allocation bug in newSeqVarToGrow. - Addresses (details)
- - Eliminated compilation warning due to parentheses. (details)
- Only merge statement blocks when it's safe to do so (details)
- Expanded to accommodate up to six function and operation call (details)
- Reverting accidental inclusion of testing code. (details)
- - Further improvements to sequence growing mechanisms. - Addresses (details)
- Fix issue nested operation calls (details)
- Fix another issue with nested operation calls (details)
- Include identifier state designators in header analysis (details)
- Fix issue with include directives in main.c (details)
- - Fixed memory leak in maps. - Addresses #89. (details)
- - Fixed memory leak in sets. - Addresses #89. (details)
- - Reverted memory leak fix in sets as it does not appear with generated (details)
- - Fixed memory leak in sets. - Addresses #89. (details)
- Cleanup. (details)
- - Fixed memory leak with sets. - Rearranged failing test. (details)
- Emit default constructor for records to support ASN1 work (details)
- Omit address of result variable in GC calls (details)
- - Improvements to GLib-based map implementation. - Addresses #89. (details)
- Add pacemaker model sources #100 (details)
- Add VDMPP version of bubble sort #100 (details)
- Check that all paper examples code-generate and compile #100 (details)
- Only include TypedValue.h in paper examples extension points (details)
- - Inserting assertions for memory allocation failures. - Addresses (details)
- Update RT transformation to replace RT nodes with empty blocks (details)
- Wipe workspace after running build (details)
- Move workspace cleanup to 'finally' clause (details)
- Assertions for memory allocations and reallocations. (details)
- Adding assert statements for memory allocations and reallocations. (details)
- Adding assert statement for memory allocation. (details)
- Adding assert statements for memory allocations. (details)
- Adding assert statements for memory allocations and moves. (details)
- - Removed GLib dependency, not used at all. - Addresses #89. (details)
- - New implementation of maps. - Addresses #89. (details)
- - Fixed critical bug causing non-reproducible crashes in the garbage (details)
- - Another segfault bugfix. - AlarmPP model now can be inspected using (details)
- Don't set commit status explicitly (details)
- Cleanup Jenkinsfile syntax (details)
- Don't emit SET_FIELD_PTR_GC (it's not needed) (details)
- Don't emit SET_FIELD_GC (it's not needed) (details)
- - Not using GC-aware assignments in class fields. - Addresses #89. (details)
- Fix issue with factorial implementation (details)
- Add missing MATH lib test (details)
- Update CMakeList file for gcc6 (details)
- Add 'numFields' in the IR (details)
- Fix issue with for-index loops (details)
- Ignore IntelliJ metadata (details)
- Fix records value semantics bug (details)
- New translation of 'nil' (details)
- Fix grow mechanism for sequences #106 (details)
- Update runtime to support more function/operation arguments (details)
- Add VDM2C 0.1.8 release notes (details)
- Prepare release of VDM2C 0.1.8 (details)