Commit message (Expand) | Author | Age | |
---|---|---|---|
* | bug fix for interaction between inlining and loops | 2013-01-04 | |
* | fixed bug in the inlineDepth option for houdini | 2011-11-23 | |
* | added the option /inlineDepth:n. This option defaults to -1. If the user prov... | 2011-11-13 | |
* | Boogie: Get rid of {:inline} attributes on axioms | 2011-10-27 | |
* | Remove a testcase for bvInt (feature to be killed soon) | 2011-02-18 | |
* | Boogie: | 2010-02-20 | |
* | Fixed the implementation of inlining to deal with inlining depth properly. | 2010-01-30 | |
* | Fixed problem where nullary function with definition had caused a crash. | 2009-08-07 | |
* | Initial set of files. | 2009-07-15 |