summaryrefslogtreecommitdiff
path: root/Source/Core/Inline.cs
Commit message (Expand)AuthorAge
* Added a little bit of virtual-ness to the Inliner class. This is so that I canGravatar akashlal2013-04-28
* bug fix for interaction between inlining and loopsGravatar Unknown2013-01-04
* changed behavior of InlinedEnsures so that free ensures is skipped unless an ...Gravatar qadeer2012-06-01
* fixed a completeness problem in houdini with inliningGravatar qadeer2011-12-18
* fixed bug in the inlineDepth option for houdiniGravatar qadeer2011-11-23
* changed the semantics of requires and ensures for inlined proceduresGravatar qadeer2011-11-17
* changed inlining code so that candidate preconditions and postconditions are ...Gravatar qadeer2011-11-15
* added the option /inlineDepth:n. This option defaults to -1. If the user prov...Gravatar qadeer2011-11-13
* Boogie: Get rid of {:inline} attributes on axiomsGravatar Michal Moskal2011-10-27
* Replaced all dictionaries that mapped to bool (i.e., were being used to imple...Gravatar mikebarnett2011-03-10
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* fixed a small bug in inline codeGravatar qadeer2010-12-20
* Cleanup up the inlining codeGravatar qadeer2010-12-15
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20