| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Also build Boogie and Dafny projects in 32-bit configurations. |  rustanleino | 2010-07-30 |
| * | Boogie: VCGeneration port part 3/3: Updating sources to reference new project... | tabarbe | 2010-07-28 |
| * | Boogie: Committing my port of simplify, along with the slightly changed refer... | tabarbe | 2010-07-23 |
| * | Boogie: Committing my port of the SMTLib project | tabarbe | 2010-07-22 |
| * | Boogie: Committing ported version of Z3. | tabarbe | 2010-07-20 |
| * | Boogie: I have successfully ported the AbsInt project. It passes all regress... | tabarbe | 2010-07-16 |
| * | Boogie/Isabelle: Committing Isabelle port | tabarbe | 2010-07-14 |
| * | <Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan... | tabarbe | 2010-07-14 |
| * | Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn... | akashlal | 2010-07-07 |
| * | Added prover plugin for Isabelle/HOL. | sboehme | 2009-12-14 |
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |