SuccessChanges

Summary

  1. Testing in-place sequence update. (commit: 3873795) (details)
  2. Fix issue with copying of runtime library (commit: d1dbf65) (details)
Commit 38737958aee85734b4ce4b821ba945227cf7e480 by Victor Bandur
Testing in-place sequence update.
(commit: 3873795)
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
(commit: d1dbf65)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)