SuccessChanges

Summary

  1. Test model for scratch work. (commit: 9bd708c) (details)
  2. Add test from commit 6ce283 (commit: 28a6457) (details)
  3. Add test code from commit 16f494 (commit: 4a3cdaa) (details)
  4. Add test code changes from d7ffd1 (commit: 7fb523d) (details)
  5. Changes from 22e1d1 (commit: 958faf0) (details)
  6. Port over changes related to de0401 (commit: 298c29d) (details)
  7. Re-enable test (related to 732351) (commit: 7bb3883) (details)
  8. Fix issue related to construction of the field name (commit: a1e46ac) (details)
  9. Changes related to 15dd76 (commit: 3201879) (details)
  10. Ensuring that const and static init functions have bodies (commit: 19d73fc) (details)
  11. changed cmake testing to reuse the same compiled googletest resources (commit: 810ef26) (details)
  12. Work on static fields (related to 9c66cd) (commit: 51f2036) (details)
  13. Records test was in fact a test for products. (commit: 0d5ef4e) (details)
  14. Add prerequisite section in the README (commit: 80d0819) (details)
  15. Update description of test properties (commit: ba6b995) (details)
  16. Describe how to execute the runtime tests (commit: b7e3817) (details)
  17. Update readme.md (commit: 12a0136) (details)
  18. Re-organise readmes (commit: 4416d39) (details)
  19. Cleanup README (commit: f3b1633) (details)
  20. Do not put launch configurations under version control (commit: 7811b2f) (details)
  21. Change testing log level (commit: a506867) (details)
  22. Untrack launch configurations (commit: b3adfd0) (details)
  23. Allow test files to exist (commit: 10dee59) (details)
  24. Update quote test to support test execution (commit: 27f50d6) (details)
  25. Add name mangling for quote types (commit: 0b395ca) (details)
  26. Slightly better testing of quotes (commit: cd60673) (details)
  27. Add name mangling for the unknown type and the template type (commit: dfa1e3a) (details)
  28. Add name mangling for named types (commit: 8b045c6) (details)
  29. Add name mangling for union types (commit: bf01896) (details)
  30. Suppress googletest output by default (commit: dd7b68f) (details)
  31. Improvements for the C code generator command-line (commit: c969c10) (details)
  32. Update tests to pass the --quiet flag to the C code generator (commit: 1716770) (details)
  33. Fix issue with the field access transformation (commit: 69b0a3a) (details)
  34. Test that the field transformation issue is fixed (commit: 520ce73) (details)
  35. Update public field test to compile the generated code (commit: f9e4073) (details)
  36. Re-enable and fix field test (commit: bab932f) (details)
  37. Remove -DVDM_LIB_PATH test property (commit: d8559d6) (details)
  38. Update vdm2c to use newest version of Overture (commit: e64c4d6) (details)
  39. Update the VDM2C plugin to build against Eclipse Neon. Closes #18 (commit: c23f283) (details)
  40. Testing branching. (commit: 2f29820) (details)
  41. Work on not including unnecessary directories along with generated code. (commit: 6484ff2) (details)
  42. Related to issue #4. (commit: f60e1cf) (details)
  43. Related to issue #4. (commit: a37b26c) (details)
  44. More path fixes.  Related to issue #4. (commit: a3449ea) (details)
  45. Test for behaviour of class variable and record variable assignment. (commit: cd2a6e9) (details)
  46. Test case for scratch work VDM class. (commit: 514abce) (details)
  47. Test material to determine whether assignment achieves value and (commit: 3609910) (details)
  48. Tweak description of how to execute the runtime library tests (commit: f27529a) (details)
  49. Remove generated test file (commit: bbbf659) (details)
  50. Add more tests for static fields (commit: 9789184) (details)
  51. Renaming for VDM quote type. (commit: 63164b5) (details)
  52. Fix code generation of static field access (commit: 78b8efd) (details)
  53. Test that issue with code generation of static field access is fixed (commit: 8e0b271) (details)
  54. Fix issue with assignments to static fields (commit: 5667eec) (details)
  55. Aligned order of parameters for Collection construction functions. (commit: fd5054e) (details)
  56. Preventing unimplemented math functions from generating compiler (commit: aa10d6a) (details)
  57. Fix: Lookup of the name of the enclosing class did not expect the system (commit: fb01ce9) (details)
  58. Clean up NameConverter (remove unused code) (commit: c4fe41e) (details)
  59. Fix the static field access transformation (commit: e37fa0a) (details)
  60. Test that the static field issues have been fixed (commit: 791575f) (details)
  61. Correct description of how to execute the runtime library tests (commit: 17eab86) (details)
  62. Integrate runtime library test into Maven build (commit: 741fd1e) (details)
  63. Disable run-lib-tests shell script (commit: 1dadc84) (details)
  64. Run cmake before executing the runtime library tests (commit: a643397) (details)
  65. Executing the runtime library test requires cmake be run (commit: e6fcc71) (details)
  66. Update description of how to execute the runtime library tests (commit: 97e69df) (details)
  67. Fixed memory leak in setting class field value.  Related to issue #29. (commit: 0edba19) (details)
  68. Fixes issue #29. (commit: 32e9d87) (details)
  69. Update C code generator plugin to export missing package (commit: f5b1f62) (details)
