summaryrefslogtreecommitdiff
path: root/Test/VerifyThis2015
Commit message (Expand)AuthorAge
* Added flying robots example to test suiteGravatar Rustan Leino2016-01-06
* Add /autoTriggers:1 to remove the undeterminateness of proof search.Gravatar qunyanm2015-12-15
* Implement workarounds for some tests that fail with /autoTriggers.Gravatar Clément Pit--Claudel2015-08-28
* Change the induction heuristic for lemmas to also look in precondition for cl...Gravatar leino2015-08-12
* Update z3 to 4.4. One test had to be edited.Gravatar Clément Pit--Claudel2015-07-21
* Fixed bug in BplImp!Gravatar leino2015-07-01
* Tried to reduce frame-axiom instantiations by saying the earlier heap must be...Gravatar leino2015-06-25
* Changes to the VerifyThis2015 test programsGravatar leino2015-04-28
* Completed problems from the VerifyThis 2015 program verification competitionGravatar leino2015-04-14