SuccessChanges

Summary

  1. -  Added test for ClassOp.vdmrt. -  Addresses #8. (details)
  2. -  Added test for ClassOp2.vdmrt. -  Addresses #8. (details)
  3. -  Adding test code for ClassOpOpCall.vdmrt -  Addresses #8. (details)
  4. [maven-release-plugin] prepare release Release/0.0.6 (details)
  5. [maven-release-plugin] prepare for next development iteration (details)
  6. -  Added test for ClassOp2.vdmrt -  Addresses #8. (details)
  7. -  Added test for ClassVarOpOp.vdmrt. -  Addresses #8. (details)
  8. -  Added test for ClassVarOpOp2.vdmrt.  This test creates an infinitely (details)
  9. Testing whether can emit the main file for the generated C code. (details)
  10. Further work on emitting main.c file. (details)
  11. main.c file is now emitted programmatically by the generation process. (details)
  12. Ignore the generated library tests file (vdmclib) (details)
  13. -  Modified CMake file so that each CG unit test outputs an XML test (details)
  14. Working on gettig a map of model names to mangled names for use in (details)
  15. Address warnings (details)
  16. Fixed accidental error. (details)
  17. Emitting #defines for mapping between mangled names and model names. (details)
  18. Using uderscore as namespace separator instead of period. (details)
  19. Ensure that the googletests are executed (details)
  20. Add subclass responsibility tests (details)
  21. Omitting mangled names of initializer functions.  They are not relevant (details)
  22. Remove missing jar from MANIFEST (details)
  23. Fix javadoc versions (details)
  24. -  Modified NameMangler so that it keeps an internal map of mangled (details)
  25. Comment. (details)
  26. -  Basic operation overriding test. -  Addresses #8. (details)
  27. -  Expanded override test to two-level inheritance. -  Addresses #8. (details)
  28. Update description of how to execute runtime tests (details)
  29. Addresses #8. (details)
  30. -  Completed test for ClassOpOverrideMiddle.vdmrt. -  Addresses #8. (details)
  31. -  Completing test for ClassValueInheritance.vdmrt test model. -  Has (details)
  32. Fix name mangling of rat, union, void and nat1 types (details)
  33. Add name mangling tests (details)
  34. Fix name mangling of collection constructors (details)
  35. Test name mangling of collection constructors (details)
  36. Clean up imports (details)
  37. Add script to generate release notes (details)
  38. Add release notes for v0.0.4 (details)
  39. Add release notes for v0.0.6 (details)
  40. enabled code signing (details)
  41. Determine which classes uses 'time' (details)
  42. Test 'TimeFinder' (details)
  43. Determining whether 'time.h' is needed. (details)
  44. Header 'time.h' no longer needed in Vdm.h. (details)
  45. 'time.h' is now only included in .c files corresponding to classes (details)
  46. Add version 0.0.8 release notes (details)
  47. Update release version to 0.0.8 and development version to (details)
