summaryrefslogtreecommitdiff
path: root/Test/stratifiedinline
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Enabled the "Stratified inlining benchmarks" lit tests.Gravatar Dan Liew2014-05-07
* added a test to check for stackoverflowexceptionGravatar akashlal2014-01-07
* Recursive walking of Exprs doesn't play nice when the depth of the AST is high.Gravatar akashlal2014-01-07
* and a test caseGravatar akashlal2013-10-25
* And a test caseGravatar akashlal2013-10-21
* fixed bug introduced by the last checkin in letvciterativeGravatar qadeer2013-09-08
* more refactoring in stratified inliningGravatar qadeer2012-05-24
* UseLabels=false when stratified inline is onGravatar qadeer2012-04-29
* removed proccopybounding codeGravatar qadeer2012-04-28
* Added test to stratified inlining.Gravatar Unknown2012-04-24
* small fixGravatar qadeer2012-04-04
* Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...Gravatar Rustan Leino2011-10-27
* implemented /UseUnsatCoreForInlining option for use in stratified inliningGravatar qadeer2011-02-06
* Dafny:Gravatar rustanleino2010-09-14
* Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...Gravatar akashlal2010-07-07