Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tried to reduce frame-axiom instantiations by saying the earlier heap must be... | leino | 2015-06-25 |
* | Changes to the VerifyThis2015 test programs | leino | 2015-04-28 |
* | Completed problems from the VerifyThis 2015 program verification competition | leino | 2015-04-14 |