Commit 6f39c369203e714b72c43248c04f634ac2ea5611 by Victor Bandur
-  Added test for ClassOp.vdmrt. -  Addresses #8.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassOp_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOp_Tests.cpp
Commit edf36b273dc1cbb552f0542d1e3fd1205c4f39b8 by Victor Bandur
-  Added test for ClassOp2.vdmrt. -  Addresses #8.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassOp2_Tests.cpp
modified:   core/vdm2c/src/test/resources/vdmrt/classes/ClassOp2.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOp2.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOp2_Tests.cpp
Commit 6769555bde775766f057afe1abc829f4097aeacc by Victor Bandur
-  Adding test code for ClassOpOpCall.vdmrt -  Addresses #8.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassOpOpCall_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOpOpCall_Tests.cpp
Commit 1aede65f1cb965f70e1ff4c1349e92cac8ee9aac by jenkins
[maven-release-plugin] prepare release Release/0.0.6
Bump ide/ to version 0.0.6
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
Commit 12e3155310fac403802180775877e143d34a5f82 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.7-SNAPSHOT
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
Commit 4b766f045ad9e3d751ee603078c9a0e85e2ef3bd by Victor Bandur
-  Added test for ClassOp2.vdmrt -  Addresses #8.
modified:   c/run-lib-tests.sh
modified: 
core/vdm2c/src/test/resources/native/classes/ClassOp2_Tests.cpp
modified: 
core/vdm2c/src/test/resources/native/classes/ClassOpOpCall_Tests.cpp
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOp2_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOpCall_Tests.cpp (diff)
The file was modifiedc/run-lib-tests.sh (diff)
Commit 86d13199445b857e7f83a29e52ffb132c91f8834 by Victor Bandur
-  Added test for ClassVarOpOp.vdmrt. -  Addresses #8.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassVarOpOpCall_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassVarOpOpCall_Tests.cpp
Commit f7f83f87c1f7eba1f0351feb3b28e688e6e16d1b by Victor Bandur
-  Added test for ClassVarOpOp2.vdmrt.  This test creates an infinitely
large object, so consequently the test fails.  Until a way of checking
for a failing test is worked out, this test is disabled. -  Addresses
#8.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassVarOpOpCall2_Tests.cpp
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassVarOpOpCall2.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassVarOpOpCall2.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassVarOpOpCall2_Tests.cpp
Commit fe90c2f9c980cd94da8900b5f05cd99150356084 by Victor Bandur
Testing whether can emit the main file for the generated C code.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit d9f83a038eea6af2ffd25b044a977b60a3f527ca by Victor Bandur
Further work on emitting main.c file.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 3d19f74101d7f9e0693b74ae1f1be397915c672f by Victor Bandur
main.c file is now emitted programmatically by the generation process.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 25a48e79eb5bc83f86f0704e31aad32542ebdbad by Peter W. V. Tran-Jørgensen
Ignore the generated library tests file (vdmclib)
The file was modified.gitignore (diff)
Commit 8f6a7c28e3c20fd05995919fec8edc1c96167105 by Victor Bandur
-  Modified CMake file so that each CG unit test outputs an XML test
report. -  Addresses #32.
modified:   core/vdm2c/src/test/resources/CMakeLists.txt
The file was modifiedcore/vdm2c/src/test/resources/CMakeLists.txt (diff)
Commit 748b202ed484cd327ae75f8e692019b0bc4c0bcc by Victor Bandur
Working on gettig a map of model names to mangled names for use in
generated code.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/VisualizeIRAST.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RemoveRTConstructs.java (diff)
Commit 6aa846e3262f657ec7b33497bd79045dd1e9b660 by Victor Bandur
Fixed accidental error.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit 2da9a5ceb9eb227d7e4ab06000a193a5b30b5c39 by Victor Bandur
Emitting #defines for mapping between mangled names and model names.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit ce9f809d8d570f8b251c4a79f394eb96863063c4 by Victor Bandur
Using uderscore as namespace separator instead of period.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit de935f96957fa7d825fe4dc63d2e0749cc4ef989 by Peter W. V. Tran-Jørgensen
Ensure that the googletests are executed
Closes #32
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit 43c7b039bae37a6aef29c901b62635308629abfd by Peter W. V. Tran-Jørgensen
Add subclass responsibility tests
This is needed since every JUnit test that includes a "test .cpp file"
must define at least one google test. Related to issue #32.
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassSubclassResponsibility_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/SubclassResponsibility.vdmrt (diff)
Commit f2f2a5c75e3ef57faa8d19eb7e6eee6684ea5bbe by Victor Bandur
Omitting mangled names of initializer functions.  They are not relevant
to the author of the main.c file.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
Commit c2347205f0dd00e8a86c9ce3f426ffd0aabd4207 by Victor Bandur
-  Modified NameMangler so that it keeps an internal map of mangled   
names. -  This map is used to emit a C header file with corresponding
#defines    at the same place in CGenerator, the generate() method,
where the    empty main.c file is emitted.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 55211ddb7d842110abdb5595e57a887fe41df5a9 by Victor Bandur
Comment.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit c6d34e026e3ff436ab8cede35e4c6d8cac78fb99 by Victor Bandur
-  Basic operation overriding test. -  Addresses #8.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideTest.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideTest.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
Commit ac9d528bfc9e1dc59536c9abd4df19e3672d99d9 by Victor Bandur
-  Expanded override test to two-level inheritance. -  Addresses #8.
modified: 
core/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
Commit d64bb4ed52dac7be6bf7ac17d0036a825c2c223d by Peter W. V. Tran-Jørgensen
Update description of how to execute runtime tests
The file was modifiedreadme.md (diff)
Commit b0bb10583da3c9347810e3cf9e72e19af74527c5 by Victor Bandur
Addresses #8.
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
Commit 6b231bc9f9603e0f6806788c07b6b2e13fc16331 by Victor Bandur
-  Completed test for ClassOpOverrideMiddle.vdmrt. -  Addresses #8.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassOpOverrideMiddle_Tests.cpp
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideMiddle.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOpOverrideMiddle_Tests.cpp
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideMiddle.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit c76738c371b462714c8ca34d4b2f38c553158c29 by Victor Bandur
-  Completing test for ClassValueInheritance.vdmrt test model. -  Has
revealed that initialization functions for constants are not    being
called. -  Addresses #8. -  Addresses #34.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassValueInheritance_Tests.cpp
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassValueInheritance.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassValueInheritance.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassValueInheritance_Tests.cpp
Commit 3aa24c2d1caebb4853f33f5e58308f54b89af78f by Peter W. V. Tran-Jørgensen
Fix name mangling of rat, union, void and nat1 types
Related to issue #25
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit 3703d99cd58b493eea55be169b7fc20098f20f43 by Peter W. V. Tran-Jørgensen
Add name mangling tests
Related to issue #25
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NameManglerTests.java
Commit 5d7e22335e4da3008c392ea9cede6853f9209d6e by Peter W. V. Tran-Jørgensen
Fix name mangling of collection constructors
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit c995d4ae91a3d79a6605d98506bb3b3679668d08 by Peter W. V. Tran-Jørgensen
Test name mangling of collection constructors
Closes #25
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NameManglerTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit ed7f7da670c6e18e6af4557f2bc2b3be70b2e054 by Peter W. V. Tran-Jørgensen
Add script to generate release notes
The file was addedrelease/gen-release-notes.py
The file was addedrelease/ReleaseNotes-template.md
The file was addedrelease/ReleaseNotes_0.0.4.md
The file was addedrelease/ReleaseNotes_0.0.6.md
The file was modifiedpom.xml (diff)
Commit 2ddf75966d327cc8bd84ef60ce82e07adbe95067 by Peter W. V. Tran-Jørgensen
Determine which classes uses 'time'
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/TimeFinder.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionTime.vdmrt
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/TimeFinderTest.java
Commit 0cdd59a17a7463e88a4f421b89fc5690737d7913 by Victor Bandur
Determining whether 'time.h' is needed.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit a614b60b81b8fa3bfa0bf1dbc1da102bf13c2e2b by Victor Bandur
Header 'time.h' no longer needed in Vdm.h.
modified:   c/vdmclib/src/main/Vdm.h
The file was modifiedc/vdmclib/src/main/Vdm.h (diff)
Commit 25db217c687ddaf948e03fbe9230cc2854723a4b by Victor Bandur
'time.h' is now only included in .c files corresponding to classes
needing the 'time' statement, instead of in 'Vdm.h'.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
The file was addedrelease/ReleaseNotes_0.0.8.md
Commit 0aba401b90ad3356441fa7a0ae51854911829ab0 by Peter W. V. Tran-Jørgensen
Update release version to 0.0.8 and development version to
0.0.9-SNAPSHOT
The file was modifiedoverture.release.properties (diff)