| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |