collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 21,510 tests.100
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
 
 
 
 
 
 
 
 
 

Changes

#60 (Nov 18, 2018 9:05:18 PM)

  1. Clean up PolyFuncTrans — Peter W. V. Tran-Jørgensen / githubweb
  2. Ignore .factorypath files — Peter W. V. Tran-Jørgensen / githubweb
  3. Clean up .gitignore — Peter W. V. Tran-Jørgensen / githubweb
  4. Java CG: allow quotes as polymorphic types — Peter W. V. Tran-Jørgensen / githubweb
  5. Java CG: allow record types as polymorphic types — Peter W. V. Tran-Jørgensen / githubweb
  6. Java CG: generate more detailed output (Leo's changes) — Peter W. V. Tran-Jørgensen / githubweb
  7. Java CG: correct transformation message — Peter W. V. Tran-Jørgensen / githubweb
  8. Java CG: guard against pseudo record types — Peter W. V. Tran-Jørgensen / githubweb
  9. Java CG: allow polymorphic types to be passed as arguments — Peter W. V. Tran-Jørgensen / githubweb
  10. Java CG: fix sequence concatenation issue — Peter W. V. Tran-Jørgensen / githubweb
  11. Java CG: fix issue with seq-to-string conversion — Peter W. V. Tran-Jørgensen / githubweb
  12. Java CG: allow strings to be bound to polymorphic types — Peter W. V. Tran-Jørgensen / githubweb
  13. Java CG: allow union of quotes to be bound to polymorphic types — Peter W. V. Tran-Jørgensen / githubweb
  14. Java CG: fix issue with conversion between strings and sequences — Peter W. V. Tran-Jørgensen / githubweb
  15. Java CG: enable contract generation via the CLI — Peter W. V. Tran-Jørgensen / githubweb
  16. Java CG: fix issue with conversion of argument types — Peter W. V. Tran-Jørgensen / githubweb
  17. Java CG: perform topological sort of field graph — Peter W. V. Tran-Jørgensen / githubweb
  18. Java CG: mark some of the VDMUtil functions as unsupported — Peter W. V. Tran-Jørgensen / githubweb
  19. Java CG: fix access modifiers of pre- and postconditions and invariants — Peter W. V. Tran-Jørgensen / githubweb
  20. Java CG: support 'is_' expressions for types '?' and 'seq of?' — Peter W. V. Tran-Jørgensen / githubweb
  21. Java CG: warn on unsupported library features — Peter W. V. Tran-Jørgensen / githubweb
  22. Java CG: output location for transformation warnings — Peter W. V. Tran-Jørgensen / githubweb
  23. Java CG: rename modules to avoid naming conflicts — Peter W. V. Tran-Jørgensen / githubweb
  24. Java CG: fix file name of quote classes — Peter W. V. Tran-Jørgensen / githubweb
  25. Java CG: improve argument type analysis — Peter W. V. Tran-Jørgensen / githubweb
  26. Java CG: update module renamer to handle records — Peter W. V. Tran-Jørgensen / githubweb
  27. Java CG: fix for implicit operations — Peter W. V. Tran-Jørgensen / githubweb
  28. Java CG: fix issue with SL state access in implicit operations — Peter W. V. Tran-Jørgensen / githubweb
  29. Java CG: fix issue with types of 'new' expression arguments — Peter W. V. Tran-Jørgensen / githubweb
  30. Tightened narrow_ parsing and reserved name detection — nick.battle / githubweb
  31. Java CG: guard against non-existing VDM node — Peter W. V. Tran-Jørgensen / githubweb
  32. Java CG: improve logging in case of unexpected type — Peter W. V. Tran-Jørgensen / githubweb
  33. Java CG: report VDM node locations for unexpected types — Peter W. V. Tran-Jørgensen / githubweb
  34. Java CG: more work on improving logging of unexpected types — Peter W. V. Tran-Jørgensen / githubweb
  35. Absorb ContextExceptions during union type conversions — nick.battle / githubweb
  36. Warning for unused state variable, fixes #693 — nick.battle / githubweb

#59 (Oct 29, 2018 6:51:00 PM)

  1. Add version 2.6.4 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of Overture 2.6.4 — Peter W. V. Tran-Jørgensen / githubweb
  3. Correction to setExportType in various export nodes — nick.battle / githubweb
  4. Correct parse of tuple patterns — nick.battle / githubweb
  5. Fix issue with CG of tuple patterns — Peter W. V. Tran-Jørgensen / githubweb
  6. Java CG: fix issues with patterns in lambdas — Peter W. V. Tran-Jørgensen / githubweb
  7. Fix/relax Java CG of 'reverse' — Peter W. V. Tran-Jørgensen / githubweb
  8. Java CG: fix issue with seq binds in 'let be st' — Peter W. V. Tran-Jørgensen / githubweb
  9. Java CG enhancement: allow type binds in 'AForPatternBindStm' — Peter W. V. Tran-Jørgensen / githubweb
  10. Update version 2.6.4 release note — Peter W. V. Tran-Jørgensen / githubweb
  11. Java CG: fix issue with renaming of SL operations — Peter W. V. Tran-Jørgensen / githubweb
  12. [maven-release-plugin] prepare release Release/2.6.4 — Peter W. V. Tran-Jørgensen / githubweb
  13. [maven-release-plugin] prepare for next development iteration — Peter W. V. Tran-Jørgensen / githubweb
  14. Correct calculation of measure type for non-curried functions — nick.battle / githubweb
  15. Minor corrections for Java CG test result files — Peter W. V. Tran-Jørgensen / githubweb
  16. Support Java code-generation of polymotphic types (simple cases) — Peter W. V. Tran-Jørgensen / githubweb

#58 (Oct 25, 2018 11:20:44 AM)

  1. Clean up CG tests — Peter W. V. Tran-Jørgensen / githubweb
  2. CG fix: collect definitions for implicit operation bodies — Peter W. V. Tran-Jørgensen / githubweb

#57 (Oct 24, 2018 2:28:56 PM)

  1. Add Overture 2.6.2 release notes — Peter W. V. Tran-Jørgensen / githubweb
  2. Prepare release of Overture 2.6.2 — Peter W. V. Tran-Jørgensen / githubweb
  3. [maven-release-plugin] prepare release Release/2.6.2 — Peter W. V. Tran-Jørgensen / githubweb
  4. [maven-release-plugin] prepare for next development iteration — Peter W. V. Tran-Jørgensen / githubweb
  5. Removed location from ADefPatternBind.toString() — simon.fraser / githubweb
  6. Correction to seq1 concatenation typechecking — nick.battle / githubweb
  7. VDMTools is not CSK or SCSK product anymore — Peter W. V. Tran-Jørgensen / githubweb
  8. Detect patterns that always match in cases statements, fixes #688 — nick.battle / githubweb
  9. Fix concat and union patterns to match [] and {} — nick.battle / githubweb
  10. Don't do cyclic dep check if there are TC errors. — nick.battle / githubweb
  11. Correct typecheck of inds [] to return an empty set — nick.battle / githubweb
  12. Support Java code-generation of 'renamed' constructs — Peter W. V. Tran-Jørgensen / githubweb

#56 (May 4, 2018 2:35:47 PM)

  1. Type resolve State definition patterns, fixes #681 — nick.battle / githubweb
  2. Fix line ending issues in Overture.bat — Peter W. V. Tran-Jørgensen / githubweb
  3. Update Overture examples — Peter W. V. Tran-Jørgensen / githubweb
  4. Clean up imports — Peter W. V. Tran-Jørgensen / githubweb
  5. Set Locality property — Peter W. V. Tran-Jørgensen / githubweb
  6. Fix record constructor generation — Peter W. V. Tran-Jørgensen / githubweb
  7. Fix record access to values defined by the enclosing module — Peter W. V. Tran-Jørgensen / githubweb

#55 (Apr 30, 2018 12:27:19 PM)

  1. Support Java code-generation of setUp and tearDown — Peter W. V. Tran-Jørgensen / githubweb
  2. Update Overture examples — Peter W. V. Tran-Jørgensen / githubweb
  3. Support IO.fwriteval in the Java code-generation runtime — Peter W. V. Tran-Jørgensen / githubweb
  4. Correct check for no measure, fixes #675 — nick.battle / githubweb
  5. Instantiate lambda polymorphic parameters, fixes #678 — nick.battle / githubweb
  6. Prevent measures for implicit functions, see #675 — nick.battle / githubweb
  7. Support Java code-generation of VDMUtil`set2seq — Peter W. V. Tran-Jørgensen / githubweb
  8. Tweak the way ExternalDefinitions look up state names — nick.battle / githubweb
  9. Fix line ending issues in oveture.bat — Peter W. V. Tran-Jørgensen / githubweb
  10. Update Overture examples — Peter W. V. Tran-Jørgensen / githubweb

#54 (Mar 16, 2018 2:15:35 PM)

  1. Add "-version" argument to the Overture command-line interface — Peter W. V. Tran-Jørgensen / githubweb
  2. Improve look up of VDM-SL types #677 — Peter W. V. Tran-Jørgensen / githubweb

#53 (Mar 8, 2018 8:29:03 AM)

  1. Fix Delegate to work with overloads, fixes #666 — nick.battle / githubweb
  2. Support IO.fwriteval in the Java code-generation runtime — Peter W. V. Tran-Jørgensen / githubweb
  3. Fix Delegate to work with overloads, fixes #666 — Peter W. V. Tran-Jørgensen / githubweb
  4. Update Overture examples — Peter W. V. Tran-Jørgensen / githubweb
  5. updated delegate to enable context and search org.overture.lib if not — Kenneth Lausdahl / githubweb
  6. Correct typecheck of tail for seq1, fixes #669 — nick.battle / githubweb
  7. Keep more builds — noreply / githubweb
  8. reported old error message for delegate methods again — Kenneth Lausdahl / githubweb
  9. Line ending issue — Peter W. V. Tran-Jørgensen / githubweb

#52 (Feb 20, 2018 9:23:37 AM)

  1. Fix scoping issue in the code-generation platform — Peter W. V. Tran-Jørgensen / githubweb
  2. Update Java code-generator test results — Peter W. V. Tran-Jørgensen / githubweb
  3. Sort classes alphabetically in launch configuration view #665 — Peter W. V. Tran-Jørgensen / githubweb