Skip to content

SPAT v1.1.4
Compare
Choose a tag to compare
@Jellix Jellix released this 15 Jul 12:20
· 91 commits to master since this release
v1.1.4
221577c

CHANGELOG:

  • Fixed defect where the number of steps for Proof_Switches given by the --suggest option picked up the wrong entry and reported the wrong (i.e. too low) number of steps needed for successful proof (#60).
Assets 5
Loading