FailedChanges

Summary

  1. preparing next release (details)
  2. More transformations cleanup. (details)
  3. More cleanup. (details)
  4. Refactoring of field transformations. (details)
  5. Test model for incremental redevelopment of static field access (details)
  6. Some temporary static field tests exercising the globals scheme. (details)
  7. Reworking field access transformation. (details)
  8. Committing some intermediate stuff before moving to new branch. (details)
  9. [maven-release-plugin] prepare release Release/0.0.2 (details)
  10. [maven-release-plugin] prepare for next development iteration (details)
  11. Stabilize tests. (details)
  12. Test model for scratch work. (details)
  13. Add test from commit 6ce283 (details)
  14. Add test code from commit 16f494 (details)
  15. Add test code changes from d7ffd1 (details)
  16. Changes from 22e1d1 (details)
  17. Port over changes related to de0401 (details)
  18. Re-enable test (related to 732351) (details)
  19. Fix issue related to construction of the field name (details)
  20. Changes related to 15dd76 (details)
  21. Ensuring that const and static init functions have bodies (details)
  22. changed cmake testing to reuse the same compiled googletest resources (details)
  23. Work on static fields (related to 9c66cd) (details)
  24. Records test was in fact a test for products. (details)
  25. Add prerequisite section in the README (details)
  26. Update description of test properties (details)
  27. Describe how to execute the runtime tests (details)
  28. Update readme.md (details)
  29. Re-organise readmes (details)
  30. Cleanup README (details)
  31. Do not put launch configurations under version control (details)
  32. Change testing log level (details)
  33. Untrack launch configurations (details)
  34. Allow test files to exist (details)
  35. Update quote test to support test execution (details)
  36. Add name mangling for quote types (details)
  37. Slightly better testing of quotes (details)
  38. Add name mangling for the unknown type and the template type (details)
  39. Add name mangling for named types (details)
  40. Add name mangling for union types (details)
  41. Suppress googletest output by default (details)
  42. Improvements for the C code generator command-line (details)
  43. Update tests to pass the --quiet flag to the C code generator (details)
  44. Fix issue with the field access transformation (details)
  45. Test that the field transformation issue is fixed (details)
  46. Update public field test to compile the generated code (details)
  47. Re-enable and fix field test (details)
  48. Remove -DVDM_LIB_PATH test property (details)
  49. Update vdm2c to use newest version of Overture (details)
  50. Update the VDM2C plugin to build against Eclipse Neon. Closes #18 (details)
  51. Testing branching. (details)
  52. Work on not including unnecessary directories along with generated code. (details)
  53. Related to issue #4. (details)
  54. Related to issue #4. (details)
  55. More path fixes.  Related to issue #4. (details)
  56. Test for behaviour of class variable and record variable assignment. (details)
  57. Test case for scratch work VDM class. (details)
  58. Test material to determine whether assignment achieves value and (details)
  59. Tweak description of how to execute the runtime library tests (details)
  60. Remove generated test file (details)
  61. Add more tests for static fields (details)
  62. Renaming for VDM quote type. (details)
  63. Fix code generation of static field access (details)
  64. Test that issue with code generation of static field access is fixed (details)
  65. Fix issue with assignments to static fields (details)
  66. Aligned order of parameters for Collection construction functions. (details)
  67. Preventing unimplemented math functions from generating compiler (details)
  68. Fix: Lookup of the name of the enclosing class did not expect the system (details)
  69. Clean up NameConverter (remove unused code) (details)
  70. Fix the static field access transformation (details)
  71. Test that the static field issues have been fixed (details)
  72. Correct description of how to execute the runtime library tests (details)
  73. Integrate runtime library test into Maven build (details)
  74. Disable run-lib-tests shell script (details)
  75. Run cmake before executing the runtime library tests (details)
  76. Executing the runtime library test requires cmake be run (details)
  77. Update description of how to execute the runtime library tests (details)
  78. Fixed memory leak in setting class field value.  Related to issue #29. (details)
  79. Fixes issue #29. (details)
  80. Update C code generator plugin to export missing package (details)
  81. Prepare release 0.0.6 (details)