Commit 9bd708c912708d097c34e70d3834e7ff58773d61 by Peter W. V. Tran-Jørgensen
Test model for scratch work.
new file:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
(commit: 9bd708c)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariable.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/vdmrt/classes/ClassInstanceVariableTest.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariable.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ExternalTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
Commit a1e46acac54fc01aeb733c931b898282ebb7a972 by Peter W. V. Tran-Jørgensen
Fix issue related to construction of the field name
(commit: a1e46ac)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit 19d73fc306a9ee089885b23f991af2df2a07daa8 by Peter W. V. Tran-Jørgensen
Ensuring that const and static init functions have bodies
Porting over fad26f and 67c12f
(commit: 19d73fc)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)
Commit 810ef26186c8e46bcf2b216ac322ddbfcb7a5e8d by Peter W. V. Tran-Jørgensen
changed cmake testing to reuse the same compiled googletest resources
(commit: 810ef26)
The file was modifiedcore/vdm2c/src/test/resources/CMakeLists.txt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
Commit 51f2036872267c449433e3760cc0faffacaacdae by Peter W. V. Tran-Jørgensen
Work on static fields (related to 9c66cd)
(commit: 51f2036)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldsDeclsTrans.java
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldsTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldExpRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit 0d5ef4e3481ddde35c185a86defe0c6cd51516ab by Peter W. V. Tran-Jørgensen
Records test was in fact a test for products.
modified: 
src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
(commit: 0d5ef4e)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
Commit 80d0819fc23e40167617730174854bca1e2ce9e1 by Peter W. V. Tran-Jørgensen
Add prerequisite section in the README
Related to issue #14
(commit: 80d0819)
The file was modifiedc/readme.md (diff)
Commit ba6b995bc732c6c53d34abfa71ae5d261dc6e940 by Peter W. V. Tran-Jørgensen
Update description of test properties
Related to issue #14
(commit: ba6b995)
The file was modifiedreadme.md (diff)
Commit b7e3817fcc996b3b7656a68faee4fb3ad38a7542 by Peter W. V. Tran-Jørgensen
Describe how to execute the runtime tests
(commit: b7e3817)
The file was modifiedc/readme.md (diff)
The file was modifiedc/readme.md (diff)
The file was removedc/readme.md
The file was modifiedreadme.md (diff)
The file was modifiedreadme.md (diff)
Commit 7811b2fa20ce567aba6f2234728b2fb03c2a0428 by Peter W. V. Tran-Jørgensen
Do not put launch configurations under version control
(commit: 7811b2f)
The file was removedcore/vdm2c/resources.launch
The file was removedcore/vdm2c/AllTests.launch
The file was modified.gitignore (diff)
The file was modifiedcore/vdm2c/src/test/resources/log4j.properties (diff)
The file was removedcore/vdm2c/ExternalTests.launch
The file was removedcore/vdm2c/NativeTests.launch
The file was removedcore/vdm2c/NativeClassesTests.launch
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit 27f50d6753c60c9ff04984dd64d41fc690278863 by Peter W. V. Tran-Jørgensen
Update quote test to support test execution
(commit: 27f50d6)
The file was addedcore/vdm2c/src/test/resources/native/quote/ExpressionQuote_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionQuote.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/quote/ExpressionQuote_Tests.cpp (diff)
Commit dfa1e3ad9d0a560ba2cdf0b4ffdc3f3fc58e8bb4 by Peter W. V. Tran-Jørgensen
Add name mangling for the unknown type and the template type
(commit: dfa1e3a)
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/utils/NameMangler.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
The file was modifiedreadme.md (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit c969c10a01414548204f7c29a61fa486320f3f76 by Peter W. V. Tran-Jørgensen
Improvements for the C code generator command-line
(commit: c969c10)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 1716770a6d4f5bf36ca7a360e027b6c267ab0b43 by Peter W. V. Tran-Jørgensen
Update tests to pass the --quiet flag to the C code generator
command-line tool
(commit: 1716770)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java (diff)
Commit 69b0a3ae33a12c484a9c00f64f68db7a50e78003 by Peter W. V. Tran-Jørgensen
Fix issue with the field access transformation
(commit: 69b0a3a)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit 520ce734e727c39e26d93730dd9bc19ef526ed48 by Peter W. V. Tran-Jørgensen
Test that the field transformation issue is fixed
(commit: 520ce73)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit f9e40734afc276dd1e91168cea3c8924b6c26277 by Peter W. V. Tran-Jørgensen
Update public field test to compile the generated code
(commit: f9e4073)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariableSeqAssign_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ExternalTests.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/Visualization.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
Commit e64c4d6e12b73b6a5ecd645eb105f79bd08cde0f by Peter W. V. Tran-Jørgensen
Update vdm2c to use newest version of Overture
Work on issue #18
(commit: e64c4d6)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/CodeGenConsole.java (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/SetCompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit c23f283e7efbbe36650dcb4ff1b8486a7ca97fce by Peter W. V. Tran-Jørgensen
Update the VDM2C plugin to build against Eclipse Neon. Closes #18
(commit: c23f283)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/vdmclib/src/Vdm.h (diff)
Commit 6484ff24335085b8ccef43c06362b12baa159015 by Victor Bandur
Work on not including unnecessary directories along with generated code.
Related to issue #4
modified:   vdmclib/src/CMakeLists.txt
copied:     vdmclib/src/CMakeLists.txt ->
vdmclib/src/main/CMakeLists.txt
renamed:    vdmclib/src/IOLib.c -> vdmclib/src/main/IOLib.c
renamed:    vdmclib/src/IOLib.h -> vdmclib/src/main/IOLib.h
renamed:    vdmclib/src/MATHLib.c -> vdmclib/src/main/MATHLib.c
renamed:    vdmclib/src/MATHLib.h -> vdmclib/src/main/MATHLib.h
renamed:    vdmclib/src/PatternBindMatch.c ->
vdmclib/src/main/PatternBindMatch.c
renamed:    vdmclib/src/PatternBindMatch.h ->
vdmclib/src/main/PatternBindMatch.h
renamed:    vdmclib/src/PrettyPrint.c -> vdmclib/src/main/PrettyPrint.c
renamed:    vdmclib/src/PrettyPrint.h -> vdmclib/src/main/PrettyPrint.h
renamed:    vdmclib/src/SampleMakefile ->
vdmclib/src/main/SampleMakefile
renamed:    vdmclib/src/TypedValue.c -> vdmclib/src/main/TypedValue.c
renamed:    vdmclib/src/TypedValue.h -> vdmclib/src/main/TypedValue.h
renamed:    vdmclib/src/Vdm.h -> vdmclib/src/main/Vdm.h
renamed:    vdmclib/src/VdmBasicTypes.c ->
vdmclib/src/main/VdmBasicTypes.c
renamed:    vdmclib/src/VdmBasicTypes.h ->
vdmclib/src/main/VdmBasicTypes.h
renamed:    vdmclib/src/VdmClass.c -> vdmclib/src/main/VdmClass.c
renamed:    vdmclib/src/VdmClass.h -> vdmclib/src/main/VdmClass.h
renamed:    vdmclib/src/VdmMap.c -> vdmclib/src/main/VdmMap.c
renamed:    vdmclib/src/VdmMap.h -> vdmclib/src/main/VdmMap.h
renamed:    vdmclib/src/VdmProduct.c -> vdmclib/src/main/VdmProduct.c
renamed:    vdmclib/src/VdmProduct.h -> vdmclib/src/main/VdmProduct.h
renamed:    vdmclib/src/VdmRecord.h -> vdmclib/src/main/VdmRecord.h
renamed:    vdmclib/src/VdmSeq.c -> vdmclib/src/main/VdmSeq.c
renamed:    vdmclib/src/VdmSeq.h -> vdmclib/src/main/VdmSeq.h
renamed:    vdmclib/src/VdmSet.c -> vdmclib/src/main/VdmSet.c
renamed:    vdmclib/src/VdmSet.h -> vdmclib/src/main/VdmSet.h
new file:   vdmclib/src/main/vdmclib
renamed:    vdmclib/src/tests/ClassATest.cpp ->
vdmclib/src/test/ClassATest.cpp
renamed:    vdmclib/src/tests/ClassBTest.cpp ->
vdmclib/src/test/ClassBTest.cpp
renamed:    vdmclib/src/tests/ClassCTest.cpp ->
vdmclib/src/test/ClassCTest.cpp
renamed:    vdmclib/src/tests/ClassIO_Tests.cpp ->
vdmclib/src/test/ClassIO_Tests.cpp
renamed:    vdmclib/src/tests/ClassPrivateCallABC_Tests.cpp ->
vdmclib/src/test/ClassPrivateCallABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPrivateFieldABC_Tests.cpp ->
vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPublicCallABC_Tests.cpp ->
vdmclib/src/test/ClassPublicCallABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPublicFieldABC_Tests.cpp ->
vdmclib/src/test/ClassPublicFieldABC_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionForLoop.cpp ->
vdmclib/src/test/ExpressionForLoop.cpp
renamed:    vdmclib/src/tests/ExpressionsBoolean_Tests.cpp ->
vdmclib/src/test/ExpressionsBoolean_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsMap_Tests.cpp ->
vdmclib/src/test/ExpressionsMap_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsNumeric_Tests.cpp ->
vdmclib/src/test/ExpressionsNumeric_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsProduct_Tests.cpp ->
vdmclib/src/test/ExpressionsProduct_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSeq_Tests.cpp ->
vdmclib/src/test/ExpressionsSeq_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSetRandom_Tests.cpp ->
vdmclib/src/test/ExpressionsSetRandom_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSet_Tests.cpp ->
vdmclib/src/test/ExpressionsSet_Tests.cpp
renamed:    vdmclib/src/tests/Expressions_Tests.cpp ->
vdmclib/src/test/Expressions_Tests.cpp
renamed:    vdmclib/src/tests/HashTable_Tests.cpp ->
vdmclib/src/test/HashTable_Tests.cpp
renamed:    vdmclib/src/tests/PrettyPrint_Tests.cpp ->
vdmclib/src/test/PrettyPrint_Tests.cpp
renamed:    vdmclib/src/tests/Statements_Record_Tests.cpp ->
vdmclib/src/test/Statements_Record_Tests.cpp
renamed:    vdmclib/src/tests/StructOffsetTest_Tests.cpp ->
vdmclib/src/test/StructOffsetTest_Tests.cpp
renamed:    vdmclib/src/tests/TypeofTest_Tests.cpp ->
vdmclib/src/test/TypeofTest_Tests.cpp
renamed:    vdmclib/src/classes/A.c -> vdmclib/src/test/classes/A.c
renamed:    vdmclib/src/classes/A.h -> vdmclib/src/test/classes/A.h
renamed:    vdmclib/src/classes/B.c -> vdmclib/src/test/classes/B.c
renamed:    vdmclib/src/classes/B.h -> vdmclib/src/test/classes/B.h
renamed:    vdmclib/src/classes/C.c -> vdmclib/src/test/classes/C.c
renamed:    vdmclib/src/classes/C.h -> vdmclib/src/test/classes/C.h
renamed:    vdmclib/src/records/R1.c -> vdmclib/src/test/records/R1.c
renamed:    vdmclib/src/records/R1.h -> vdmclib/src/test/records/R1.h
renamed:    vdmclib/src/tests/typeoftest.c ->
vdmclib/src/test/typeoftest.c
renamed:    vdmclib/src/tests/typeoftest.h ->
vdmclib/src/test/typeoftest.h
modified: 
../ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
(commit: 6484ff2)
The file was removedc/vdmclib/src/tests/ClassPrivateCallABC_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp
The file was addedc/vdmclib/src/main/PrettyPrint.c
The file was removedc/vdmclib/src/classes/C.c
The file was removedc/vdmclib/src/tests/ClassCTest.cpp
The file was removedc/vdmclib/src/tests/Statements_Record_Tests.cpp
The file was addedc/vdmclib/src/test/ClassPublicCallABC_Tests.cpp
The file was addedc/vdmclib/src/main/vdmclib
The file was addedc/vdmclib/src/test/ExpressionsSet_Tests.cpp
The file was addedc/vdmclib/src/test/ClassPublicFieldABC_Tests.cpp
The file was addedc/vdmclib/src/main/VdmProduct.h
The file was addedc/vdmclib/src/main/TypedValue.c
The file was removedc/vdmclib/src/tests/ExpressionsSet_Tests.cpp
The file was addedc/vdmclib/src/main/VdmSeq.c
The file was removedc/vdmclib/src/tests/ExpressionsSeq_Tests.cpp
The file was addedc/vdmclib/src/main/VdmClass.h
The file was removedc/vdmclib/src/tests/ExpressionsSetRandom_Tests.cpp
The file was removedc/vdmclib/src/VdmBasicTypes.c
The file was removedc/vdmclib/src/tests/ExpressionsNumeric_Tests.cpp
The file was removedc/vdmclib/src/VdmSeq.h
The file was addedc/vdmclib/src/test/ExpressionForLoop.cpp
The file was addedc/vdmclib/src/test/ClassCTest.cpp
The file was addedc/vdmclib/src/main/VdmSeq.h
The file was removedc/vdmclib/src/tests/ClassBTest.cpp
The file was addedc/vdmclib/src/test/ClassIO_Tests.cpp
The file was removedc/vdmclib/src/tests/StructOffsetTest_Tests.cpp
The file was removedc/vdmclib/src/SampleMakefile
The file was addedc/vdmclib/src/main/TypedValue.h
The file was removedc/vdmclib/src/tests/Expressions_Tests.cpp
The file was removedc/vdmclib/src/MATHLib.c
The file was removedc/vdmclib/src/VdmSet.c
The file was addedc/vdmclib/src/main/CMakeLists.txt
The file was removedc/vdmclib/src/tests/ClassPrivateFieldABC_Tests.cpp
The file was addedc/vdmclib/src/main/MATHLib.c
The file was removedc/vdmclib/src/VdmMap.h
The file was removedc/vdmclib/src/tests/TypeofTest_Tests.cpp
The file was removedc/vdmclib/src/VdmMap.c
The file was addedc/vdmclib/src/main/VdmBasicTypes.h
The file was removedc/vdmclib/src/tests/PrettyPrint_Tests.cpp
The file was addedc/vdmclib/src/test/TypeofTest_Tests.cpp
The file was addedc/vdmclib/src/main/VdmBasicTypes.c
The file was removedc/vdmclib/src/VdmClass.h
The file was addedc/vdmclib/src/test/typeoftest.c
The file was addedc/vdmclib/src/test/ClassPrivateCallABC_Tests.cpp
The file was removedc/vdmclib/src/VdmProduct.h
The file was addedc/vdmclib/src/test/ExpressionsBoolean_Tests.cpp
The file was addedc/vdmclib/src/main/PatternBindMatch.c
The file was removedc/vdmclib/src/classes/A.h
The file was removedc/vdmclib/src/tests/ExpressionsMap_Tests.cpp
The file was addedc/vdmclib/src/test/Statements_Record_Tests.cpp
The file was removedc/vdmclib/src/tests/ClassIO_Tests.cpp
The file was removedc/vdmclib/src/VdmSeq.c
The file was addedc/vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp
The file was addedc/vdmclib/src/main/SampleMakefile
The file was removedc/vdmclib/src/records/R1.c
The file was addedc/vdmclib/src/main/VdmSet.h
The file was addedc/vdmclib/src/main/Vdm.h
The file was removedc/vdmclib/src/classes/B.h
The file was addedc/vdmclib/src/main/PrettyPrint.h
The file was removedc/vdmclib/src/TypedValue.c
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was removedc/vdmclib/src/PatternBindMatch.h
The file was removedc/vdmclib/src/tests/typeoftest.h
The file was addedc/vdmclib/src/main/VdmMap.c
The file was addedc/vdmclib/src/test/records/R1.c
The file was removedc/vdmclib/src/PatternBindMatch.c
The file was removedc/vdmclib/src/VdmRecord.h
The file was addedc/vdmclib/src/test/classes/B.h
The file was addedc/vdmclib/src/test/PrettyPrint_Tests.cpp
The file was addedc/vdmclib/src/test/records/R1.h
The file was removedc/vdmclib/src/tests/ExpressionsBoolean_Tests.cpp
The file was addedc/vdmclib/src/test/typeoftest.h
The file was removedc/vdmclib/src/classes/C.h
The file was addedc/vdmclib/src/test/StructOffsetTest_Tests.cpp
The file was removedc/vdmclib/src/PrettyPrint.c
The file was addedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp
The file was removedc/vdmclib/src/classes/B.c
The file was addedc/vdmclib/src/main/VdmClass.c
The file was modifiedc/vdmclib/src/CMakeLists.txt (diff)
The file was addedc/vdmclib/src/test/ExpressionsMap_Tests.cpp
The file was removedc/vdmclib/src/VdmClass.c
The file was removedc/vdmclib/src/tests/ClassATest.cpp
The file was addedc/vdmclib/src/main/VdmSet.c
The file was removedc/vdmclib/src/tests/ClassPublicCallABC_Tests.cpp
The file was addedc/vdmclib/src/test/classes/C.c
The file was removedc/vdmclib/src/IOLib.h
The file was addedc/vdmclib/src/test/ClassBTest.cpp
The file was removedc/vdmclib/src/records/R1.h
The file was addedc/vdmclib/src/test/ClassATest.cpp
The file was addedc/vdmclib/src/test/classes/C.h
The file was addedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp
The file was addedc/vdmclib/src/main/PatternBindMatch.h
The file was addedc/vdmclib/src/main/VdmProduct.c
The file was removedc/vdmclib/src/tests/ExpressionForLoop.cpp
The file was addedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp
The file was removedc/vdmclib/src/IOLib.c
The file was addedc/vdmclib/src/main/MATHLib.h
The file was addedc/vdmclib/src/test/HashTable_Tests.cpp
The file was addedc/vdmclib/src/main/IOLib.h
The file was removedc/vdmclib/src/PrettyPrint.h
The file was removedc/vdmclib/src/tests/typeoftest.c
The file was removedc/vdmclib/src/MATHLib.h
The file was addedc/vdmclib/src/main/VdmRecord.h
The file was removedc/vdmclib/src/VdmBasicTypes.h
The file was removedc/vdmclib/src/tests/ClassPublicFieldABC_Tests.cpp
The file was removedc/vdmclib/src/VdmSet.h
The file was removedc/vdmclib/src/VdmProduct.c
The file was addedc/vdmclib/src/test/classes/A.h
The file was addedc/vdmclib/src/main/IOLib.c
The file was addedc/vdmclib/src/test/Expressions_Tests.cpp
The file was removedc/vdmclib/src/Vdm.h
The file was addedc/vdmclib/src/test/classes/B.c
The file was removedc/vdmclib/src/tests/ExpressionsProduct_Tests.cpp
The file was removedc/vdmclib/src/classes/A.c
The file was removedc/vdmclib/src/TypedValue.h
The file was addedc/vdmclib/src/main/VdmMap.h
The file was removedc/vdmclib/src/tests/HashTable_Tests.cpp
The file was addedc/vdmclib/src/test/classes/A.c
Commit f60e1cf63dadd5d02fe7c6b81e7ce5217aa00c77 by Victor Bandur
Related to issue #4.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
(commit: f60e1cf)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit a37b26c0b56675bc638539eddbe1d9fbc87b18b6 by Victor Bandur
Related to issue #4.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
(commit: a37b26c)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit a3449ea42bf9ffe0d33a907021c3560a0f7d2d9a by Victor Bandur
More path fixes.  Related to issue #4.
(commit: a3449ea)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
The file was modifiedc/vdmclib/src/main/vdmclib (diff)
Commit cd2a6e9c5a4b1343ea8458020c690c36b08e93e5 by Victor Bandur
Test for behaviour of class variable and record variable assignment.
modified:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
(commit: cd2a6e9)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
Commit 514abce71ec69f9bea34786c6f73aa3c17582ecd by Victor Bandur
Test case for scratch work VDM class.
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
(commit: 514abce)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 3609910f71d80fca83f21bbebac85326ac071afc by Victor Bandur
Test material to determine whether assignment achieves value and
reference semantics correctly.
modified: 
vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified: 
vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
(commit: 3609910)
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/ClassScratchWork.vdmrt (diff)
Commit f27529aea0387421fdec9c42ec09580111d54bec by Peter W. V. Tran-Jørgensen
Tweak description of how to execute the runtime library tests
(commit: f27529a)
The file was modifiedreadme.md (diff)
The file was removedc/vdmclib/src/main/vdmclib
The file was modified.gitignore (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariable_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariable.vdmrt (diff)
Commit 63164b553fb51353da503de9ed11f73f532096c4 by Victor Bandur
Renaming for VDM quote type.
modified:   c/vdmclib/src/main/TypedValue.c
modified:   c/vdmclib/src/main/TypedValue.h
modified:   c/vdmclib/src/main/VdmMap.c
(commit: 63164b5)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/StaticFieldAccessRenameTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
Commit 8e0b271d6df09cde233e949157029560daf8a8d1 by Peter W. V. Tran-Jørgensen
Test that issue with code generation of static field access is fixed
Related to issue #12
(commit: 8e0b271)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariableComplex_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariableComplex.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 5667eec443419a53bd626efd2ec8007a09432e59 by Peter W. V. Tran-Jørgensen
Fix issue with assignments to static fields
Related to issue #12
(commit: 5667eec)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
Commit fd5054effa743d2724992c7877c8ad767bd57f98 by Victor Bandur
Aligned order of parameters for Collection construction functions.
modified:   c/vdmclib/src/main/TypedValue.c
modified:   c/vdmclib/src/main/TypedValue.h
modified:   c/vdmclib/src/main/VdmProduct.c
modified:   c/vdmclib/src/main/VdmSeq.c
modified:   c/vdmclib/src/main/VdmSet.c
modified:   c/vdmclib/src/main/vdmclib
(commit: fd5054e)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/vdmclib (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit aa10d6a3286f9393046883d386fa8d0c00ecfd90 by Victor Bandur
Preventing unimplemented math functions from generating compiler
warnings.  Temporary fix until they are implemented.  These functions
are not currently needed by any of the driving case studies.
modified:   MATHLib.c
(commit: aa10d6a)
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
Commit fb01ce968a69ded77661d4d5e5d18d9884f06332 by Peter W. V. Tran-Jørgensen
Fix: Lookup of the name of the enclosing class did not expect the system
class
(commit: fb01ce9)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit c4fe41ecfb207da15ac501394b111e4239b161a7 by Peter W. V. Tran-Jørgensen
Clean up NameConverter (remove unused code)
(commit: c4fe41e)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameConverter.java (diff)
Commit e37fa0af18972ecd7d60e5706f3165c210e53dbe by Peter W. V. Tran-Jørgensen
Fix the static field access transformation
The transformation did not take variable expressions into account.
Related to issue #14.
(commit: e37fa0a)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/StaticFieldAccessRenameTrans.java (diff)
Commit 791575fd93d6330b115c8d41d6b6d8d8c67c7d85 by Peter W. V. Tran-Jørgensen
Test that the static field issues have been fixed
(commit: 791575f)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariableComplex_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariableComplex.vdmrt (diff)
Commit 17eab86ba74d68d2d4902b77894a72bedd60a149 by Peter W. V. Tran-Jørgensen
Correct description of how to execute the runtime library tests
(commit: 17eab86)
The file was modifiedreadme.md (diff)
Commit 741fd1e1efcbee078e4c5d32829f38a732a2cc18 by Peter W. V. Tran-Jørgensen
Integrate runtime library test into Maven build
Closes #30
(commit: 741fd1e)
The file was addedc/run-lib-tests.sh
The file was modifiedc/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
Commit a643397624b68e04d1e07f2ea07cd4bb05cacad4 by Peter W. V. Tran-Jørgensen
Run cmake before executing the runtime library tests
Fixes issue related to issue #30
(commit: a643397)
The file was modifiedc/pom.xml (diff)
The file was modifiedc/run-lib-tests.sh (diff)
Commit e6fcc71e15066a207476ff78171de521b391dcb5 by Peter W. V. Tran-Jørgensen
Executing the runtime library test requires cmake be run
(commit: e6fcc71)
The file was modifiedreadme.md (diff)
Commit 97e69dfc110d6c0c535aaa6eb1cfe685debb7086 by Peter W. V. Tran-Jørgensen
Update description of how to execute the runtime library tests
Related to issue #30
(commit: 97e69df)
The file was modifiedreadme.md (diff)
Commit 0edba1934ef1bfad60a760df786b0d25f709a87a by Victor Bandur
Fixed memory leak in setting class field value.  Related to issue #29.
modified:   c/vdmclib/src/main/VdmClass.h
modified:   c/vdmclib/src/main/vdmclib
(commit: 0edba19)
The file was modifiedc/vdmclib/src/main/vdmclib (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 32e9d87f07f7cce3465a89f8b423b909a14c0edc by Victor Bandur
Fixes issue #29.
modified:   c/vdmclib/src/main/VdmClass.h
modified:   c/vdmclib/src/main/vdmclib
(commit: 32e9d87)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/vdmclib (diff)
Commit f5b1f6265f1b305792d6c5c12e75d022bdc6889d by Peter W. V. Tran-Jørgensen
Update C code generator plugin to export missing package
(commit: f5b1f62)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)