SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.0.18 (details)
  2. [maven-release-plugin] prepare for next development iteration (details)
  3. Fix issue with method invocations that receive multiple arguments (details)
  4. Removed incorrect defines left over from file copy. (details)
  5. Test that method invocation issue is fixed (details)
  6. Add missing clone calls for apply expressions (details)
  7. Implementation of cosine. (details)
  8. Removed unused function vdmNotEqual from runtime library. (details)
  9. Removed unused nat, nat1 and int1 functions. (details)
  10. Add release notes for version 0.0.20 (details)
  11. Prepare for release of version 0.0.20 (details)
Commit 7342e819bb4778ea02bc397e08b7786c7d30d9a1 by jenkins
[maven-release-plugin] prepare release Release/0.0.18
Bump ide/ to version 0.0.18
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
Commit a58106519c86c73df863f5756ab3eaf9f8b88e73 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.19-SNAPSHOT
The file was modifiedcore/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
Commit 24d57741c661d51c087bc65af345bcd600a165a2 by Peter W. V. Tran-Jørgensen
Fix issue with method invocations that receive multiple arguments
Addresses #67
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit e80e04300b6c467dbf3ee093284d06dc18f75991 by Victor Bandur
Removed incorrect defines left over from file copy.
The file was modifiedc/vdmclib/src/main/IOLib.h (diff)
The file was modifiedc/vdmclib/src/main/CSVLib.h (diff)
Commit ef9e9df8c55aac5f476b1e0d0e3aa80a55f9a3ac by Peter W. V. Tran-Jørgensen
Test that method invocation issue is fixed
Closes #67
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticFun_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFun.vdmrt (diff)
Commit a2e670d1a4bae04f0fc206b704dd4df0984e9a18 by Peter W. V. Tran-Jørgensen
Add missing clone calls for apply expressions
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit 7c81526e8e6873208eee58135a6c9ba621eddd7f by Victor Bandur
Implementation of cosine.
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
Commit ede5cb06d321859c30870b166137025afb263c65 by Victor Bandur
Removed unused function vdmNotEqual from runtime library.
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
Commit 19eb6f86d7c65d71ff5e41ab42dcebc5f3ec90f8 by Victor Bandur
Removed unused nat, nat1 and int1 functions.
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
Commit ae2729da9d6778124407ed1f162eef46d38b3d70 by Peter W. V. Tran-Jørgensen
Add release notes for version 0.0.20
The file was addedrelease/ReleaseNotes_0.0.20.md
Commit b7147b3796e5a1a40eff739e5c353f9156062dba by Peter W. V. Tran-Jørgensen
Prepare for release of version 0.0.20
The file was modifiedoverture.release.properties (diff)