summaryrefslogtreecommitdiff
path: root/Source/Core/Absy.cs
Commit message (Expand)AuthorAge
* Boogie: white-space formatingGravatar Rustan Leino2011-06-05
* Boogie: added features to help with modular verification. In particular, defi...Gravatar Rustan Leino2011-05-13
* Add labels to extracted procedures for loopsGravatar akashlal2011-03-14
* Changed the API for Declaration.AddAttribute so it takes a params argument so...Gravatar mikebarnett2011-02-09
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* a bug fix in the loop extraction codeGravatar qadeer2010-10-19
* Boogie:Gravatar rustanleino2010-10-12
* added an optimization to extract loops so that only loop targets are treated ...Gravatar qadeer2010-09-10
* Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...Gravatar akashlal2010-09-05
* Delete unreachable Blocks of an Impl before calling ExtractLoops().Gravatar akashlal2010-09-05
* Fix for extractLoopsGravatar akashlal2010-09-04
* more fixes to ExtractLoopsGravatar qadeer2010-09-03
* Added a fix to extract loops code so that it returns a more comprehensive map...Gravatar qadeer2010-09-03
* fixed bug in extract loops by ensuring that loop extraction is done in nestin...Gravatar qadeer2010-09-01
* Added a way of recovering counterexample paths after loop extraction. Stable,...Gravatar akashlal2010-09-01
* Added a new class LoopProcedure to represent the procedures representing extr...Gravatar qadeer2010-09-01
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 05:34:48 +0000