Changelog History
Page 2
-
v0.8.40 Changes
October 23, 2018🛠 Substantial fixes and feature improvements, based on industrial application.
🖨 #656 - pretty printing error fixed
#654 - fix an unsoundness bug introduced by annotated types in Java 8
#653 - crashing bug when an overriding method has no spec, just a parent spec
🛠 #650 - fixed problem with multiply nested quantifiers and model functions
⚠ #648 - corrections to Java visibility and issuing a warning if there are no visible specs
#647 - non_null designations should not apply to fields within a constructor
⏱ #644 - changes to timeout and to HashMap specs to avoid trigger instantiation loops
#641 - Added the -no-skipped option to hide listing skipped methods during -progress reporting
#640 - improvements to reasoning about class inheritance
#638 - ‘this’ no longer allowed in constructor pre-state expressions
👍 #636 - better propagation of type errors
🌐 #634 - correction to the translation of model fields In old states
#633 - improved logical encoding of double
⚠ #631, 643 - added a warning for a semicolon after ‘pure’, which silently hid specifications
#630 - corrected spec inheritance for toString()
#626 - improved trace output for quantified expressions
👍 Allowing empty spec cases
Implementing \fresh in loops
Throwing an assertion error is equivalent to an assert statement
➕ Added the synonym loop_decreases for decreasing -
v0.8.39 Changes
July 01, 2018🛠 Fix to crash in IDE and to installation inconsistencies.
-
v0.8.37
July 01, 2018 -
v0.8.36 Changes
July 01, 2018 -
v0.8.35 Changes
June 14, 2018 -
v0.8.34 Changes
June 13, 2018🚀 Edit: Broken Release
🚀 Correcting the Specs in the release. (V0.8.33 is broken)