Started 3 yr 5 mo ago
Took 15 min on master

Success Build #55 (Feb 9, 2017 3:20:40 PM)

Changes
  1. [maven-release-plugin] prepare release Release/0.0.18 (details / githubweb)
  2. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  3. Fix issue with method invocations that receive multiple arguments (details / githubweb)
  4. Removed incorrect defines left over from file copy. (details / githubweb)
  5. Test that method invocation issue is fixed (details / githubweb)
  6. Add missing clone calls for apply expressions (details / githubweb)
  7. Implementation of cosine. (details / githubweb)
  8. Removed unused function vdmNotEqual from runtime library. (details / githubweb)
  9. Removed unused nat, nat1 and int1 functions. (details / githubweb)
  10. Add release notes for version 0.0.20 (details / githubweb)
  11. Prepare for release of version 0.0.20 (details / githubweb)

Started by user Peter W. V. Tran-Jørgensen

Revision: b7147b3796e5a1a40eff739e5c353f9156062dba
  • refs/remotes/origin/development