Changes
Summary
- preparing next release (details)
- More transformations cleanup. (details)
- More cleanup. (details)
- Refactoring of field transformations. (details)
- Test model for incremental redevelopment of static field access (details)
- Some temporary static field tests exercising the globals scheme. (details)
- Reworking field access transformation. (details)
- Committing some intermediate stuff before moving to new branch. (details)
- [maven-release-plugin] prepare release Release/0.0.2 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Stabilize tests. (details)
- Test model for scratch work. (details)
- Add test from commit 6ce283 (details)
- Add test code from commit 16f494 (details)
- Add test code changes from d7ffd1 (details)
- Changes from 22e1d1 (details)
- Port over changes related to de0401 (details)
- Re-enable test (related to 732351) (details)
- Fix issue related to construction of the field name (details)
- Changes related to 15dd76 (details)
- Ensuring that const and static init functions have bodies (details)
- changed cmake testing to reuse the same compiled googletest resources (details)
- Work on static fields (related to 9c66cd) (details)
- Records test was in fact a test for products. (details)
- Add prerequisite section in the README (details)
- Update description of test properties (details)
- Describe how to execute the runtime tests (details)
- Update readme.md (details)
- Re-organise readmes (details)
- Cleanup README (details)
- Do not put launch configurations under version control (details)
- Change testing log level (details)
- Untrack launch configurations (details)
- Allow test files to exist (details)
- Update quote test to support test execution (details)
- Add name mangling for quote types (details)
- Slightly better testing of quotes (details)
- Add name mangling for the unknown type and the template type (details)
- Add name mangling for named types (details)
- Add name mangling for union types (details)
- Suppress googletest output by default (details)
- Improvements for the C code generator command-line (details)
- Update tests to pass the --quiet flag to the C code generator (details)
- Fix issue with the field access transformation (details)
- Test that the field transformation issue is fixed (details)
- Update public field test to compile the generated code (details)
- Re-enable and fix field test (details)
- Remove -DVDM_LIB_PATH test property (details)
- Update vdm2c to use newest version of Overture (details)
- Update the VDM2C plugin to build against Eclipse Neon. Closes #18 (details)
- Testing branching. (details)
- Work on not including unnecessary directories along with generated code. (details)
- Related to issue #4. (details)
- Related to issue #4. (details)
- More path fixes. Related to issue #4. (details)
- Test for behaviour of class variable and record variable assignment. (details)
- Test case for scratch work VDM class. (details)
- Test material to determine whether assignment achieves value and (details)
- Tweak description of how to execute the runtime library tests (details)
- Remove generated test file (details)
- Add more tests for static fields (details)
- Renaming for VDM quote type. (details)
- Fix code generation of static field access (details)
- Test that issue with code generation of static field access is fixed (details)
- Fix issue with assignments to static fields (details)
- Aligned order of parameters for Collection construction functions. (details)
- Preventing unimplemented math functions from generating compiler (details)
- Fix: Lookup of the name of the enclosing class did not expect the system (details)
- Clean up NameConverter (remove unused code) (details)
- Fix the static field access transformation (details)
- Test that the static field issues have been fixed (details)
- Correct description of how to execute the runtime library tests (details)
- Integrate runtime library test into Maven build (details)
- Disable run-lib-tests shell script (details)
- Run cmake before executing the runtime library tests (details)
- Executing the runtime library test requires cmake be run (details)
- Update description of how to execute the runtime library tests (details)
- Fixed memory leak in setting class field value. Related to issue #29. (details)
- Fixes issue #29. (details)
- Update C code generator plugin to export missing package (details)
- Prepare release 0.0.6 (details)