All Versions
12
Latest Version
Avg Release Cycle
63 days
Latest Release
136 days ago

Changelog History
Page 1

  • v0.8.46

    May 06, 2020
  • v0.8.45

    May 05, 2020
  • v0.8.44

    April 14, 2020
  • v0.8.43

    December 10, 2019

    πŸš€ Accumulated bug fix and enhancement release

  • v0.8.42

    April 01, 2019
  • v0.8.41

    March 19, 2019
  • v0.8.40

    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

    July 01, 2018

    πŸ›  Fix to crash in IDE and to installation inconsistencies.

  • v0.8.37

    July 01, 2018
  • v0.8.36

    July 01, 2018

    πŸ›  Fixed
    #622
    #621
    #618
    βž• Added checks for 'also' modifier
    Corrected handling of fields from enclosing classes
    βœ‚ Removed null-ness checking and invariants for data group fields