Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |