Commit message (Expand) | Author | Age | |
---|---|---|---|
* | UseLabels=false when stratified inline is on | qadeer | 2012-04-29 |
* | eliminated class ErrorModel | qadeer | 2012-04-28 |
* | Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ... | Rustan Leino | 2011-10-27 |
* | Support for irreducible graphs (with extractLoops) | Unknown | 2011-08-24 |
* | Added tests for extractloops | akashlal | 2010-09-04 |