OpenJML/OpenJML 0.8.22

V0.8.22

on GitHub

#545 - default interface methods showing up as infeasible
#548 - failure to find model methods in interfaces
#550 - bug with lambda inlining
#551 - made the information associated with precondition warnings more useful
#552 - Allow \fresh in loop invariants in other body statements
#554 - not finding inherited specifications for type variables
#555 - anonymous class do not inherit nullity annotations
#556 - add assumption that *.class is not null
#558 - problem with imports of malformed .jml files-RAC
Many improvements in library specs