SuccessChanges

Summary

  1. -  Added test for ClassOp.vdmrt. -  Addresses #8. (commit: 6f39c36) (details)
  2. -  Added test for ClassOp2.vdmrt. -  Addresses #8. (commit: edf36b2) (details)
  3. -  Adding test code for ClassOpOpCall.vdmrt -  Addresses #8. (commit: 6769555) (details)
  4. -  Added test for ClassOp2.vdmrt -  Addresses #8. (commit: 4b766f0) (details)
  5. -  Added test for ClassVarOpOp.vdmrt. -  Addresses #8. (commit: 86d1319) (details)
  6. -  Added test for ClassVarOpOp2.vdmrt.  This test creates an infinitely (commit: f7f83f8) (details)
  7. Testing whether can emit the main file for the generated C code. (commit: fe90c2f) (details)
  8. Further work on emitting main.c file. (commit: d9f83a0) (details)
  9. main.c file is now emitted programmatically by the generation process. (commit: 3d19f74) (details)
  10. Ignore the generated library tests file (vdmclib) (commit: 25a48e7) (details)
  11. -  Modified CMake file so that each CG unit test outputs an XML test (commit: 8f6a7c2) (details)
  12. Working on gettig a map of model names to mangled names for use in (commit: 748b202) (details)
  13. Address warnings (commit: df796b5) (details)
  14. Fixed accidental error. (commit: 6aa846e) (details)
  15. Emitting #defines for mapping between mangled names and model names. (commit: 2da9a5c) (details)
  16. Using uderscore as namespace separator instead of period. (commit: ce9f809) (details)
  17. Ensure that the googletests are executed (commit: de935f9) (details)
  18. Add subclass responsibility tests (commit: 43c7b03) (details)
  19. Omitting mangled names of initializer functions.  They are not relevant (commit: f2f2a5c) (details)
  20. Remove missing jar from MANIFEST (commit: 2cae3ba) (details)
  21. Fix javadoc versions (commit: 764ae85) (details)
  22. -  Modified NameMangler so that it keeps an internal map of mangled (commit: c234720) (details)
  23. Comment. (commit: 55211dd) (details)
  24. -  Basic operation overriding test. -  Addresses #8. (commit: c6d34e0) (details)
  25. -  Expanded override test to two-level inheritance. -  Addresses #8. (commit: ac9d528) (details)
  26. Update description of how to execute runtime tests (commit: d64bb4e) (details)
  27. Addresses #8. (commit: b0bb105) (details)
  28. -  Completed test for ClassOpOverrideMiddle.vdmrt. -  Addresses #8. (commit: 6b231bc) (details)
  29. -  Completing test for ClassValueInheritance.vdmrt test model. -  Has (commit: c76738c) (details)
  30. Fix name mangling of rat, union, void and nat1 types (commit: 3aa24c2) (details)
  31. Add name mangling tests (commit: 3703d99) (details)
  32. Fix name mangling of collection constructors (commit: 5d7e223) (details)
  33. Test name mangling of collection constructors (commit: c995d4a) (details)
  34. Clean up imports (commit: cdf2c7e) (details)
  35. Add script to generate release notes (commit: ed7f7da) (details)
  36. Add release notes for v0.0.4 (commit: 947b3a6) (details)
  37. Add release notes for v0.0.6 (commit: 8ca62a1) (details)
  38. Determine which classes uses 'time' (commit: 2ddf759) (details)
  39. Test 'TimeFinder' (commit: a7dffcd) (details)
  40. Determining whether 'time.h' is needed. (commit: 0cdd59a) (details)
  41. Header 'time.h' no longer needed in Vdm.h. (commit: a614b60) (details)
  42. 'time.h' is now only included in .c files corresponding to classes (commit: 25db217) (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
(commit: 6f39c36)
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
(commit: edf36b2)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOp2.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/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
(commit: 6769555)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOpOpCall_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (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
(commit: 4b766f0)
The file was modifiedc/run-lib-tests.sh (diff)
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)
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
(commit: 86d1319)
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
(commit: f7f83f8)
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
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassVarOpOpCall2.vdmrt (diff)
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
(commit: fe90c2f)
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
(commit: d9f83a0)
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
(commit: 3d19f74)
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)
(commit: 25a48e7)
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
(commit: 8f6a7c2)
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
(commit: 748b202)
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/NewRewriteTrans.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/RemoveRTConstructs.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/VisualizeIRAST.java (diff)
Commit 6aa846e3262f657ec7b33497bd79045dd1e9b660 by Victor Bandur
Fixed accidental error.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java
(commit: 6aa846e)
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
(commit: 2da9a5c)
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
(commit: ce9f809)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
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.
(commit: 43c7b03)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/SubclassResponsibility.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassSubclassResponsibility_Tests.cpp (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
(commit: f2f2a5c)
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 modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedpom.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
(commit: c234720)
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
(commit: 55211dd)
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
(commit: c6d34e0)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideTest.vdmrt (diff)
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
(commit: ac9d528)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassOpOverride_Tests.cpp (diff)
Commit d64bb4ed52dac7be6bf7ac17d0036a825c2c223d by Peter W. V. Tran-Jørgensen
Update description of how to execute runtime tests
(commit: d64bb4e)
The file was modifiedreadme.md (diff)
Commit b0bb10583da3c9347810e3cf9e72e19af74527c5 by Victor Bandur
Addresses #8.
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverride.vdmrt
(commit: b0bb105)
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
(commit: 6b231bc)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassOpOverrideMiddle.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassOpOverrideMiddle_Tests.cpp
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
(commit: c76738c)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassValueInheritance_Tests.cpp
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassValueInheritance.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 3aa24c2d1caebb4853f33f5e58308f54b89af78f by Peter W. V. Tran-Jørgensen
Fix name mangling of rat, union, void and nat1 types
Related to issue #25
(commit: 3aa24c2)
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
(commit: 3703d99)
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
(commit: 5d7e223)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
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)
The file was addedrelease/ReleaseNotes-template.md
The file was addedrelease/gen-release-notes.py
The file was addedrelease/ReleaseNotes_0.0.4.md
The file was addedrelease/ReleaseNotes_0.0.6.md
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
(commit: 0cdd59a)
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
(commit: a614b60)
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
(commit: 25db217)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)