[Jenkins]Jenkins

SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.0.10 (details)
  2. [maven-release-plugin] prepare for next development iteration (details)
  3. Make "if-tests" executable (details)
  4. Add generic "if-test" (details)
  5. Add tests that reveal issue with if statements (details)
  6. Updated README.txt with cmake command for debug. (details)
  7. Unpack all typed expressions (details)
  8. Test collection updates (details)
  9. Low-level map update function, instead of implementing in terms of map (details)
  10. Test for sequence updates. (details)
  11. Add support for field and sequence updates (details)
  12. Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF (details)
  13. Testing in-place sequence update. (details)
  14. Fix issue with copying of runtime library (details)
  15. Corrections for CLI argument validation (details)
  16. Add missing source nodes to class headers (details)
  17. Represent the generated code using CGP means (details)
  18. Update CLI to report errors/unsupported constructs (details)
  19. Translate standard libraries to IR modules (details)
  20. Translate generated modules to C sources (details)
  21. Update the VDM2C plugin to output the user's code (details)
  22. Correct initialisation of mangledNames (details)
  23. Better user feedback for unsupported constructs (details)
  24. Output folder field is not needed (details)
  25. Clean-up CLI (details)
  26. Simplify CGen (details)
  27. Move 'copyNativeLibFiles' to core (details)
  28. Update the VDM2C CLI (details)
  29. Add v0.0.12 release notes (details)
  30. Prepare release of VDM2C 0.0.12 (details)
Commit baba40c17294a925ca6bb11f565c0f55a6d7ec54 by jenkins
[maven-release-plugin] prepare release Release/0.0.10
Bump ide/ to version 0.0.10
The file was modifiedc/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
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 modifiedide/cgen/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
Commit 54ae1bd2d9c27f0e7bee30ad3092dadec2e40ed3 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.11-SNAPSHOT
The file was modifiedpom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
Commit 9668e4a5f38979d6d025302fe937ce4ae3411aaf by Peter W. V. Tran-Jørgensen
Make "if-tests" executable
Related to #49
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIfNotEq.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit e657291ac3c966044f141584ae2a0d1cbbfc3c9d by Peter W. V. Tran-Jørgensen
Add generic "if-test"
Related to #49
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassIf_Tests.cpp
The file was removedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIfNotEq.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIf.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 4cdd34bee87ebcfc6b407a2057a10409e0e88906 by Peter W. V. Tran-Jørgensen
Add tests that reveal issue with if statements
Related to #49
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassIf_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIf.vdmrt (diff)
Commit 5e6d1f4e775040dbd78e67b636ec0332dc792b7c by Victor Bandur
Updated README.txt with cmake command for debug.
The file was modifiedc/vdmclib/src/main/README.txt (diff)
Commit b2663672bed4c474b3a3d46576162ae66d2df236 by Peter W. V. Tran-Jørgensen
Unpack all typed expressions
Closes #49
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IfTrans.java (diff)
Commit 43738e998f456be23203076c71b1384530529d17 by Peter W. V. Tran-Jørgensen
Test collection updates
Addresses #54
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/ClassCollectionUpdate_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassCollectionUpdate.vdmrt
Commit 7438daa1a2db175d471b15d836a11072c4c1ab5a by Victor Bandur
Low-level map update function, instead of implementing in terms of map
override.
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
Commit cd01a151bb3540e1646fd7e31ed5dfbfd102a069 by Victor Bandur
Test for sequence updates.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
Commit 207bec1c010df9e79a7aebe84799c8bda869c831 by Peter W. V. Tran-Jørgensen
Add support for field and sequence updates
Closes #54
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/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
Commit 440727d3066d218f0eb6af4d966e7f950d47ea02 by Peter W. V. Tran-Jørgensen
Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF
Related to issue #54
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit 38737958aee85734b4ce4b821ba945227cf7e480 by Victor Bandur
Testing in-place sequence update.
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassScratchWork_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
Commit d1dbf65f99130de1d2cd6a0452fe6bc7192984b2 by Peter W. V. Tran-Jørgensen
Fix issue with copying of runtime library
The problem would only appear on Windows systems.
Closes #38
Fix issue with copying of runtime library
The problem would only appear on Windows systems.
Closes #38
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit db79217296235fed5c5b36f2363f9b4759046751 by Peter W. V. Tran-Jørgensen
Corrections for CLI argument validation
Initial work on #41
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit 2f049938c64858000bc676bcfffa26b93f220273 by Peter W. V. Tran-Jørgensen
Add missing source nodes to class headers
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
Commit 4f7ba9e3c71de78ed8909205e9f2dadc4b46f63c by Peter W. V. Tran-Jørgensen
Represent the generated code using CGP means
Intermediate work on #41
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 25c8a3d8132594129ea47d5c79e6f591f3cebf7f by Peter W. V. Tran-Jørgensen
Update CLI to report errors/unsupported constructs
Addresses #41
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
Commit e3b1f3d4de5da91576726b017ecd6a6d3ac3e2dc by Peter W. V. Tran-Jørgensen
Translate standard libraries to IR modules
Related to issue #41
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 54a050f956e9bb25bb50dad5a19583d390a7613d by Peter W. V. Tran-Jørgensen
Translate generated modules to C sources
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 763a46811d8d36c0b76c314f0116ee32827ad4be by Peter W. V. Tran-Jørgensen
Update the VDM2C plugin to output the user's code
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 15a5ed343fd6047fd39f612e45658da802a91bf4 by Peter W. V. Tran-Jørgensen
Correct initialisation of mangledNames
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/NameMangler.java (diff)
Commit 3c864a8ddd5f58d356aa5a674e10a4b123f2204e by Peter W. V. Tran-Jørgensen
Better user feedback for unsupported constructs
Closes #41
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 76f3dfb3dc88360f82f4137d31783414d8637c6b by Peter W. V. Tran-Jørgensen
Output folder field is not needed
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/CGenMain.java (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
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/CGenMain.java (diff)
Commit a7cc5ba24b0e62b1bc03bf3bbed587fe968a0329 by Peter W. V. Tran-Jørgensen
Move 'copyNativeLibFiles' to core
Closes #31
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CGenUtil.java
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 5da83e712ecdfe1787a40bcddcc947bcc01792fa by Peter W. V. Tran-Jørgensen
Update the VDM2C CLI
- Add quiet flag
- Use <arg> to pass individual VDM-RT files
Closes #17
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was addedrelease/ReleaseNotes_0.0.12.md
The file was modifiedoverture.release.properties (diff)