Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Boogie: | rustanleino | 2010-09-23 |
* | Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome. | akashlal | 2010-09-18 |
* | Dafny: | rustanleino | 2010-09-14 |
* | Fix for extractLoops | akashlal | 2010-09-04 |
* | Added a way of recovering counterexample paths after loop extraction. Stable,... | akashlal | 2010-09-01 |
* | Boogie: Removed a completed task comment | tabarbe | 2010-08-19 |
* | Added the option /extractLoops to extract loops as procedure calls. If eithe... | qadeer | 2010-08-11 |
* | Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter... | tabarbe | 2010-07-30 |
* | <Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan... | tabarbe | 2010-07-14 |
* | Renaming the old boogiedriver sources in preparation for syncing my ported ch... | tabarbe | 2010-07-13 |
* | These 2 files are remnants of attempting the earlier planned method of renami... | tabarbe | 2010-07-01 |
* | I am working to port Boogie from Spec# to C#. As part of this process, I nee... | tabarbe | 2010-06-30 |