summaryrefslogtreecommitdiff
path: root/Source/Boogie.sln
Commit message (Expand)AuthorAge
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
* Adding fixedpoint engine backendGravatar Ken McMillan2013-05-07
* bunch of refactoringsGravatar Unknown2012-10-03
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* Removed abandoned Isabelle prover backendGravatar boehmes2012-09-27
* testing a fix in SIGravatar qadeer2012-06-07
* Trying to merge with recent changes, failing.Gravatar Ken McMillan2012-06-05
|\
| * Some changes to support expanded use of z3api.Gravatar Ken McMillan2012-06-05
* | further fixes related to using uninterpreted function for error tracesGravatar qadeer2012-02-25
|/
* moved GPUVerify into its own solutionGravatar qadeer2011-11-08
* Fixed test failures in the "Checked" configuration.Gravatar wuestholz2011-09-19
* Added GPUVerify projectGravatar Unknown2011-09-02
* ported Houdini to C#, added Houdini project to the Boogie solutionGravatar qadeer2011-08-03
* release build should not have z3api being builtGravatar Unknown2011-07-28
* Added a new solution configuration, Checked, that builds the Checked configur...Gravatar mikebarnett2011-03-07
* Copy SMTLib "prover" as a basis for TPTP "prover".Gravatar MichalMoskal2011-01-18
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12
* Starting work on Boogie Model Viewer.Gravatar MichalMoskal2010-10-12
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* created a new build target called z3apidebug.Gravatar qadeer2010-08-29
* Boogie: Changed the cce classes into one separate project, which every other ...Gravatar tabarbe2010-08-27
* Boogie: Added Z3api to the build configuration.Gravatar tabarbe2010-08-27
* Boogie: Basetypes port 3/3: Committing changed referencesGravatar tabarbe2010-08-27
* 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