summaryrefslogtreecommitdiff
path: root/Test/extractloops
Commit message (Expand)AuthorAge
* 1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...Gravatar Unknown2012-06-01
* Fixed the regression for deterministicExtractLoops.Gravatar Unknown2012-05-25
* MergeGravatar Unknown2012-05-25
|\
* | Adding an option for deterministicExtractLoops, that uses an alternate way to...Gravatar Unknown2012-05-25
| * updated testGravatar qadeer2012-05-24
|/
* UseLabels=false when stratified inline is onGravatar qadeer2012-04-29
* eliminated class ErrorModelGravatar qadeer2012-04-28
* Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...Gravatar Rustan Leino2011-10-27
* Support for irreducible graphs (with extractLoops)Gravatar Unknown2011-08-24
* Added tests for extractloopsGravatar akashlal2010-09-04