The file was addedoverture.release.properties
Commit 10c07a29897b36b21a1be4da80b09edc2a92c82b by Victor Bandur
More transformations cleanup.
modified:   NativeClassesTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java
deleted:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldIdentifierToFieldGetApplyTrans.java
new file: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:   src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
modified:   src/test/resources/vdmrt/classes/ClassFieldAccessTest.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccessTest.vdmrt (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldIdentifierToFieldGetApplyTrans.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt (diff)
Commit 2dd83d6f565400a58092ef9394ef6fab3bfa8ede by Victor Bandur
More cleanup.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit 52e7ea6c0509b32963f9376b96abbf81d94a0a19 by Victor Bandur
Refactoring of field transformations.
new file: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
Commit c882f957075290ad6f787e67f7c37f8ddcf6e4f9 by Victor Bandur
Test model for incremental redevelopment of static field access
functionality.
new file: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
Commit a2befeee2c90cc65a4f508c6b37fa4b97018ff90 by Victor Bandur
Some temporary static field tests exercising the globals scheme.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit b234a763c2e387ca04e2bc62d692341d3b1a131b by Victor Bandur
Reworking field access transformation.
modified:   core/vdm2c/NativeClassesTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
deleted:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was removedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit d90af860c46beb1e86c90ca3313e7baa630294e2 by Victor Bandur
Committing some intermediate stuff before moving to new branch.
new file: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
Commit 42f3dc2ab92b10db78d21434b34255eebe2ab42d by jenkins
[maven-release-plugin] prepare release Release/0.0.2
Bump ide/ to version 0.0.2
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
Commit 83d4847c0f13acc9cc0f29c536372570014b89ec by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.3-SNAPSHOT
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
Commit 2b7d1c6549155634293046b32beae3f14f7e80e5 by Victor Bandur
Stabilize tests.
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
Commit 9bd708c912708d097c34e70d3834e7ff58773d61 by Peter W. V. Tran-Jørgensen
Test model for scratch work.
new file:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.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/ClassInstanceVariable.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp
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)
Commit 7fb523daa63359b2ad1188ecad3d18be043a44cc by Peter W. V. Tran-Jørgensen
Add test code changes from d7ffd1
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)
Commit 298c29db9fceb27f3de5124795d1ed45547c89d3 by Peter W. V. Tran-Jørgensen
Port over changes related to de0401
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 7bb3883671f1ab9a65130e4a8424440eeda047a3 by Peter W. V. Tran-Jørgensen
Re-enable test (related to 732351)
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
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
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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/CMakeLists.txt (diff)
Commit 51f2036872267c449433e3760cc0faffacaacdae by Peter W. V. Tran-Jørgensen
Work on static fields (related to 9c66cd)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
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/CTransSeries.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldsDeclsTrans.java
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
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
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
The file was modifiedreadme.md (diff)
Commit b7e3817fcc996b3b7656a68faee4fb3ad38a7542 by Peter W. V. Tran-Jørgensen
Describe how to execute the runtime tests
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
The file was modified.gitignore (diff)
The file was removedcore/vdm2c/resources.launch
The file was removedcore/vdm2c/AllTests.launch
The file was modifiedcore/vdm2c/src/test/resources/log4j.properties (diff)
The file was removedcore/vdm2c/ExternalTests.launch
The file was removedcore/vdm2c/NativeClassesTests.launch
The file was removedcore/vdm2c/NativeTests.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
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/quote/ExpressionQuote_Tests.cpp
Commit 0b395cadb0c460117f18c25176c3704103ee09a4 by Peter W. V. Tran-Jørgensen
Add name mangling for quote types
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit cd606732ae67a344ecfceb0ff28285de8021244f by Peter W. V. Tran-Jørgensen
Slightly better testing of quotes
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
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit 8b045c684f02937453a8b04ca6f6f7d1caa0f3d7 by Peter W. V. Tran-Jørgensen
Add name mangling for named types
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit bf01896816958f7e1a83c8c97576329645b177c9 by Peter W. V. Tran-Jørgensen
Add name mangling for union types
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit dd7b68fd13c0272ce325d36b36fd741030c6310a by Peter W. V. Tran-Jørgensen
Suppress googletest output by default
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
The file was modifiedreadme.md (diff)
Commit c969c10a01414548204f7c29a61fa486320f3f76 by Peter W. V. Tran-Jørgensen
Improvements for the C code generator command-line
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
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
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
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
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/NativeClassesTests.java (diff)
Commit d8559d606af13cd44c73603f67f5f2c5c69e6b2a by Peter W. V. Tran-Jørgensen
Remove -DVDM_LIB_PATH test property
Closes #15
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.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/NativeTestBase.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/ExternalTests.java (diff)
Commit e64c4d6e12b73b6a5ecd645eb105f79bd08cde0f by Peter W. V. Tran-Jørgensen
Update vdm2c to use newest version of Overture
Work on issue #18
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)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/CodeGenConsole.java (diff)
The file was modifiedpom.xml (diff)
Commit c23f283e7efbbe36650dcb4ff1b8486a7ca97fce by Peter W. V. Tran-Jørgensen
Update the VDM2C plugin to build against Eclipse Neon. Closes #18
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
The file was addedc/vdmclib/src/main/MATHLib.h
The file was addedc/vdmclib/src/test/StructOffsetTest_Tests.cpp
The file was removedc/vdmclib/src/tests/ClassPublicCallABC_Tests.cpp
The file was addedc/vdmclib/src/test/typeoftest.h
The file was removedc/vdmclib/src/tests/Statements_Record_Tests.cpp
The file was addedc/vdmclib/src/main/VdmSeq.h
The file was removedc/vdmclib/src/VdmBasicTypes.c
The file was addedc/vdmclib/src/test/classes/C.h
The file was removedc/vdmclib/src/tests/Expressions_Tests.cpp
The file was addedc/vdmclib/src/test/ClassPrivateCallABC_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp
The file was addedc/vdmclib/src/test/HashTable_Tests.cpp
The file was addedc/vdmclib/src/test/Statements_Record_Tests.cpp
The file was removedc/vdmclib/src/VdmSet.c
The file was addedc/vdmclib/src/main/VdmClass.c
The file was removedc/vdmclib/src/VdmProduct.c
The file was addedc/vdmclib/src/main/VdmBasicTypes.h
The file was removedc/vdmclib/src/tests/typeoftest.h
The file was removedc/vdmclib/src/PatternBindMatch.h
The file was addedc/vdmclib/src/main/VdmClass.h
The file was addedc/vdmclib/src/test/ClassPublicFieldABC_Tests.cpp
The file was addedc/vdmclib/src/test/records/R1.c
The file was addedc/vdmclib/src/main/CMakeLists.txt
The file was removedc/vdmclib/src/classes/B.c
The file was removedc/vdmclib/src/PatternBindMatch.c
The file was addedc/vdmclib/src/main/SampleMakefile
The file was addedc/vdmclib/src/test/ClassBTest.cpp
The file was addedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp
The file was addedc/vdmclib/src/test/records/R1.h
The file was removedc/vdmclib/src/VdmClass.c
The file was addedc/vdmclib/src/test/PrettyPrint_Tests.cpp
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was addedc/vdmclib/src/main/PatternBindMatch.c
The file was addedc/vdmclib/src/test/ExpressionsMap_Tests.cpp
The file was removedc/vdmclib/src/TypedValue.h
The file was addedc/vdmclib/src/main/VdmBasicTypes.c
The file was addedc/vdmclib/src/test/classes/A.h
The file was removedc/vdmclib/src/VdmMap.c
The file was removedc/vdmclib/src/IOLib.h
The file was removedc/vdmclib/src/VdmProduct.h
The file was removedc/vdmclib/src/records/R1.h
The file was removedc/vdmclib/src/tests/ClassPrivateFieldABC_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionsSet_Tests.cpp
The file was modifiedc/vdmclib/src/CMakeLists.txt (diff)
The file was removedc/vdmclib/src/tests/typeoftest.c
The file was removedc/vdmclib/src/classes/C.h
The file was removedc/vdmclib/src/tests/StructOffsetTest_Tests.cpp
The file was removedc/vdmclib/src/PrettyPrint.c
The file was removedc/vdmclib/src/classes/A.h
The file was removedc/vdmclib/src/VdmRecord.h
The file was removedc/vdmclib/src/tests/HashTable_Tests.cpp
The file was removedc/vdmclib/src/tests/ExpressionsSeq_Tests.cpp
The file was addedc/vdmclib/src/main/VdmSet.h
The file was addedc/vdmclib/src/test/classes/A.c
The file was addedc/vdmclib/src/main/VdmRecord.h
The file was addedc/vdmclib/src/main/VdmProduct.h
The file was addedc/vdmclib/src/test/ExpressionForLoop.cpp
The file was removedc/vdmclib/src/SampleMakefile
The file was addedc/vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp
The file was removedc/vdmclib/src/tests/ExpressionForLoop.cpp
The file was addedc/vdmclib/src/main/TypedValue.h
The file was addedc/vdmclib/src/test/ClassPublicCallABC_Tests.cpp
The file was addedc/vdmclib/src/test/ClassCTest.cpp
The file was addedc/vdmclib/src/main/PrettyPrint.h
The file was addedc/vdmclib/src/test/TypeofTest_Tests.cpp
The file was removedc/vdmclib/src/records/R1.c
The file was removedc/vdmclib/src/tests/ExpressionsBoolean_Tests.cpp
The file was removedc/vdmclib/src/tests/ExpressionsNumeric_Tests.cpp
The file was removedc/vdmclib/src/tests/ClassPublicFieldABC_Tests.cpp
The file was removedc/vdmclib/src/VdmSeq.h
The file was removedc/vdmclib/src/tests/TypeofTest_Tests.cpp
The file was removedc/vdmclib/src/tests/PrettyPrint_Tests.cpp
The file was addedc/vdmclib/src/main/VdmSeq.c
The file was addedc/vdmclib/src/test/classes/C.c
The file was addedc/vdmclib/src/test/ClassATest.cpp
The file was removedc/vdmclib/src/VdmMap.h
The file was addedc/vdmclib/src/main/VdmMap.h
The file was addedc/vdmclib/src/main/vdmclib
The file was removedc/vdmclib/src/tests/ClassPrivateCallABC_Tests.cpp
The file was addedc/vdmclib/src/main/VdmSet.c
The file was removedc/vdmclib/src/tests/ClassATest.cpp
The file was removedc/vdmclib/src/tests/ClassCTest.cpp
The file was removedc/vdmclib/src/IOLib.c
The file was removedc/vdmclib/src/classes/C.c
The file was addedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp
The file was addedc/vdmclib/src/test/classes/B.c
The file was addedc/vdmclib/src/main/IOLib.c
The file was removedc/vdmclib/src/TypedValue.c
The file was removedc/vdmclib/src/MATHLib.c
The file was addedc/vdmclib/src/main/IOLib.h
The file was addedc/vdmclib/src/test/classes/B.h
The file was addedc/vdmclib/src/main/VdmMap.c
The file was removedc/vdmclib/src/tests/ClassBTest.cpp
The file was removedc/vdmclib/src/classes/A.c
The file was addedc/vdmclib/src/main/Vdm.h
The file was addedc/vdmclib/src/main/MATHLib.c
The file was removedc/vdmclib/src/Vdm.h
The file was addedc/vdmclib/src/test/ClassIO_Tests.cpp
The file was removedc/vdmclib/src/tests/ClassIO_Tests.cpp
The file was removedc/vdmclib/src/tests/ExpressionsProduct_Tests.cpp
The file was addedc/vdmclib/src/test/typeoftest.c
The file was removedc/vdmclib/src/MATHLib.h
The file was removedc/vdmclib/src/VdmClass.h
The file was addedc/vdmclib/src/main/VdmProduct.c
The file was removedc/vdmclib/src/classes/B.h
The file was removedc/vdmclib/src/VdmSeq.c
The file was removedc/vdmclib/src/VdmSet.h
The file was addedc/vdmclib/src/main/PatternBindMatch.h
The file was removedc/vdmclib/src/tests/ExpressionsMap_Tests.cpp
The file was removedc/vdmclib/src/PrettyPrint.h
The file was removedc/vdmclib/src/tests/ExpressionsSet_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionsBoolean_Tests.cpp
The file was removedc/vdmclib/src/VdmBasicTypes.h
The file was removedc/vdmclib/src/tests/ExpressionsSetRandom_Tests.cpp
The file was addedc/vdmclib/src/test/Expressions_Tests.cpp
The file was addedc/vdmclib/src/main/TypedValue.c
The file was addedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp
The file was addedc/vdmclib/src/main/PrettyPrint.c
Commit f60e1cf63dadd5d02fe7c6b81e7ce5217aa00c77 by Victor Bandur
Related to issue #4.
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 a37b26c0b56675bc638539eddbe1d9fbc87b18b6 by Victor Bandur
Related to issue #4.
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 a3449ea42bf9ffe0d33a907021c3560a0f7d2d9a by Victor Bandur
More path fixes.  Related to issue #4.
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
The file was modifiedc/vdmclib/src/main/vdmclib (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit cd2a6e9c5a4b1343ea8458020c690c36b08e93e5 by Victor Bandur
Test for behaviour of class variable and record variable assignment.
modified:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
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
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
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit f27529aea0387421fdec9c42ec09580111d54bec by Peter W. V. Tran-Jørgensen
Tweak description of how to execute the runtime library tests
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
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 78b8efd8b42616454c125adc4d026d6444f5f4a1 by Peter W. V. Tran-Jørgensen
Fix code generation of static field access
Closes #12
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 8e0b271d6df09cde233e949157029560daf8a8d1 by Peter W. V. Tran-Jørgensen
Test that issue with code generation of static field access is fixed
Related to issue #12
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/ClassStaticInstanceVariableComplex.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariableComplex_Tests.cpp
Commit 5667eec443419a53bd626efd2ec8007a09432e59 by Peter W. V. Tran-Jørgensen
Fix issue with assignments to static fields
Related to issue #12
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
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/vdmclib (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.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
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
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)
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.
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/GlobalFieldUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
Commit 791575fd93d6330b115c8d41d6b6d8d8c67c7d85 by Peter W. V. Tran-Jørgensen
Test that the static field issues have been fixed
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticInstanceVariableComplex.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticInstanceVariableComplex_Tests.cpp (diff)
Commit 17eab86ba74d68d2d4902b77894a72bedd60a149 by Peter W. V. Tran-Jørgensen
Correct description of how to execute the runtime library tests
The file was modifiedreadme.md (diff)
Commit 741fd1e1efcbee078e4c5d32829f38a732a2cc18 by Peter W. V. Tran-Jørgensen
Integrate runtime library test into Maven build
Closes #30
The file was modifiedc/pom.xml (diff)
The file was addedc/run-lib-tests.sh
Commit 1dadc841a12b392df581e9e7e46cd4917d01d245 by Peter W. V. Tran-Jørgensen
Disable run-lib-tests shell script
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
The file was modifiedc/run-lib-tests.sh (diff)
The file was modifiedc/pom.xml (diff)
Commit e6fcc71e15066a207476ff78171de521b391dcb5 by Peter W. V. Tran-Jørgensen
Executing the runtime library test requires cmake be run
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
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
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/vdmclib (diff)
Commit 32e9d87f07f7cce3465a89f8b423b909a14c0edc by Victor Bandur
Fixes issue #29.
modified:   c/vdmclib/src/main/VdmClass.h
modified:   c/vdmclib/src/main/vdmclib
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
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.xml (diff)
The file was modifiedoverture.release.properties (diff)