OpenJML/OpenJML 0.8.23

V0.8.23

on GitHub

Major issues resolved:
#566, #$559 - recursion in specs
#561 - UI - control to allow accordions to remain closed in the OpenJML results view
#564 - fixed performing static checks on single methods
#557 - partial fix for mistranslations of non-static inner classes
#560 - correction to implementation of havoc statements for assignable clauses
Improvements to location reporting
Generalizing model program syntax
On-demand implicit constraints on array length
Improvements to default specs
Better reports for failing pre and post conditions