Commit message (Expand) | Author | Age | |
---|---|---|---|
* | more refactoring in stratified inlining | 2012-05-24 | |
* | UseLabels=false when stratified inline is on | 2012-04-29 | |
* | removed proccopybounding code | 2012-04-28 | |
* | Added test to stratified inlining. | 2012-04-24 | |
* | small fix | 2012-04-04 | |
* | Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ... | 2011-10-27 | |
* | implemented /UseUnsatCoreForInlining option for use in stratified inlining | 2011-02-06 | |
* | Dafny: | 2010-09-14 | |
* | Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn... | 2010-07-07 |