debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
\|
*	release build should not have z3api being built	Unknown	2011-07-28
\|
*	Added a new solution configuration, Checked, that builds the Checked ↵	mikebarnett	2011-03-07
\| \| \| \|	configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration.
*	Copy SMTLib "prover" as a basis for TPTP "prover".	MichalMoskal	2011-01-18
\|
*	Factored out the ParserHelper class into a separate project and updated the ↵	wuestholz	2010-12-02
\| \| \| \| \| \|	files generated by Coco/R. This was done to support sharing of the Coco/R .frame files with Spec#.
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12
\|
*	Starting work on Boogie Model Viewer.	MichalMoskal	2010-10-12
\|
*	Update to VS2010.	MichalMoskal	2010-10-07
\|
*	created a new build target called z3apidebug.	qadeer	2010-08-29
\| \| \| \| \|	only this target has a compile time dependency on Microsoft.Z3.dll. To compile this target, a reference to z3api must be manually added to BoogieDriver.
*	Boogie: Changed the cce classes into one separate project, which every other ↵	tabarbe	2010-08-27
\| \| \| \|	project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods.
*	Boogie: Added Z3api to the build configuration.	tabarbe	2010-08-27
\|
*	Boogie: Basetypes port 3/3: Committing changed references	tabarbe	2010-08-27
\| \| \| \|	Z3api.csproj shouldn't get in the way this time 'round.
*	Boogie: Graph port 3/3: Committing changed references; also, adding back cce ↵	tabarbe	2010-08-27
\| \| \| \|	files, to ease between-project conflict. Will trim these back off after commit of Basetypes port in ~20 min.
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to ↵	tabarbe	2010-08-26
\| \| \| \|	Core to jive with recent changes made to the cce class.
*	Boogie: Committing changed references	tabarbe	2010-08-20
\|
*	Added the port of Z3api. It is simply a port to the latest version of ↵	qadeer	2010-08-20
\| \| \| \|	Microsoft.Z3.dll and to C#. It does not work yet.
*	Boogie: Committing changed references	tabarbe	2010-08-13
\|
*	Also build Boogie and Dafny projects in 32-bit configurations.	rustanleino	2010-07-30
\| \| \| \|	Don't insist on DafnyDriver picking up the LKG version (1.0.21125.0) of the Spec# runtime (in fact, most builders will probably have 1.0.21126.0).
*	Boogie: VCGeneration port part 3/3: Updating sources to reference new ↵	tabarbe	2010-07-28
\| \| \| \|	project; making Core work with the port by removing the nonnull requirements on one abstract method.
*	Boogie: Committing my port of simplify, along with the slightly changed ↵	tabarbe	2010-07-23
\| \| \| \|	references of simplify's dependents.
*	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 ↵	tabarbe	2010-07-16
\| \| \| \| \| \|	regressions, although DAFNY NEEDS TO BE REBUILT TO RECOGNIZE the changed AbsInt DLL. Address any error complaints to t-abarbe@microsoft.com
*	Boogie/Isabelle: Committing Isabelle port	tabarbe	2010-07-14
\|
*	<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the ↵	tabarbe	2010-07-14
\| \| \| \| \| \| \|	changes made to the .csproj and Boogie.sln file that are necessary for the port. My Microsoft alias is t-abarbe, so if any of this stuff breaks for you, you can contact me. </BoogieDriver> </Boogie>
*	Boogie: Added stratified inlining. It is enabled using the flag ↵	akashlal	2010-07-07
\| \| \| \|	/stratifiedInline:1.
*	Added prover plugin for Isabelle/HOL.	sboehme	2009-12-14
\|
*	Initial set of files.	mikebarnett	2009-07-15