Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fixed a completeness problem in houdini with inlining | 2011-12-18 | |
* | fixed bug in the inlineDepth option for houdini | 2011-11-23 | |
* | changed the semantics of requires and ensures for inlined procedures | 2011-11-17 | |
* | changed inlining code so that candidate preconditions and postconditions are ... | 2011-11-15 | |
* | 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 | |
* | Replaced all dictionaries that mapped to bool (i.e., were being used to imple... | 2011-03-10 | |
* | Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic... | 2011-03-10 | |
* | fixed a small bug in inline code | 2010-12-20 | |
* | Cleanup up the inlining code | 2010-12-15 | |
* | Boogie: Committing changed source files | 2010-08-20 | |
* | Boogie: Renaming core sources in preparation for port commit | 2010-08-20 |