Changes
#67 (Nov 22, 2018 12:40:51 PM)
- [maven-release-plugin] prepare release Release/0.2.0 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Remove build status icon — Peter W. V. Tran-Jørgensen / githubweb
- Update to Overture 2.6.4 and Eclipse Oxygen — Peter W. V. Tran-Jørgensen / githubweb
- Add VDM2C 0.2.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.2.2 — Peter W. V. Tran-Jørgensen / githubweb
#66 (Feb 14, 2018 11:48:29 AM)
- - Expanded is_ support to cover basic types. - Addresses #108. — Victor Bandur / githubweb
- - Runtime support for is_ test on basic types plus tests. - Addresses — Victor Bandur / githubweb
- - Is sequence of int support. - Addresses #108. — Victor Bandur / githubweb
- - WIP on recurive is check for arbitrary nesting of seqs and sets. - — Victor Bandur / githubweb
- Large is construct for basic built-in types. — Victor Bandur / githubweb
- Tests for deep nesting. — Victor Bandur / githubweb
- - Sequence and Set exclusion mechanism for is queries. - Addresses — Victor Bandur / githubweb
- WIP support for records in is queries. — Victor Bandur / githubweb
- WIP renaming VDM MATH library. — Victor Bandur / githubweb
- Use transformation to emit "is" checks — Peter W. V. Tran-Jørgensen / githubweb
- Remove templates that are not needed anymore #108 — Peter W. V. Tran-Jørgensen / githubweb
- Test that is_nat generates correctly #108 — Peter W. V. Tran-Jørgensen / githubweb
- Add support for is_nat1 #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support is_int #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support is_bool #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support is_rat #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support is_char #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support is_token #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support is_real #108 — Peter W. V. Tran-Jørgensen / githubweb
- - WIP is_ query on arbitrary types. - Addresses #108. — Victor Bandur / githubweb
- Emit class association file — Peter W. V. Tran-Jørgensen / githubweb
- Add "generated file" comment to VdmClassHierarchy.h — Peter W. V. Tran-Jørgensen / githubweb
- - Support for arbitrary sequence and set is_ queries. - Addresses — Victor Bandur / githubweb
- - Changed signature of is: TVP is(TVP, char[]). - Addresses #108. — Victor Bandur / githubweb
- - Runtime library support for is checks on product, class and record — Victor Bandur / githubweb
- - Cleanup, removed unused VDM-RT runtime library test models. - Closes — Victor Bandur / githubweb
- - No longer emitting global field numFields_X as it is no longer used. — Victor Bandur / githubweb
- Comment cleanup. — Victor Bandur / githubweb
- - Runtime library support for issameclass. - Addresses #108. — Victor Bandur / githubweb
- - Fixed name of sameclass query in runtime library. - Addresses *108. — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.1.16 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- - Product test for (int * char) * int. - Addresses #108. — Victor Bandur / githubweb
- - Dummy VdmClassHierarchy.h file for runtime library testing. - — Victor Bandur / githubweb
- - Runtime library support for isofbaseclass. - Addresses #108. — Victor Bandur / githubweb
- - Runtime library support for samebaseclass. - Addresses #108. — Victor Bandur / githubweb
- Class association should not consider standard library classes — Peter W. V. Tran-Jørgensen / githubweb
- Update distribution code-generator to emit class association file — Peter W. V. Tran-Jørgensen / githubweb
- - Excluding VdmClassHierarchy.h using NO_INHERITNANCE flag. - — Victor Bandur / githubweb
- - Map composition support in the runtime library. - Addresses #108. — Victor Bandur / githubweb
- - GC version of map composition in the runtime library. - Addresses — Victor Bandur / githubweb
- - Map iteration support in the runtime library. - Addresses #108. — Victor Bandur / githubweb
- - Reducing flash footprint. - Addresses #120. — Victor Bandur / githubweb
- - Support for is seq1. - Addresses #108. — Victor Bandur / githubweb
- - Support for is set1 type queries. - More tests for is seq1. - — Victor Bandur / githubweb
- - Runtime support for is map queries. - Addresses #108. — Victor Bandur / githubweb
- Add initial support for type encoding #108 — Peter W. V. Tran-Jørgensen / githubweb
- Code cleanup, comments. — Victor Bandur / githubweb
- Update type encoder to support set1, seq1 and map — Peter W. V. Tran-Jørgensen / githubweb
- - Reduction in flash footprint: maps. - Addresses #120. — Victor Bandur / githubweb
- Address wrong assumption in the distributed code-generator — Peter W. V. Tran-Jørgensen / githubweb
- - Flash footprint reduction, sequences. - Addresses #120. — Victor Bandur / githubweb
- - Flash footprint reduction, sets. - Addresses #120. — Victor Bandur / githubweb
- - Eliminating some compiler warnings in distribution runtime. - — Victor Bandur / githubweb
- - Bugfix. - Addresses #120. — Victor Bandur / githubweb
- - WIP runtime library support for optional types encoding. - Addresses — Victor Bandur / githubweb
- - Runtime library support for is queries on optional types. - — Victor Bandur / githubweb
- - Runtime support for eliminating is queries based on NO_IS flag. - — Victor Bandur / githubweb
- Emit NO_IS flag in model features file #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support exists1 quantifier #108 — Peter W. V. Tran-Jørgensen / githubweb
- - WIP memory leaks with freeing non-GC tokens. - Addresses #100. — Victor Bandur / githubweb
- Support preconditions #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support encoding of optional types #108 — Peter W. V. Tran-Jørgensen / githubweb
- Temporarily build against Overture 2.5.3-SNAPSHOT — Peter W. V. Tran-Jørgensen / githubweb
- Update VDM2C to work with newest Overture — Peter W. V. Tran-Jørgensen / githubweb
- Support map iteration #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support map composition #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support iota #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support non-deterministic statements #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support isofbaseclass #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support isofclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support samebaseclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support sameclass operator #108 — Peter W. V. Tran-Jørgensen / githubweb
- - Typo in type encoding in test. - Addresses #108. — Victor Bandur / githubweb
- Work on checking union types in is_ expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
- Emit type encoding for is_* checks #108 — Peter W. V. Tran-Jørgensen / githubweb
- Fix two issues in IsExpUnionTypeFinder #108 — Peter W. V. Tran-Jørgensen / githubweb
- Support union types in is_* expressions #108 — Peter W. V. Tran-Jørgensen / githubweb
- Fix memory leak in field initializers — Peter W. V. Tran-Jørgensen / githubweb
- Fix index issue in "for all" loops — Peter W. V. Tran-Jørgensen / githubweb
- - Fixed bugs in runtime library OO support. - isofclass is both — Victor Bandur / githubweb
- - Fixed bug with exclusion of class inheritance header file. - — Victor Bandur / githubweb
- - Minor refinement to exclusion mechanism. - Addresses #108. — Victor Bandur / githubweb
- Use Overture 2.5.4 — Peter W. V. Tran-Jørgensen / githubweb
- Fix clean up in OOChecks test — Peter W. V. Tran-Jørgensen / githubweb
- - Fixed bug with NO_IS exclusion mechanism for isOfClass. - Addresses — Victor Bandur / githubweb
- - Fixed bug with sameclass query under NO_INHERITANCE in header file. - — Victor Bandur / githubweb
- Further speed and size improvements in GC versions of operations. — Victor Bandur / githubweb
- Emit GC versions of class constructors #124 — Peter W. V. Tran-Jørgensen / githubweb
- Tag constructor calls in CallRewriteTrans #124 — Peter W. V. Tran-Jørgensen / githubweb
- - Memory leak fixes. - Addresses #108. — Victor Bandur / githubweb
- - WIP removing traces of source variable from garbage collector. - — Victor Bandur / githubweb
- - Removed ref_from element of TVP and associated GC machinery. - — Victor Bandur / githubweb
- Distributed code-generator fix — Peter W. V. Tran-Jørgensen / githubweb
- Handle vdm2c build jobs in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
- Fix deployment, skip tests temporarily — Peter W. V. Tran-Jørgensen / githubweb
- Re-enable testing in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
- - Unused variable cleanup. - Addresses #123. — Victor Bandur / githubweb
- Format Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
- Fix assignments to static fields #122 — Peter W. V. Tran-Jørgensen / githubweb
- - Addition of newSeqVarToGrowGC. - Addresses #125. — Victor Bandur / githubweb
- Emit newSeqVarToGrowGC — Peter W. V. Tran-Jørgensen / githubweb
- - Added comment to each runtime library file about the version of VMD2C — Victor Bandur / githubweb
- - Added missing function declaration. - Addresses #125. — Victor Bandur / githubweb
- - Fixed problem with vdmSeqGrow and values passed under GC control. - — Victor Bandur / githubweb
- Fix for problem with vdmSetGrow when under GC control. — Victor Bandur / githubweb
- Fixed memory leak in vdmSeqInds. — Victor Bandur / githubweb
- Fixed memory leak in records. — Victor Bandur / githubweb
- Fixed memory leak with records. — Victor Bandur / githubweb
- - Runtime support for vvdmSetEnumerateSetOfIntsGC. - Addresses #126. — Victor Bandur / githubweb
- Add generator support for `vdmSetEnumerateSetOfIntsGC` — Peter W. V. Tran-Jørgensen / githubweb
- - Committing omitted header file. - Addresses #126. — Victor Bandur / githubweb
- Uninitialized variable warnings in maps, runtime. — Victor Bandur / githubweb
- Add v0.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C v0.2.0 — Peter W. V. Tran-Jørgensen / githubweb
- Adjust version number in v0.2.0 release notes — Peter W. V. Tran-Jørgensen / githubweb
#65 (Oct 5, 2017 11:10:06 AM)
- Uncommented generation of individual system definition — Miran / githubweb
- Changed the quote id generation from using name hashcode to using a — Miran / githubweb
- Initial work for generating system definition pr. cpu — Miran / githubweb
- Generate individual DM for each cpu — Miran / githubweb
- Let counter start from one for each distributed object — Miran / githubweb
- Fix minor problems introduced by the merge with vpb/development — Miran / githubweb
- Initial work for dispatcher — Miran / githubweb
- Add new external node for creating the distribution map — Miran / githubweb
- Generate the System architecture maps to string version — Miran / githubweb
- Initial work for bus dispatcher — Miran / githubweb
- Generate the string version maps — Miran / githubweb
- Updated the testing node for distribution — Miran / githubweb
- Add new parameter for the sendBus functionality — Miran / githubweb
- Initial version of the GetRes functionality — Miran / githubweb
- Added flag for indicating if distribution generation is needed — Miran / githubweb
- Minor update + additional comments — Miran / githubweb
- Updates for resolve call function distpacher — Miran / githubweb
- Minor name fix — Miran / githubweb
- Use the correct object name — Miran / githubweb
- get all classes used in the VDM-RT model — Miran / githubweb
- Added the macro wrapper function used to resolve a remote call — Miran / githubweb
- Initial work for inheritance for distribution — Miran / githubweb
- Initial support for inheritance dispatching for distribution — Miran / githubweb
- Updated VDM library parts used for distribution — Miran / githubweb
- Minor fixes — Miran / githubweb
- Comment distribtion parts for VDM lib out — Miran / githubweb
- Updated distributed code generator to use the new interface — Miran / githubweb
- Added the distribution code generation as a command line argument — Miran / githubweb
- added local declaration of args — Miran / githubweb
- Added function call to statement of send_bus function — Miran / githubweb
- Uncomment distribution addition in the vdm library — Miran / githubweb
- Refactoring writeFile code — Miran / githubweb
- Minor updated of transformation used for testing — Miran / githubweb
- Use absolute path of output directory — Miran / githubweb
- Initial test set up for distribution (only generate files) — Miran / githubweb
- Use overture formatter + either generate distribution or sequential — Miran / githubweb
- Minor clean up — Miran / githubweb
- Added time limit for run during testing — Miran / githubweb
- Add inclusion of the user specific header during run-time — Miran / githubweb
- Updated test1 and add run-time ressources — Miran / githubweb
- Minor updated to the include transformation — Miran / githubweb
- Run test with the executable and updated test resource for the main — Miran / githubweb
- ressources for cpu2 in test1 added — Miran / githubweb
- Updated test to use the new resources for cpu2 — Miran / githubweb
- Added test for the system analysis generator — Miran / githubweb
- Added test for distribution using ASN1 — Miran / githubweb
- Add arguments to DIST_CALL macro using proper index numbers — Miran / githubweb
- Added test of asn serialisation of arguments and return type — Miran / githubweb
- Fix to the generate send bus transformation, skip if there is no bus — Miran / githubweb
- Initial version of a Cpu init function — Miran / githubweb
- Added test of correct assignment of cpu init functionality — Miran / githubweb
- Initial update of the runtime for the new distributed dispatching — Miran / githubweb
- Removed unused automatically generated files — Miran / githubweb
- New transformation for transforming a remote object representation using — Miran / githubweb
- Use the remote object transformation, and do not use the specific ID and — Miran / githubweb
- Updated tests to use the garbage collector — Miran / githubweb
- Added test for quotes and bool serialisation run-time — Miran / githubweb
- Minor fix with output testpath — Miran / githubweb
- Added IR notes used for the distributed code generator — Miran / githubweb
- Minor fix for quotes serialization using ASN.1 — Miran / githubweb
- Improved test feedback for distributed test — Miran / githubweb
- Updated additional test for garbage collector together with feedback. — Miran / githubweb
- Updated CMake configuration to use the automatically generated VDM — Miran / githubweb
- Removed unsed files — Miran / githubweb
- Added check of classHeader type before casting — Miran / githubweb
- Clean up and refactoring of the architecture analysis — Miran / githubweb
- Clean up of distribution transformation series — Miran / githubweb
- Refactoring of code, initial for method arguments — Miran / githubweb
- Refactoring of identifier expressions — Miran / githubweb
- Clean up code — Miran / githubweb
- Refactoring and clean up of method for remote invocation handling — Miran / githubweb
- Clean up of distribution macro transformation — Miran / githubweb
- Minor code clean up of remote object transformarion — Miran / githubweb
- Refactoring and code clean up of class dispatcher function — Miran / githubweb
- Removed unused imports — Miran / githubweb
- Clean up — Miran / githubweb
- Removed unused comment — Miran / githubweb
- Remove time check — Peter W. V. Tran-Jørgensen / githubweb
- Added cmake functionality windows and linux in distribution tests — Miran / githubweb
- Detect cmake correctly across all platforms — Peter W. V. Tran-Jørgensen / githubweb
- Use absolute path to VDM lib during distribution testing — Miran / githubweb
- Fix CMakeLists.txt files for ASN test — Peter W. V. Tran-Jørgensen / githubweb
- Updated CMake file to fix Linux problem — Miran / githubweb
- Fix a problem with capital letter in path causing problems in Linux — Miran / githubweb
- Fixed run-time de-serialization of a boolean value — Miran / githubweb
- Added automatic detection if distribution code generation is needed, and — Miran / githubweb
- Moved the generation of files to the CGen instead of the CGenMain — Miran / githubweb
- Initial setup of Eclipse plug-in for the distribution support — Miran / githubweb
- Generate the specific c files for each cpu — Miran / githubweb
- Removed debug code — Miran / githubweb
- Removed public static access, and use get/set functions instead — Miran / githubweb
- Clean up distribution merge — Peter W. V. Tran-Jørgensen / githubweb
- Added sleep between cpu start up calls — Miran / githubweb
- Changed to use get function instead of static reference — Miran / githubweb
- update parameters of the emit main file function — Miran / githubweb
- Create a delay variable — Miran / githubweb
- Try new delay for distributed tests — Miran / githubweb
- Set the daemon flag to false in order not to generate console output — Miran / githubweb
- Filter out the extra nodes during distributed system analysis — Miran / githubweb
- The first element of the DM is not long always true, since we use new — Miran / githubweb
- Improved support for dispatching to super classes — Miran / githubweb
- Improve support for super class, and start using the first elemnet of DM — Miran / githubweb
- Use the first element of the DM — Miran / githubweb
- Improved analysis of the BUS structure — Miran / githubweb
- Improved test timing for distribution tests — Miran / githubweb
- Allow to set distribution generation off using the cgen settings — Miran / githubweb
- Update for the IDE for copying the distribution JAR — Miran / githubweb
- Improved possible timing issues during distribution test execution — Miran / githubweb
- Test update — Miran / githubweb
- Minor code formating — Miran / githubweb
- Add timing awareness for cpu1 during distribution tests — Miran / githubweb
- Synchronize CPUs during distribution test using a file — Miran / githubweb
- Updated distribution tests of initialization to use file — Miran / githubweb
- Support generation of bus support functions — Miran / githubweb
- Updated includes transformation together with new name for bus send — Miran / githubweb
- removed unused files — Miran / githubweb
- removed unused files (reverted from commit — Miran / githubweb
- Minor update to tests — Miran / githubweb
- Initial support for distribution run time from IDE — Miran / githubweb
- [maven-release-plugin] prepare release Release/0.1.14 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Clean Up — Miran / githubweb
- Minor update for distribution tests — Miran / githubweb
- - Increased coverage of basic precondition checks on map and sequence — Victor Bandur / githubweb
- Fixes bug with setting correct buffer size in collections. — Victor Bandur / githubweb
- Moved distribution library to separate maven project — Miran / githubweb
- Updated distribution library for C89 compliance — Miran / githubweb
- Changed distribution test to use FIFOs — Miran / githubweb
- Changed distribution tests to use FIFOs for communication — Miran / githubweb
- Improvement of distribution tests timing — Miran / githubweb
- kill subprocess of cpu2 after test — Miran / githubweb
- only run one test of distribution — Miran / githubweb
- Enable another test for distribution — Miran / githubweb
- Updated IDE with better separation of code emission between distributed — Miran / githubweb
- Do not run Quotes test — Miran / githubweb
- test new timing improvments for distributed tests — Miran / githubweb
- Enable all test with new approach for timing — Miran / githubweb
- new test try for distribution — Miran / githubweb
- Commit to rerun test — Miran / githubweb
- Fix typo in CMake file — Peter W. V. Tran-Jørgensen / githubweb
- Add -D_GNU_SOURCE flag to CMake file — Peter W. V. Tran-Jørgensen / githubweb
- Improved timing support for distribution tests — Miran / githubweb
- Assert that FIFOs can be created and cleaned up afterwards. — Miran / githubweb
- cleap up comments — Miran / githubweb
- Removed irrelevant comment — Miran / githubweb
- Removed irrelevant comment — Miran / githubweb
- Removed debug print from distribution test — Miran / githubweb
- Clean up distribution tests — Miran / githubweb
- Improve assert error message. — Miran / githubweb
- Add release notes for VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C version 0.1.16 — Peter W. V. Tran-Jørgensen / githubweb
#64 (Sep 18, 2017 5:20:26 PM)
- [maven-release-plugin] prepare release Release/0.1.12 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Require Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb
- Require Overture 2.5.2 — Peter W. V. Tran-Jørgensen / githubweb
- Add version 0.1.14 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.1.14 — Peter W. V. Tran-Jørgensen / githubweb
#63 (Sep 11, 2017 1:12:35 PM)
- - Removing variable length arrays to accommodate the Visual C compiler. — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.1.10 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Build against Overture 2.5.0 — Peter W. V. Tran-Jørgensen / githubweb
- Add VDM2C 0.1.12 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.1.12 — Peter W. V. Tran-Jørgensen / githubweb
#62 (Aug 10, 2017 4:28:35 PM)
- Strict comparison for NULL values. — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.1.8 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Set log level to ERROR — Peter W. V. Tran-Jørgensen / githubweb
- Guard against non-existing super headers — Peter W. V. Tran-Jørgensen / githubweb
- Add runtime support for sequence modifications (explicit version) — Peter W. V. Tran-Jørgensen / githubweb
- Allowing maps when sequences are used due to sequence modification. — Victor Bandur / githubweb
- - Formatting. - Addresses #107. — Victor Bandur / githubweb
- - Garbage collection version of sequence modification. - Addresses — Victor Bandur / githubweb
- - Fix collection grow issue for sets. - Addresses #106. — Victor Bandur / githubweb
- Update the generator to support sequence modifications — Peter W. V. Tran-Jørgensen / githubweb
- Address misnomer, rename newMapVarToGrow to newMapVar #106 — Peter W. V. Tran-Jørgensen / githubweb
- Add version 0.1.10 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of version 0.1.10 — Peter W. V. Tran-Jørgensen / githubweb
#61 (Jul 1, 2017 10:26:58 PM)
- [maven-release-plugin] prepare release Release/0.1.6 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Fix issue with for loop transformation — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue with 'new' expression transformation — Peter W. V. Tran-Jørgensen / githubweb
- Mention that the generated code is C89 compliant — noreply / githubweb
- Mention VDM2C documentation — noreply / githubweb
- Support map comprehensions — Peter W. V. Tran-Jørgensen / githubweb
- Test map comprehensions — Peter W. V. Tran-Jørgensen / githubweb
- Add paper example tests — Peter W. V. Tran-Jørgensen / githubweb
- Add AlarmPP example sources for testing — Peter W. V. Tran-Jørgensen / githubweb
- Add CashDispenserPP model for future testing — Peter W. V. Tran-Jørgensen / githubweb
- Update runtime to support a larger number of function arguments — Peter W. V. Tran-Jørgensen / githubweb
- Assume that the address is passed to SELF_GC — Peter W. V. Tran-Jørgensen / githubweb
- Clean up PaperExampleTests — Peter W. V. Tran-Jørgensen / githubweb
- Fix imports — Peter W. V. Tran-Jørgensen / githubweb
- - Added cleaning phase for runtime library to Maven build cycle. - — Victor Bandur / githubweb
- Fix issue with CallRewriteTrans — Peter W. V. Tran-Jørgensen / githubweb
- - Fixed allocation bug in vdmSeqVarToGrow. - Addresses #90. — Victor Bandur / githubweb
- Fix for compatibility with FMU exporter. — Victor Bandur / githubweb
- Fix field look-up in FieldReadToFieldGetMacroTrans — Peter W. V. Tran-Jørgensen / githubweb
- - Fixed collection size allocation bug in newSeqVarToGrow. - Addresses — Victor Bandur / githubweb
- - Eliminated compilation warning due to parentheses. — Victor Bandur / githubweb
- Only merge statement blocks when it's safe to do so — Peter W. V. Tran-Jørgensen / githubweb
- Expanded to accommodate up to six function and operation call — Victor Bandur / githubweb
- Reverting accidental inclusion of testing code. — Victor Bandur / githubweb
- - Further improvements to sequence growing mechanisms. - Addresses — Victor Bandur / githubweb
- Fix issue nested operation calls — Peter W. V. Tran-Jørgensen / githubweb
- Fix another issue with nested operation calls — Peter W. V. Tran-Jørgensen / githubweb
- Include identifier state designators in header analysis — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue with include directives in main.c — Peter W. V. Tran-Jørgensen / githubweb
- - Fixed memory leak in maps. - Addresses #89. — Victor Bandur / githubweb
- - Fixed memory leak in sets. - Addresses #89. — Victor Bandur / githubweb
- - Reverted memory leak fix in sets as it does not appear with generated — Victor Bandur / githubweb
- - Fixed memory leak in sets. - Addresses #89. — Victor Bandur / githubweb
- Cleanup. — Victor Bandur / githubweb
- - Fixed memory leak with sets. - Rearranged failing test. — Victor Bandur / githubweb
- Emit default constructor for records to support ASN1 work — Peter W. V. Tran-Jørgensen / githubweb
- Omit address of result variable in GC calls — Peter W. V. Tran-Jørgensen / githubweb
- - Improvements to GLib-based map implementation. - Addresses #89. — Victor Bandur / githubweb
- Add pacemaker model sources #100 — Peter W. V. Tran-Jørgensen / githubweb
- Add VDMPP version of bubble sort #100 — Peter W. V. Tran-Jørgensen / githubweb
- Check that all paper examples code-generate and compile #100 — Peter W. V. Tran-Jørgensen / githubweb
- Only include TypedValue.h in paper examples extension points — Peter W. V. Tran-Jørgensen / githubweb
- - Inserting assertions for memory allocation failures. - Addresses — Victor Bandur / githubweb
- Update RT transformation to replace RT nodes with empty blocks — Peter W. V. Tran-Jørgensen / githubweb
- Wipe workspace after running build — Peter W. V. Tran-Jørgensen / githubweb
- Move workspace cleanup to 'finally' clause — Peter W. V. Tran-Jørgensen / githubweb
- Assertions for memory allocations and reallocations. — Victor Bandur / githubweb
- Adding assert statements for memory allocations and reallocations. — Victor Bandur / githubweb
- Adding assert statement for memory allocation. — Victor Bandur / githubweb
- Adding assert statements for memory allocations. — Victor Bandur / githubweb
- Adding assert statements for memory allocations and moves. — Victor Bandur / githubweb
- - Removed GLib dependency, not used at all. - Addresses #89. — Victor Bandur / githubweb
- - New implementation of maps. - Addresses #89. — Victor Bandur / githubweb
- - Fixed critical bug causing non-reproducible crashes in the garbage — Victor Bandur / githubweb
- - Another segfault bugfix. - AlarmPP model now can be inspected using — Victor Bandur / githubweb
- Don't set commit status explicitly — Peter W. V. Tran-Jørgensen / githubweb
- Cleanup Jenkinsfile syntax — Peter W. V. Tran-Jørgensen / githubweb
- Don't emit SET_FIELD_PTR_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb
- Don't emit SET_FIELD_GC (it's not needed) — Peter W. V. Tran-Jørgensen / githubweb
- - Not using GC-aware assignments in class fields. - Addresses #89. — Victor Bandur / githubweb
- Fix issue with factorial implementation — Peter W. V. Tran-Jørgensen / githubweb
- Add missing MATH lib test — Peter W. V. Tran-Jørgensen / githubweb
- Update CMakeList file for gcc6 — Peter W. V. Tran-Jørgensen / githubweb
- Add 'numFields' in the IR — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue with for-index loops — Peter W. V. Tran-Jørgensen / githubweb
- Ignore IntelliJ metadata — Peter W. V. Tran-Jørgensen / githubweb
- Fix records value semantics bug — Peter W. V. Tran-Jørgensen / githubweb
- New translation of 'nil' — Peter W. V. Tran-Jørgensen / githubweb
- Fix grow mechanism for sequences #106 — Peter W. V. Tran-Jørgensen / githubweb
- Update runtime to support more function/operation arguments — Peter W. V. Tran-Jørgensen / githubweb
- Add VDM2C 0.1.8 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.1.8 — Peter W. V. Tran-Jørgensen / githubweb
#60 (May 1, 2017 2:39:20 PM)
- [maven-release-plugin] prepare release Release/0.1.4 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Update to CMake file with respect to including VdmModelFeatures.h file. — Victor Bandur / githubweb
- Refactor test code — Peter W. V. Tran-Jørgensen / githubweb
- Mangle token types — Peter W. V. Tran-Jørgensen / githubweb
- Update CompatibleMethodCollector to handle pre and postcondition — Peter W. V. Tran-Jørgensen / githubweb
- Remove packaging phase from Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
- Convert tokens to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
- Update garbage collection transformation to handle tokens — Peter W. V. Tran-Jørgensen / githubweb
- Fix handling of token values in literal transformation — Peter W. V. Tran-Jørgensen / githubweb
- Move bool conversion to comprehension strategies — Peter W. V. Tran-Jørgensen / githubweb
- Add support for forall (quantified) expressions — Peter W. V. Tran-Jørgensen / githubweb
- Test translation of forall (quantified expressions) — Peter W. V. Tran-Jørgensen / githubweb
- Support 'exists' quantified expressions — Peter W. V. Tran-Jørgensen / githubweb
- More testing of 'forall' and 'exists' — Peter W. V. Tran-Jørgensen / githubweb
- Conditionally including ctype.h for use in CSV library. — Victor Bandur / githubweb
- Code cleanup. — Victor Bandur / githubweb
- Noticed and fixed bug that allocated a lot more memory than necessary — Victor Bandur / githubweb
- Factored out unpackstring utility function for use with token types. — Victor Bandur / githubweb
- WIP adding token type support. — Victor Bandur / githubweb
- WIP support for token types. — Victor Bandur / githubweb
- Pass 'this' to field initialisers — Peter W. V. Tran-Jørgensen / githubweb
- Update VDM2C CLI to accept VDM++ files — Peter W. V. Tran-Jørgensen / githubweb
- Update test file filter — Peter W. V. Tran-Jørgensen / githubweb
- Runtime library support for token types. — Victor Bandur / githubweb
- Test code-generation of tokens — Peter W. V. Tran-Jørgensen / githubweb
- Initial runtime support for creation of GC compatible sequences. — Victor Bandur / githubweb
- - Almost complete support for GC-compatible sequences. - Missing — Victor Bandur / githubweb
- Convert sequence enumerations to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
- Update garbage collection transformation to handle sequences — Peter W. V. Tran-Jørgensen / githubweb
- Remove redundant test — Peter W. V. Tran-Jørgensen / githubweb
- Remove test code that is not used anymore — Peter W. V. Tran-Jørgensen / githubweb
- Ensure that test models are type correct — Peter W. V. Tran-Jørgensen / githubweb
- Remove declaration templates that are not used — Peter W. V. Tran-Jørgensen / githubweb
- Clean up expression templates — Peter W. V. Tran-Jørgensen / githubweb
- Clean up statement templates — Peter W. V. Tran-Jørgensen / githubweb
- Clean up type templates — Peter W. V. Tran-Jørgensen / githubweb
- Print C output folder as the last step — Peter W. V. Tran-Jørgensen / githubweb
- Change NameMangler to not report errors for unsupported types — Peter W. V. Tran-Jørgensen / githubweb
- Remove header files if the corresponding C sources cannot be generated — Peter W. V. Tran-Jørgensen / githubweb
- WIP GC support for sets. — Victor Bandur / githubweb
- Head file cleanup. — Victor Bandur / githubweb
- Added set-valued functions. — Victor Bandur / githubweb
- WIP GC support for maps in runtime library. — Victor Bandur / githubweb
- Ensure folder structure when file is emitted — Peter W. V. Tran-Jørgensen / githubweb
- Refactor collection enumeration transformation — Peter W. V. Tran-Jørgensen / githubweb
- Transform set enumerations to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
- Update garbage collection transformation to handle newSetVar — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'tl' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'len' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'hd' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for sequence concatenation — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'reverse' — Peter W. V. Tran-Jørgensen / githubweb
- Clean up apply template — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for sequence look-up — Peter W. V. Tran-Jørgensen / githubweb
- WIP GC support for maps. - GC interface for implemented. - vdmFree — Victor Bandur / githubweb
- WIP GC support for maps. - vdmClone implemented. — Victor Bandur / githubweb
- Initial complete GC support for maps for non-GLib hash table branch. — Victor Bandur / githubweb
- WIP GC support for maps with GLib hash table implementation. — Victor Bandur / githubweb
- GC support for newMapVarToGrow. — Victor Bandur / githubweb
- - Missing declarations. - Fix for mismatched va_arg. — Victor Bandur / githubweb
- - Memory leak fixes for maps. - Addresses # 87. — Victor Bandur / githubweb
- Eliminated some compiler warnings related to const qualifiers on — Victor Bandur / githubweb
- - GC interface for products. - Addresses #87. — Victor Bandur / githubweb
- - Pretty printing support for products (tuples). - Addresses #88. — Victor Bandur / githubweb
- Add GC support for vdmSetElementAt (used by CForIterator) — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'in set' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'union' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'inter' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for '\' (set difference) — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'subset' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'psubset' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'card' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'dunion' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'dinter' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'power' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for map enumerations — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'dom' — Peter W. V. Tran-Jørgensen / githubweb
- Fix handling of 'newMapVarToGrowGC' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'rng' — Peter W. V. Tran-Jørgensen / githubweb
- Clean up imports — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'munion' — Peter W. V. Tran-Jørgensen / githubweb
- Fix map enumerations, GC version — Peter W. V. Tran-Jørgensen / githubweb
- Interface cleanup in runtime library for sequences. — Victor Bandur / githubweb
- Add GC support for map look-ups — Peter W. V. Tran-Jørgensen / githubweb
- Convert tuple expressions to apply expressions — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for tuple expressions — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for tuple field access — Peter W. V. Tran-Jørgensen / githubweb
- Run value type tests with GC enabled — Peter W. V. Tran-Jørgensen / githubweb
- Interface cleanup for sets. — Victor Bandur / githubweb
- - Interface cleanup for maps in runtime library. - Addresses #87. — Victor Bandur / githubweb
- - Interface cleanup for products in runtime library. - Addresses #87. — Victor Bandur / githubweb
- Conditionally excluding PrettyPrint. — Victor Bandur / githubweb
- Fix in vdmSetGrow in accordance with errors from valgrind. — Victor Bandur / githubweb
- Mechanism that detects interference with current stack frame variables — Victor Bandur / githubweb
- - Fixed memory leak in maps. - Addresses #87. — Victor Bandur / githubweb
- - Set clone test in accordance with observation on generated AlarmPP — Victor Bandur / githubweb
- - GC support for newSetVarToGrow. - Addresses #87. — Victor Bandur / githubweb
- - Modifications and test for GC support for sets. - Addresses #87. — Victor Bandur / githubweb
- Add GC support for 'newSetVarToGrowGC' — Peter W. V. Tran-Jørgensen / githubweb
- - Enabled compiler warnings in runtime library. - Cleanup based on — Victor Bandur / githubweb
- Enabled compiler warnings in generated code CMake file. — Victor Bandur / githubweb
- - Fix for vdmSetVarToGrowGC crash. - Addresses #87. — Victor Bandur / githubweb
- - Improvement to GC stack variable interference detection mechanism. - — Victor Bandur / githubweb
- Cleanup. — Victor Bandur / githubweb
- Don't pass addresses of "return" variables to garbage collector — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'elems' — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for 'inds' — Peter W. V. Tran-Jørgensen / githubweb
- Reverted "Cleanup" commit causing failure on build server. — Victor Bandur / githubweb
- Support map overrides, the '++' operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
- Support distributed map merge, the 'merge' operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
- Support distributed map-domain-restrict-to operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
- Support map-domain-restrict-by operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
- Change argument order for map-range operators — Peter W. V. Tran-Jørgensen / githubweb
- Support map-range-restrict-to operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
- - Made runtime library code C99-compliant. - Addresses #91. — Victor Bandur / githubweb
- Support map-range-restrict-by operator (no GC) — Peter W. V. Tran-Jørgensen / githubweb
- Remove TODO that does not really apply anymore — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for map override — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for distributed merge — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for map-dom-restrict-to — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for map-dom-resrict-by — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for map-range-restrict-to — Peter W. V. Tran-Jørgensen / githubweb
- Add GC support for map-restrict-range-by — Peter W. V. Tran-Jørgensen / githubweb
- - Further C89 improvements in runtime library. - Addresses #91. — Victor Bandur / githubweb
- - CMakeLists.txt file for generator tests now forces C99 dialect. - — Victor Bandur / githubweb
- Add missing 'clone' call — Peter W. V. Tran-Jørgensen / githubweb
- Add missing type to constructor call — Peter W. V. Tran-Jørgensen / githubweb
- Approximate macro expression type — Peter W. V. Tran-Jørgensen / githubweb
- - Changing comments to C89 style. - Addresses #91. — Victor Bandur / githubweb
- Accounting for CUSTOM_IO definition in FMU export. — Victor Bandur / githubweb
- - Including VdmRecord.h in Vdm.h. - Addresses #21 — Victor Bandur / githubweb
- Make generated code C89 compliant — Peter W. V. Tran-Jørgensen / githubweb
- Add release notes for version 0.1.6 — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C version 0.1.6 — Peter W. V. Tran-Jørgensen / githubweb
#59 (Mar 17, 2017 5:17:34 PM)
- [maven-release-plugin] prepare release Release/0.1.2 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Update README to mention important wiki pages — noreply / githubweb
- Clean up README — noreply / githubweb
- Add build status — noreply / githubweb
- README corrections — noreply / githubweb
- Reverted mistakenly commented out CALL_FUNC macro definition using — Victor Bandur / githubweb
- Add VDM2C 0.1.4 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.1.4 — Peter W. V. Tran-Jørgensen / githubweb
#58 (Mar 10, 2017 10:26:17 AM)
- [maven-release-plugin] prepare release Release/0.1.0 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Fix for "comparision to string literal" warning on ATMega128. — Victor Bandur / githubweb
- Making global variable for resources location available also when the — Victor Bandur / githubweb
- Add VDM2C 0.1.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.1.2 — Peter W. V. Tran-Jørgensen / githubweb
#56 (Mar 3, 2017 2:05:29 PM)
- Porting over garbage collector from LFR repository. — Victor Bandur / githubweb
- Adding GC interface to basic value creators. — Victor Bandur / githubweb
- GC version of vdmSum. — Victor Bandur / githubweb
- Warning fixes. — Victor Bandur / githubweb
- Garbage collected versions of all numeric operations. — Victor Bandur / githubweb
- Remaining GC implementations for operations on basic types. — Victor Bandur / githubweb
- GC-enabled vdmClone. — Victor Bandur / githubweb
- Fixes to the GC linked list. — Victor Bandur / githubweb
- Collection fix. — Victor Bandur / githubweb
- Fix to deallocate entire list during vdm_gc_shutdown(). — Victor Bandur / githubweb
- Refactored GC into its own files. — Victor Bandur / githubweb
- GC versions of GET_FIELD and GET_FIELD_PTR. — Victor Bandur / githubweb
- Better names for linked list functions. — Victor Bandur / githubweb
- Smaller maximal type improvement for GC version. — Victor Bandur / githubweb
- GC version of vdmEquals. — Victor Bandur / githubweb
- Duplicating tests to use the GC. — Victor Bandur / githubweb
- Migrated to singly-linked list in the GC, memory savings estimated at — Victor Bandur / githubweb
- Fix broken GC test. — Victor Bandur / githubweb
- Improve extensibility of NativeTestBase — Peter W. V. Tran-Jørgensen / githubweb
- Avoid hard coding values — Peter W. V. Tran-Jørgensen / githubweb
- Clean up NumericTrans — Peter W. V. Tran-Jørgensen / githubweb
- Update tests to use google test fixtures — Peter W. V. Tran-Jørgensen / githubweb
- Update test system to generate a fixture class — Peter W. V. Tran-Jørgensen / githubweb
- Fix in pointer assignment inside collection function according to test — Victor Bandur / githubweb
- Clean up LogicTrans — Peter W. V. Tran-Jørgensen / githubweb
- Construct numeric expressions as apply expressions — Peter W. V. Tran-Jørgensen / githubweb
- Introduce CGenSettings — Peter W. V. Tran-Jørgensen / githubweb
- Initial work on a garbage collection transformation — Peter W. V. Tran-Jørgensen / githubweb
- Update VDM2C CLI with GC option — Peter W. V. Tran-Jørgensen / githubweb
- Upgrade GarbageCollectionTrans to handle numeric comparison — Peter W. V. Tran-Jørgensen / githubweb
- Update GarbageColllectionTrans to handle equality — Peter W. V. Tran-Jørgensen / githubweb
- Clean up ValueSemantics — Peter W. V. Tran-Jørgensen / githubweb
- Update GarbageCollectionTrans to emit vdmCloneCG — Peter W. V. Tran-Jørgensen / githubweb
- Update GarbageCollectionTrans to emit GET_FIELD_GC — Peter W. V. Tran-Jørgensen / githubweb
- Update GarbageCollectionTrans to emit GET_FIELD_PTR_GC — Peter W. V. Tran-Jørgensen / githubweb
- - Changed vdmFree and the GC so that they do not interfere with each — Victor Bandur / githubweb
- Updated GC shutdown procedure with better cleanup for compatibility with — Victor Bandur / githubweb
- Removed unused vdmNotEqual and vdmNotEqualGC functions. — Victor Bandur / githubweb
- Removed vdmNotEqual test. — Victor Bandur / githubweb
- Added missing function headers for vdmAnd etc. — Victor Bandur / githubweb
- Removed unused nat, nat1 and int1 functions. — Victor Bandur / githubweb
- Update LogicTrans to handle vdmXor — Peter W. V. Tran-Jørgensen / githubweb
- update GarbageCollectionTrans to handle boolean binary expressions — Peter W. V. Tran-Jørgensen / githubweb
- Fix handling of field accessors in GarbageCollectionTrans — Peter W. V. Tran-Jørgensen / githubweb
- Implementation of SET_FIELD_GC(). — Victor Bandur / githubweb
- Update GarbageCollectionTrans to handle setters — Peter W. V. Tran-Jørgensen / githubweb
- Update GarbageCollectionTrans to not handle field initializer — Peter W. V. Tran-Jørgensen / githubweb
- Add fixture class to manage garbage collection during testing — Peter W. V. Tran-Jørgensen / githubweb
- Run NativeClasses tests with garbage collection turned on — Peter W. V. Tran-Jørgensen / githubweb
- Run Native tests with garbage collection turned on — Peter W. V. Tran-Jørgensen / githubweb
- [maven-release-plugin] prepare release Release/0.0.20 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Modified generated main.c file to include calls to vdm_gc_init() and — Victor Bandur / githubweb
- Update GarbageCollectionTrans to use regular GET/SET in field — Peter W. V. Tran-Jørgensen / githubweb
- Add case study submodules — Peter W. V. Tran-Jørgensen / githubweb
- Fix generation of call to default super constructor — Peter W. V. Tran-Jørgensen / githubweb
- Fix generation of call to default super constructor — Peter W. V. Tran-Jørgensen / githubweb
- Fix in the collector that avoids interference between references to — Victor Bandur / githubweb
- Guard against null pointers — Peter W. V. Tran-Jørgensen / githubweb
- Add case study model compilation regression testing — Peter W. V. Tran-Jørgensen / githubweb
- Work on restructuring the runtime library so that unused parts can be — Victor Bandur / githubweb
- Additional includes to Vdm.h needed for generated code, not for the rest — Victor Bandur / githubweb
- Add 'set' feature analysis — Peter W. V. Tran-Jørgensen / githubweb
- Add 'seq/seq1` feature analysis — Peter W. V. Tran-Jørgensen / githubweb
- Add `map`/`inmap` feature analysis — Peter W. V. Tran-Jørgensen / githubweb
- Integrate all feature analyses and detect use of VDM libraries — Peter W. V. Tran-Jørgensen / githubweb
- Test feature analyses — Peter W. V. Tran-Jørgensen / githubweb
- Translate feature files to C definitions — Peter W. V. Tran-Jørgensen / githubweb
- Update CGen to support feature analysis — Peter W. V. Tran-Jørgensen / githubweb
- Update VDM2C CLI to generate the feature file — Peter W. V. Tran-Jørgensen / githubweb
- Add feature analysis for patterns — Peter W. V. Tran-Jørgensen / githubweb
- Check that use of patterns is detected — Peter W. V. Tran-Jørgensen / githubweb
- Add feature analysis for products — Peter W. V. Tran-Jørgensen / githubweb
- Test that the feature analysis for products works — Peter W. V. Tran-Jørgensen / githubweb
- Emit missing NO_PRODUCTS definition — Peter W. V. Tran-Jørgensen / githubweb
- Add feature analysis for records — Peter W. V. Tran-Jørgensen / githubweb
- Test that the feature analysis for records works — Peter W. V. Tran-Jørgensen / githubweb
- Update the feature analysis to take GC into account — Peter W. V. Tran-Jørgensen / githubweb
- Update the VDM2C plugin to emit VdmModelFeatures.h — Peter W. V. Tran-Jørgensen / githubweb
- Update the VDM2C plugin to use GC by default — Peter W. V. Tran-Jørgensen / githubweb
- Runtime support for self expressions. — Victor Bandur / githubweb
- GC suffix typo. — Victor Bandur / githubweb
- Use SELF macro to represent self expressions — Peter W. V. Tran-Jørgensen / githubweb
- Update GC to handle self expressions — Peter W. V. Tran-Jørgensen / githubweb
- Add Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
- Update Jenkinsfile to initialize submodules — Peter W. V. Tran-Jørgensen / githubweb
- Remove release procedure from README — Peter W. V. Tran-Jørgensen / githubweb
- Remove development environment description from README — Peter W. V. Tran-Jørgensen / githubweb
- Exclusion of runtime tests based on VdmModelFeatures.h file. — Victor Bandur / githubweb
- Exclusion of pattern matching based on VdmModelFeatures.h file. — Victor Bandur / githubweb
- Excluding maps from the runtime library based on VdmModelFeatures.h — Victor Bandur / githubweb
- Exclusion of products and the CSV library, which depends on products, — Victor Bandur / githubweb
- Fix to exclusion of products and CSV library based on VdmModelFeatures.h — Victor Bandur / githubweb
- Exclude maps from pattern mechanism based on VdmModelFeatures.h file. — Victor Bandur / githubweb
- Exclusion of sequences and sets according to VdmModelFeatures.h file and — Victor Bandur / githubweb
- Exclusion of RecordType based on VdmModelFeatures.h file. — Victor Bandur / githubweb
- Exclusion of MATH library based on VdmModelFeatures.h file. — Victor Bandur / githubweb
- Exclusion of IO library based on VdmModelFeatures.h file. — Victor Bandur / githubweb
- Fix issue with CSV detection — Peter W. V. Tran-Jørgensen / githubweb
- Add empty VdmModelFeatures.h file for testing purposes — Peter W. V. Tran-Jørgensen / githubweb
- Fix map, sequence and sets exclusion logic in generator — Peter W. V. Tran-Jørgensen / githubweb
- - Fixes after change to resrouces level VdmModelFeatures.h file. - — Victor Bandur / githubweb
- Use Email-ext to notify on build failures — Peter W. V. Tran-Jørgensen / githubweb
- Extra CALL_FUNC macros and type cast fixes. Addresses #72. — Victor Bandur / githubweb
- Method-level exclusion of sequence-based operations from IO library — Victor Bandur / githubweb
- Exclusion of sets from sequences based on VdmModelFeatures.h file. — Victor Bandur / githubweb
- First implementation of mechanism for calling the GC automatically. — Victor Bandur / githubweb
- Disabling auto GC calling feature for further development. — Victor Bandur / githubweb
- Remove unused include time.h. — Victor Bandur / githubweb
- Some cleanup based on pedantic warnings from the compiler during the — Victor Bandur / githubweb
- Fix pointer comparison in mechanism that delays reclamation in case of — Victor Bandur / githubweb
- Add VDM2C version number to generated code — Peter W. V. Tran-Jørgensen / githubweb
- Fixed CSV library to read resource files properly, whether in — Victor Bandur / githubweb
- Add VDM2C version 0.1.0 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.1.0 — Peter W. V. Tran-Jørgensen / githubweb
#55 (Feb 9, 2017 3:20:40 PM)
- [maven-release-plugin] prepare release Release/0.0.18 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Fix issue with method invocations that receive multiple arguments — Peter W. V. Tran-Jørgensen / githubweb
- Removed incorrect defines left over from file copy. — Victor Bandur / githubweb
- Test that method invocation issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
- Add missing clone calls for apply expressions — Peter W. V. Tran-Jørgensen / githubweb
- Implementation of cosine. — Victor Bandur / githubweb
- Removed unused function vdmNotEqual from runtime library. — Victor Bandur / githubweb
- Removed unused nat, nat1 and int1 functions. — Victor Bandur / githubweb
- Add release notes for version 0.0.20 — Peter W. V. Tran-Jørgensen / githubweb
- Prepare for release of version 0.0.20 — Peter W. V. Tran-Jørgensen / githubweb
#54 (Jan 31, 2017 7:06:20 PM)
- Remove unused transformation — Peter W. V. Tran-Jørgensen / githubweb
- Add utility class to generate clone/free calls — Peter W. V. Tran-Jørgensen / githubweb
- Use 'ValueSemantics' class to generate clone calls — Peter W. V. Tran-Jørgensen / githubweb
- Use 'ValueSemantics' class to generate free calls — Peter W. V. Tran-Jørgensen / githubweb
- Fix for the ValueSemantics clone method — Peter W. V. Tran-Jørgensen / githubweb
- Check that values do not leak memory — Peter W. V. Tran-Jørgensen / githubweb
- Check that static instance variables do not leak — Peter W. V. Tran-Jørgensen / githubweb
- Check that instance variables do not leak memory — Peter W. V. Tran-Jørgensen / githubweb
- [maven-release-plugin] prepare release Release/0.0.16 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Document release procedure — noreply / githubweb
- Fix typos in the release procedure description — noreply / githubweb
- Memory tests assume that valgrind is installed — Peter W. V. Tran-Jørgensen / githubweb
- Fix typo in README — Peter W. V. Tran-Jørgensen / githubweb
- Update "Development environment prerequisites" to mention valgrind — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue with field look-ups — Peter W. V. Tran-Jørgensen / githubweb
- Rename test — Peter W. V. Tran-Jørgensen / githubweb
- Test that the field reference issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
- Export fix for the FMU exporter. — Victor Bandur / githubweb
- - Implementing CSV library. - Implementation of flinecount function. — Victor Bandur / githubweb
- Return result TVP product for flinecount. — Victor Bandur / githubweb
- Implementation of flinecount and freadval. Tested externally to the — Victor Bandur / githubweb
- Test for "flinecount". — Victor Bandur / githubweb
- Test for freadval. — Victor Bandur / githubweb
- Added newProductVar variadic function. Addresses #63. — Victor Bandur / githubweb
- Add support for product types — Peter W. V. Tran-Jørgensen / githubweb
- Test that product types code-generate correctly — Peter W. V. Tran-Jørgensen / githubweb
- Ignore CSV test input — Peter W. V. Tran-Jørgensen / githubweb
- Fail Maven build when runtime test don't pass — Peter W. V. Tran-Jørgensen / githubweb
- Add limited support for function instantiations — Peter W. V. Tran-Jørgensen / githubweb
- Test that function instantiations code-generate correctly — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue with for loop statements — Peter W. V. Tran-Jørgensen / githubweb
- Test that for loop issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
- Tests for CSV library. — Victor Bandur / githubweb
- Add release notes for version 0.0.18 — Peter W. V. Tran-Jørgensen / githubweb
- Release procedure corrections — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of version 0.0.18 — Peter W. V. Tran-Jørgensen / githubweb
#53 (Dec 2, 2016 5:15:52 PM)
- - Working on emitting global static and constant init and shutdown — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.0.14 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Generalise AVarDeclIR — Peter W. V. Tran-Jørgensen / githubweb
- Testing that an old error in overriding behaviour no longer appears. — Victor Bandur / githubweb
- Emitting header files for global static and const init and shutdown — Victor Bandur / githubweb
- Using correct quotes for header file name in include directive. — Victor Bandur / githubweb
- Add start statement test — Peter W. V. Tran-Jørgensen / githubweb
- Add start statement template — Peter W. V. Tran-Jørgensen / githubweb
- Formatting in emitted main.c file. — Victor Bandur / githubweb
- Add VDM2C 0.0.16 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare VDM2C 0.0.16 release — Peter W. V. Tran-Jørgensen / githubweb
#52 (Nov 30, 2016 2:32:04 PM)
- Model code for Collatz example. — Victor Bandur / githubweb
- List of generated files for FMU export. — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.0.12 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Removing handling of protected qualifier as it poses problems for — Victor Bandur / githubweb
- Remove garbage file — Peter W. V. Tran-Jørgensen / githubweb
- Improve extensibility of test classes — Peter W. V. Tran-Jørgensen / githubweb
- Add valgrind configuration to CMakeLists.txt — Peter W. V. Tran-Jørgensen / githubweb
- Add functionality to test memory management — Peter W. V. Tran-Jørgensen / githubweb
- Ignoring protected and static qualifiers only on constructors. — Victor Bandur / githubweb
- Remove field that is not needed — Peter W. V. Tran-Jørgensen / githubweb
- When method has no parameters, return empty list of parameter types — Victor Bandur / githubweb
- Add v0.0.14 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare v0.0.14 release — Peter W. V. Tran-Jørgensen / githubweb
#51 (Nov 22, 2016 2:37:13 PM)
- [maven-release-plugin] prepare release Release/0.0.10 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Make "if-tests" executable — Peter W. V. Tran-Jørgensen / githubweb
- Add generic "if-test" — Peter W. V. Tran-Jørgensen / githubweb
- Add tests that reveal issue with if statements — Peter W. V. Tran-Jørgensen / githubweb
- Updated README.txt with cmake command for debug. — Victor Bandur / githubweb
- Unpack all typed expressions — Peter W. V. Tran-Jørgensen / githubweb
- Test collection updates — Peter W. V. Tran-Jørgensen / githubweb
- Low-level map update function, instead of implementing in terms of map — Victor Bandur / githubweb
- Test for sequence updates. — Victor Bandur / githubweb
- Add support for field and sequence updates — Peter W. V. Tran-Jørgensen / githubweb
- Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF — Peter W. V. Tran-Jørgensen / githubweb
- Testing in-place sequence update. — Victor Bandur / githubweb
- Fix issue with copying of runtime library — Peter W. V. Tran-Jørgensen / githubweb
- Corrections for CLI argument validation — Peter W. V. Tran-Jørgensen / githubweb
- Add missing source nodes to class headers — Peter W. V. Tran-Jørgensen / githubweb
- Represent the generated code using CGP means — Peter W. V. Tran-Jørgensen / githubweb
- Update CLI to report errors/unsupported constructs — Peter W. V. Tran-Jørgensen / githubweb
- Translate standard libraries to IR modules — Peter W. V. Tran-Jørgensen / githubweb
- Translate generated modules to C sources — Peter W. V. Tran-Jørgensen / githubweb
- Update the VDM2C plugin to output the user's code — Peter W. V. Tran-Jørgensen / githubweb
- Correct initialisation of mangledNames — Peter W. V. Tran-Jørgensen / githubweb
- Better user feedback for unsupported constructs — Peter W. V. Tran-Jørgensen / githubweb
- Output folder field is not needed — Peter W. V. Tran-Jørgensen / githubweb
- Clean-up CLI — Peter W. V. Tran-Jørgensen / githubweb
- Simplify CGen — Peter W. V. Tran-Jørgensen / githubweb
- Move 'copyNativeLibFiles' to core — Peter W. V. Tran-Jørgensen / githubweb
- Update the VDM2C CLI — Peter W. V. Tran-Jørgensen / githubweb
- Add v0.0.12 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release of VDM2C 0.0.12 — Peter W. V. Tran-Jørgensen / githubweb
#49 (Nov 15, 2016 3:04:01 PM)
- Better way to find enclosing class — Peter W. V. Tran-Jørgensen / githubweb
- Add record test — Peter W. V. Tran-Jørgensen / githubweb
- Convert record types to class types — Peter W. V. Tran-Jørgensen / githubweb
- Convert record declarations to class declarations — Peter W. V. Tran-Jørgensen / githubweb
- Migrating records infrastructure in the native library to use records as — Victor Bandur / githubweb
- Construct VDM type for records — Peter W. V. Tran-Jørgensen / githubweb
- - Working on support in the native library for record value semantics. — Victor Bandur / githubweb
- Emitting definition of class struct field to hold number of fields. — Victor Bandur / githubweb
- Fix the record/class check used in the templates — Peter W. V. Tran-Jørgensen / githubweb
- Update transformations not to generate vdmClone calls — Peter W. V. Tran-Jørgensen / githubweb
- Working out structure walking mechanism for record value semantics. — Victor Bandur / githubweb
- Pointer arithmetic to access number-of-fields field in class struct. — Victor Bandur / githubweb
- Can now walk fields of structure and clone each correctly. — Victor Bandur / githubweb
- Cleanup imports — Peter W. V. Tran-Jørgensen / githubweb
- Fix construction of 'null' expression — Peter W. V. Tran-Jørgensen / githubweb
- Update literal transformation to use constants — Peter W. V. Tran-Jørgensen / githubweb
- Revert change that was introducing a problem with records — Peter W. V. Tran-Jørgensen / githubweb
- Fix construction of 'null' expression — Peter W. V. Tran-Jørgensen / githubweb
- Cleanup imports — Peter W. V. Tran-Jørgensen / githubweb
- Debugging confirms that vdmClone now duplicates record fields in — Victor Bandur / githubweb
- Value semantics for record equality checking with vdmEquals confirmed — Victor Bandur / githubweb
- Add creation of a distribution map pr. CPU — Miran / githubweb
- Added analysis of the BUS structure — Miran / githubweb
- Added analysis of BUS structure — Miran / githubweb
- Generate array of all deployed objects — Miran / githubweb
- Create folder for each CPU — Miran / githubweb
- Decoupling of the transformation for distribution — Miran / githubweb
- Get the name of the system definition — Miran / githubweb
- Expanding test for record value semantics with structured values inside — Victor Bandur / githubweb
- Add 'numFields' field to every class — Peter W. V. Tran-Jørgensen / githubweb
- Privatise fields — Peter W. V. Tran-Jørgensen / githubweb
- Add missing null pointer check — Peter W. V. Tran-Jørgensen / githubweb
- Another record value semantics test using structured fields. — Victor Bandur / githubweb
- - Working on freeing records properly. - Addresses #33. — Victor Bandur / githubweb
- - Further work on vdmFree for records. - Addresses #33. — Victor Bandur / githubweb
- Test value type semantics for generated records — Peter W. V. Tran-Jørgensen / githubweb
- Undo commit that removes vdmClone calls — Peter W. V. Tran-Jørgensen / githubweb
- Clean-up FieldExpRewriteTrans — Peter W. V. Tran-Jørgensen / githubweb
- - Fixed bug in vdmClone for records exposed by use of vdmFree on cloned — Victor Bandur / githubweb
- - Freeing more of the memory allocated to a record. - Addresses #33. — Victor Bandur / githubweb
- - Comments. - Addresses #33. — Victor Bandur / githubweb
- Transformation to the DIST_CALL macro, used for dispatching local and — Miran / githubweb
- Minor updates to a test of distributed transformation — Miran / githubweb
- Minor fix to distribution macro transformation — Miran / githubweb
- Add 'installation' section to the README — Peter W. V. Tran-Jørgensen / githubweb
- Fix README sections — Peter W. V. Tran-Jørgensen / githubweb
- Initial tests using valgrind. The main file must be removed or it will — Victor Bandur / githubweb
- Initial version of transformation for generating ids for deployed — Miran / githubweb
- Changed set of deployed objects to list, since we need order — Miran / githubweb
- Clean up comments — Miran / githubweb
- Each object gets unique id — Miran / githubweb
- Generate the distribution map — Miran / githubweb
- Generate individual system pr. cpu — Miran / githubweb
- Fixed problem with assignment to inherited fields. — Victor Bandur / githubweb
- Changed skip to be an empty block — Miran / githubweb
- Fixed class lookup on fields so that superclasses are properly taken — Victor Bandur / githubweb
- Fished out memory leak in newSetWithValues(). — Victor Bandur / githubweb
- Gitignore stuff. — Victor Bandur / githubweb
- Notes for myself. — Victor Bandur / githubweb
- Eliminating name 'recursiveFree' in favour of 'vdmFree'. — Victor Bandur / githubweb
- Improved makefile. — Victor Bandur / githubweb
- Small reduction in memory leak for sets caused by unfreed element in — Victor Bandur / githubweb
- Some binary files. — Victor Bandur / githubweb
- Removing binary files. — Victor Bandur / githubweb
- Eliminated large memory leak in sets, confirmed with sets of basic — Victor Bandur / githubweb
- Comment related to the memory leak. — Victor Bandur / githubweb
- Cleanup. — Victor Bandur / githubweb
- Removing staging area for memory performance tests from this branch — Victor Bandur / githubweb
- Revert "Merge commit '7f2d6a2cab1b93e5abecc082923c961c675a917a' into — Victor Bandur / githubweb
- Changed skip to be an empty block — Victor Bandur / githubweb
- Fixed class name clashes in suite of VDM-RT tests. — Victor Bandur / githubweb
- VDM-RT test for OpInheritanceOverride. — Victor Bandur / githubweb
- Method override test constructed to show segmentation fault error as — Victor Bandur / githubweb
- Fixed method overriding problem, but the test model needs to be expanded — Victor Bandur / githubweb
- Expanded operationo override test to cover overriding different — Victor Bandur / githubweb
- Features in native library enabling sequence comprehension. — Victor Bandur / githubweb
- Add convenience function to construct C integer literals — Peter W. V. Tran-Jørgensen / githubweb
- Use C integer literals to construct set comprehension variables — Peter W. V. Tran-Jørgensen / githubweb
- Update runtime library integer conversion to support reals — Peter W. V. Tran-Jørgensen / githubweb
- Test that set comprehensions work — Peter W. V. Tran-Jørgensen / githubweb
- Update set comprehension strategy to generate the conditional check — Peter W. V. Tran-Jørgensen / githubweb
- Add support for sequence comprehensions — Peter W. V. Tran-Jørgensen / githubweb
- Test that sequence comprehensions work — Peter W. V. Tran-Jørgensen / githubweb
- Add method to find object type VDM name — Peter W. V. Tran-Jørgensen / githubweb
- - Constructing a correct reference to the "self" object. - Addresses — Victor Bandur / githubweb
- Add formatting support for numeric unary expressions — Peter W. V. Tran-Jørgensen / githubweb
- Add support for unary minus — Peter W. V. Tran-Jørgensen / githubweb
- Add support for unary plus — Peter W. V. Tran-Jørgensen / githubweb
- Test that numeric unary expressions are handled correctly — Peter W. V. Tran-Jørgensen / githubweb
- Implementation of newMapVarToGrow() to support map comprehensions. — Victor Bandur / githubweb
- Implementation of vdmMapGrow() to support map comprehensions. — Victor Bandur / githubweb
- Comments. — Victor Bandur / githubweb
- Formatting. — Victor Bandur / githubweb
- Minor optimization in terms of calling newMapVarToGrow with no key-value — Victor Bandur / githubweb
- Addition of constructors to the virtual function table. — Victor Bandur / githubweb
- Fix so that self expression does not output VDM_RECORD instead of — Victor Bandur / githubweb
- Tests for nested constructor calls, no inheritance. — Victor Bandur / githubweb
- Support for "is_" check for booleans, integers and reals. — Victor Bandur / githubweb
- Added header file inclusion for sets, since the mac gcc compiler fails — Miran / githubweb
- Eliminated use of "const" qualifier on pointer variables. There is no — Victor Bandur / githubweb
- Changing from using "EXPECT_EQ(false / true ... " in native library — Victor Bandur / githubweb
- Remove garbage file — Peter W. V. Tran-Jørgensen / githubweb
- Clean up imports — Peter W. V. Tran-Jørgensen / githubweb
- Add support for "let be st" constructs — Peter W. V. Tran-Jørgensen / githubweb
- Test that "let be st" constructs code generate correctly — Peter W. V. Tran-Jørgensen / githubweb
- - Changed to better name for equality function for numbers. - Handling — Victor Bandur / githubweb
- Correct map type template — Peter W. V. Tran-Jørgensen / githubweb
- Correct map range template — Peter W. V. Tran-Jørgensen / githubweb
- Correct map domain template — Peter W. V. Tran-Jørgensen / githubweb
- Add support for map enumerations — Peter W. V. Tran-Jørgensen / githubweb
- Add support for map access — Peter W. V. Tran-Jørgensen / githubweb
- Test that maps code generate correctly — Peter W. V. Tran-Jørgensen / githubweb
- Test that map equality/inequality code generate correctly — Peter W. V. Tran-Jørgensen / githubweb
- Correct map inverse template — Peter W. V. Tran-Jørgensen / githubweb
- Test that the map inverse operator code generates correctly — Peter W. V. Tran-Jørgensen / githubweb
- Correct map union template — Peter W. V. Tran-Jørgensen / githubweb
- Test that map union code generates correctly — Peter W. V. Tran-Jørgensen / githubweb
- Set and map equality fixes. — Victor Bandur / githubweb
- Fix for map equality. — Victor Bandur / githubweb
- Inserting explicit cast necessary for ATmega target. Because of a fluke — Victor Bandur / githubweb
- fixed #50 — Kenneth Lausdahl / githubweb
- Improvement to number operations so that the largest type gets returned — Victor Bandur / githubweb
- Fixed tests in accordance with reduced maximal type change. — Victor Bandur / githubweb
- Maximal type fix for vdmMod. — Victor Bandur / githubweb
- Add v0.0.10 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Prepare the v0.0.10 release — Peter W. V. Tran-Jørgensen / githubweb
#47 (Oct 10, 2016 3:30:05 PM)
- [maven-release-plugin] prepare release Release/0.0.8 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
#46 (Oct 7, 2016 4:04:26 PM)
- - Added test for ClassOp.vdmrt. - Addresses #8. — Victor Bandur / githubweb
- - Added test for ClassOp2.vdmrt. - Addresses #8. — Victor Bandur / githubweb
- - Adding test code for ClassOpOpCall.vdmrt - Addresses #8. — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.0.6 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- - Added test for ClassOp2.vdmrt - Addresses #8. — Victor Bandur / githubweb
- - Added test for ClassVarOpOp.vdmrt. - Addresses #8. — Victor Bandur / githubweb
- - Added test for ClassVarOpOp2.vdmrt. This test creates an infinitely — Victor Bandur / githubweb
- Testing whether can emit the main file for the generated C code. — Victor Bandur / githubweb
- Further work on emitting main.c file. — Victor Bandur / githubweb
- main.c file is now emitted programmatically by the generation process. — Victor Bandur / githubweb
- Ignore the generated library tests file (vdmclib) — Peter W. V. Tran-Jørgensen / githubweb
- - Modified CMake file so that each CG unit test outputs an XML test — Victor Bandur / githubweb
- Working on gettig a map of model names to mangled names for use in — Victor Bandur / githubweb
- Address warnings — Peter W. V. Tran-Jørgensen / githubweb
- Fixed accidental error. — Victor Bandur / githubweb
- Emitting #defines for mapping between mangled names and model names. — Victor Bandur / githubweb
- Using uderscore as namespace separator instead of period. — Victor Bandur / githubweb
- Ensure that the googletests are executed — Peter W. V. Tran-Jørgensen / githubweb
- Add subclass responsibility tests — Peter W. V. Tran-Jørgensen / githubweb
- Omitting mangled names of initializer functions. They are not relevant — Victor Bandur / githubweb
- Remove missing jar from MANIFEST — Peter W. V. Tran-Jørgensen / githubweb
- Fix javadoc versions — Peter W. V. Tran-Jørgensen / githubweb
- - Modified NameMangler so that it keeps an internal map of mangled — Victor Bandur / githubweb
- Comment. — Victor Bandur / githubweb
- - Basic operation overriding test. - Addresses #8. — Victor Bandur / githubweb
- - Expanded override test to two-level inheritance. - Addresses #8. — Victor Bandur / githubweb
- Update description of how to execute runtime tests — Peter W. V. Tran-Jørgensen / githubweb
- Addresses #8. — Victor Bandur / githubweb
- - Completed test for ClassOpOverrideMiddle.vdmrt. - Addresses #8. — Victor Bandur / githubweb
- - Completing test for ClassValueInheritance.vdmrt test model. - Has — Victor Bandur / githubweb
- Fix name mangling of rat, union, void and nat1 types — Peter W. V. Tran-Jørgensen / githubweb
- Add name mangling tests — Peter W. V. Tran-Jørgensen / githubweb
- Fix name mangling of collection constructors — Peter W. V. Tran-Jørgensen / githubweb
- Test name mangling of collection constructors — Peter W. V. Tran-Jørgensen / githubweb
- Clean up imports — Peter W. V. Tran-Jørgensen / githubweb
- Add script to generate release notes — Peter W. V. Tran-Jørgensen / githubweb
- Add release notes for v0.0.4 — Peter W. V. Tran-Jørgensen / githubweb
- Add release notes for v0.0.6 — Peter W. V. Tran-Jørgensen / githubweb
- enabled code signing — Kenneth Lausdahl / githubweb
- Determine which classes uses 'time' — Peter W. V. Tran-Jørgensen / githubweb
- Test 'TimeFinder' — Peter W. V. Tran-Jørgensen / githubweb
- Determining whether 'time.h' is needed. — Victor Bandur / githubweb
- Header 'time.h' no longer needed in Vdm.h. — Victor Bandur / githubweb
- 'time.h' is now only included in .c files corresponding to classes — Victor Bandur / githubweb
- Add version 0.0.8 release notes — Peter W. V. Tran-Jørgensen / githubweb
- Update release version to 0.0.8 and development version to — Peter W. V. Tran-Jørgensen / githubweb
#43 (Sep 27, 2016 1:38:32 PM)
- removed main.c from vdmclib that canceled out the gooletest main — Kenneth Lausdahl / githubweb
- enabled recursive submodule update on release checkout — Kenneth Lausdahl / githubweb
- changed execution of native tests to use maven ant — Kenneth Lausdahl / githubweb
#42 (Sep 27, 2016 12:05:16 AM)
- preparing for release 0.0.6 — Kenneth Lausdahl / githubweb
#38 (Sep 26, 2016 3:54:52 PM)
- preparing next release — Kenneth Lausdahl / githubweb
- More transformations cleanup. — Victor Bandur / githubweb
- More cleanup. — Victor Bandur / githubweb
- Refactoring of field transformations. — Victor Bandur / githubweb
- Test model for incremental redevelopment of static field access — Victor Bandur / githubweb
- Some temporary static field tests exercising the globals scheme. — Victor Bandur / githubweb
- Reworking field access transformation. — Victor Bandur / githubweb
- Committing some intermediate stuff before moving to new branch. — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.0.2 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Stabilize tests. — Victor Bandur / githubweb
- Test model for scratch work. — Peter W. V. Tran-Jørgensen / githubweb
- Add test from commit 6ce283 — Peter W. V. Tran-Jørgensen / githubweb
- Add test code from commit 16f494 — Peter W. V. Tran-Jørgensen / githubweb
- Add test code changes from d7ffd1 — Peter W. V. Tran-Jørgensen / githubweb
- Changes from 22e1d1 — Peter W. V. Tran-Jørgensen / githubweb
- Port over changes related to de0401 — Peter W. V. Tran-Jørgensen / githubweb
- Re-enable test (related to 732351) — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue related to construction of the field name — Peter W. V. Tran-Jørgensen / githubweb
- Changes related to 15dd76 — Peter W. V. Tran-Jørgensen / githubweb
- Ensuring that const and static init functions have bodies — Peter W. V. Tran-Jørgensen / githubweb
- changed cmake testing to reuse the same compiled googletest resources — Peter W. V. Tran-Jørgensen / githubweb
- Work on static fields (related to 9c66cd) — Peter W. V. Tran-Jørgensen / githubweb
- Records test was in fact a test for products. — Peter W. V. Tran-Jørgensen / githubweb
- Add prerequisite section in the README — Peter W. V. Tran-Jørgensen / githubweb
- Update description of test properties — Peter W. V. Tran-Jørgensen / githubweb
- Describe how to execute the runtime tests — Peter W. V. Tran-Jørgensen / githubweb
- Update readme.md — Peter W. V. Tran-Jørgensen / githubweb
- Re-organise readmes — Peter W. V. Tran-Jørgensen / githubweb
- Cleanup README — Peter W. V. Tran-Jørgensen / githubweb
- Do not put launch configurations under version control — Peter W. V. Tran-Jørgensen / githubweb
- Change testing log level — Peter W. V. Tran-Jørgensen / githubweb
- Untrack launch configurations — Peter W. V. Tran-Jørgensen / githubweb
- Allow test files to exist — Peter W. V. Tran-Jørgensen / githubweb
- Update quote test to support test execution — Peter W. V. Tran-Jørgensen / githubweb
- Add name mangling for quote types — Peter W. V. Tran-Jørgensen / githubweb
- Slightly better testing of quotes — Peter W. V. Tran-Jørgensen / githubweb
- Add name mangling for the unknown type and the template type — Peter W. V. Tran-Jørgensen / githubweb
- Add name mangling for named types — Peter W. V. Tran-Jørgensen / githubweb
- Add name mangling for union types — Peter W. V. Tran-Jørgensen / githubweb
- Suppress googletest output by default — Peter W. V. Tran-Jørgensen / githubweb
- Improvements for the C code generator command-line — Peter W. V. Tran-Jørgensen / githubweb
- Update tests to pass the --quiet flag to the C code generator — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue with the field access transformation — Peter W. V. Tran-Jørgensen / githubweb
- Test that the field transformation issue is fixed — Peter W. V. Tran-Jørgensen / githubweb
- Update public field test to compile the generated code — Peter W. V. Tran-Jørgensen / githubweb
- Re-enable and fix field test — Peter W. V. Tran-Jørgensen / githubweb
- Remove -DVDM_LIB_PATH test property — Peter W. V. Tran-Jørgensen / githubweb
- Update vdm2c to use newest version of Overture — Peter W. V. Tran-Jørgensen / githubweb
- Update the VDM2C plugin to build against Eclipse Neon. Closes #18 — Peter W. V. Tran-Jørgensen / githubweb
- Testing branching. — Victor Bandur / githubweb
- Work on not including unnecessary directories along with generated code. — Victor Bandur / githubweb
- Related to issue #4. — Victor Bandur / githubweb
- Related to issue #4. — Victor Bandur / githubweb
- More path fixes. Related to issue #4. — Victor Bandur / githubweb
- Test for behaviour of class variable and record variable assignment. — Victor Bandur / githubweb
- Test case for scratch work VDM class. — Victor Bandur / githubweb
- Test material to determine whether assignment achieves value and — Victor Bandur / githubweb
- Tweak description of how to execute the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
- Remove generated test file — Peter W. V. Tran-Jørgensen / githubweb
- Add more tests for static fields — Peter W. V. Tran-Jørgensen / githubweb
- Renaming for VDM quote type. — Victor Bandur / githubweb
- Fix code generation of static field access — Peter W. V. Tran-Jørgensen / githubweb
- Test that issue with code generation of static field access is fixed — Peter W. V. Tran-Jørgensen / githubweb
- Fix issue with assignments to static fields — Peter W. V. Tran-Jørgensen / githubweb
- Aligned order of parameters for Collection construction functions. — Victor Bandur / githubweb
- Preventing unimplemented math functions from generating compiler — Victor Bandur / githubweb
- Fix: Lookup of the name of the enclosing class did not expect the system — Peter W. V. Tran-Jørgensen / githubweb
- Clean up NameConverter (remove unused code) — Peter W. V. Tran-Jørgensen / githubweb
- Fix the static field access transformation — Peter W. V. Tran-Jørgensen / githubweb
- Test that the static field issues have been fixed — Peter W. V. Tran-Jørgensen / githubweb
- Correct description of how to execute the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
- Integrate runtime library test into Maven build — Peter W. V. Tran-Jørgensen / githubweb
- Disable run-lib-tests shell script — Peter W. V. Tran-Jørgensen / githubweb
- Run cmake before executing the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
- Executing the runtime library test requires cmake be run — Peter W. V. Tran-Jørgensen / githubweb
- Update description of how to execute the runtime library tests — Peter W. V. Tran-Jørgensen / githubweb
- Fixed memory leak in setting class field value. Related to issue #29. — Victor Bandur / githubweb
- Fixes issue #29. — Victor Bandur / githubweb
- Update C code generator plugin to export missing package — Peter W. V. Tran-Jørgensen / githubweb
- Prepare release 0.0.6 — Peter W. V. Tran-Jørgensen / githubweb
#37 (Sep 26, 2016 3:28:06 PM)
- Update Overture repository — Peter W. V. Tran-Jørgensen / githubweb
#36 (Sep 26, 2016 3:06:00 PM)
- More transformations cleanup. — Victor Bandur / githubweb
- More cleanup. — Victor Bandur / githubweb
- Refactoring of field transformations. — Victor Bandur / githubweb
- Test model for incremental redevelopment of static field access — Victor Bandur / githubweb
- Some temporary static field tests exercising the globals scheme. — Victor Bandur / githubweb
- Reworking field access transformation. — Victor Bandur / githubweb
- Committing some intermediate stuff before moving to new branch. — Victor Bandur / githubweb
- [maven-release-plugin] prepare release Release/0.0.2 — jenkins / githubweb
- [maven-release-plugin] prepare for next development iteration — jenkins / githubweb
- Stabilize tests. — Victor Bandur / githubweb
- - First part of cleaned field access transformation. - Read of field — Victor Bandur / githubweb
- Work in progress on getting value of local field. — Victor Bandur / githubweb
- Test model for scratch work. — Victor Bandur / githubweb
- Some intermediate work and notes. — Victor Bandur / githubweb
- Work in progress on field access transformation. — Victor Bandur / githubweb
- More tests and fixes for field access transformation. — Victor Bandur / githubweb
- - Ongoing work on field access transformations. - Access to fields in — Victor Bandur / githubweb
- Re-enabled test. — Victor Bandur / githubweb
- Small change to test model for next field access feature, access to — Victor Bandur / githubweb
- Tests for field access on objects pass. — Victor Bandur / githubweb
- Access to values works. — Victor Bandur / githubweb
- Working on setting public fields of instances. — Victor Bandur / githubweb
- Setting of public fields on instances works. — Victor Bandur / githubweb
- Ensuring that const and static init functions have bodies. — Victor Bandur / githubweb
- Forgot to emit non-empty body for static init functions. — Victor Bandur / githubweb
- Further improvements to static field access. — Victor Bandur / githubweb
- Read of inherited instance variables. — Victor Bandur / githubweb
- Setting of public fields, static and non-static, through instance or — Victor Bandur / githubweb
- Code cleanup. — Victor Bandur / githubweb
- Clean-up. — Victor Bandur / githubweb
- Records test was in fact a test for products. — Victor Bandur / githubweb
- Intermediate work on records. — Victor Bandur / githubweb
- Emitting functions to return references to static fields for FMU export. — Victor Bandur / githubweb
- Record type definitions are now transformed into standard classes and — Victor Bandur / githubweb
- Fixed problem with tests introduced by record extraction to classes. — Victor Bandur / githubweb
- Work in progress on changing record declarations to corresponding class — Victor Bandur / githubweb
- modified: — Victor Bandur / githubweb
- - Added constructor to the corresponding class for record type — Victor Bandur / githubweb
- Some test model elements for static field access bug. — Victor Bandur / githubweb
- Remaining math library functions, but no tests. — Victor Bandur / githubweb
- Working on making the class name available for each class to be used in — Victor Bandur / githubweb
- Each class struct now has a field named "class_name" that contains the — Victor Bandur / githubweb
- Github static modifier issue 13. — Victor Bandur / githubweb
- Github issue 11 with initialization of record fields. — Victor Bandur / githubweb
- Working on getting the right class constructor instead of mk_ for — Victor Bandur / githubweb
- Fixed error with return type of constructor for record-to-class — Victor Bandur / githubweb
- Type of the initial value of record initialization after conversion to — Victor Bandur / githubweb
- DOC: fixes in the README file — atfabbri / githubweb
- Work on not including unnecessary directories along with generated code. — Victor Bandur / githubweb
- Related to issue #4. — Victor Bandur / githubweb
- Related to issue #4. — Victor Bandur / githubweb
- Prepare release 0.0.4 — Peter W. V. Tran-Jørgensen / githubweb
#24 (Jun 24, 2016 2:30:26 PM)
- preparing next release — Kenneth Lausdahl / githubweb
#4 (Jun 23, 2016 2:25:21 PM)
- changed overture version to 2.3.6 — Kenneth Lausdahl / githubweb
- changed incubation year and distribution management repo — Kenneth Lausdahl / githubweb