OpenJML/OpenJML 0.8.24

V0.8.24

on GitHub

#576 - inadvertent duplicate of #575
#575 - fixed evaluation order of interdependent assignable locations
#574 - AddLoop example failed with previous version, OK with this one.
#573 - poor behavior (crash) when a .jml file is on the command line and the .java file is not found
#572 - better fixes for recursion
#571 - implement static_initializer to be a spot to state the results of static initialization
#569 - spec_public on methods is not bering honored
#567 - usage problem with invariants
#565, #568 - questions - no fixes needed