summaryrefslogtreecommitdiff
path: root/Source/Boogie.sln
Commit message (Expand)AuthorAge
* Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...Gravatar tabarbe2010-08-27
* Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...Gravatar tabarbe2010-08-26
* Boogie: Committing changed referencesGravatar tabarbe2010-08-20
* Added the port of Z3api. It is simply a port to the latest version of Micros...Gravatar qadeer2010-08-20
* Boogie: Committing changed referencesGravatar tabarbe2010-08-13
* Also build Boogie and Dafny projects in 32-bit configurations.Gravatar rustanleino2010-07-30
* Boogie: VCGeneration port part 3/3: Updating sources to reference new project...Gravatar tabarbe2010-07-28
* Boogie: Committing my port of simplify, along with the slightly changed refer...Gravatar tabarbe2010-07-23
* Boogie: Committing my port of the SMTLib projectGravatar tabarbe2010-07-22
* Boogie: Committing ported version of Z3.Gravatar tabarbe2010-07-20
* Boogie: I have successfully ported the AbsInt project. It passes all regress...Gravatar tabarbe2010-07-16
* Boogie/Isabelle: Committing Isabelle portGravatar tabarbe2010-07-14
* <Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...Gravatar tabarbe2010-07-14
* Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...Gravatar akashlal2010-07-07
* Added prover plugin for Isabelle/HOL.Gravatar sboehme2009-12-14
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-15 12:10:23 +0000