summaryrefslogtreecommitdiff
path: root/Source/Core/Absy.cs
Commit message (Expand)AuthorAge
* 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-12-02 02:15:28 +0000