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