debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Allow use ErrorModel as a container for Model - make -mv work with SMTLib on Z3	MichalMoskal	2011-02-18
\|
*	Ask Z3 to generate models, in V2 format, when needed	MichalMoskal	2011-02-18
\| \| \| \| \|	Add supported :prover commands Minor fixes
*	Handle /useArrayTheory	MichalMoskal	2011-02-18
\|
*	Intercept Z3 warnings and pass them on	MichalMoskal	2011-02-18
\|
*	Remove workaround for Z3 scanner problems (fixed now); fix one comment	MichalMoskal	2011-02-18
\|
*	Recognize () as identifier terminators	MichalMoskal	2011-02-18
\|
*	Handle bitvectors	MichalMoskal	2011-02-18
\|
*	Use explicit mechanism for skipping to the next assertion	MichalMoskal	2011-02-17
\|
*	Disable MBQI and AUTO_CONFIG	MichalMoskal	2011-02-17
\|
*	Kill the solver process when ctrl-c is pressed	MichalMoskal	2011-02-17
\|
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
\| \| \| \| \|	Add /p:O:<name>=<value> and /p:C:<solver-argument> prover options in SMT. Add default Z3 options when using Z3.
*	Read prover responses; handle labels	MichalMoskal	2011-02-17
\|
*	Make it possible to run Z3 on pipe; use generic PROVER_LOG options	MichalMoskal	2011-02-17
\|
*	Don't use Simplify's LogProverInterface	MichalMoskal	2011-02-17
\|
*	Indentation.	MichalMoskal	2011-02-17
\|
*	Start implementation of pipe communication in SMTLIB backend	MichalMoskal	2011-02-17
\|
*	Fix printing of type-proxies	MichalMoskal	2011-02-16
\|
*	Bugfixes in select-of-store axioms	MichalMoskal	2011-02-16
\|
*	Skip "(assert true)" in output; skip "Linearing..." messages when they are fast	MichalMoskal	2011-02-16
\|
*	Fix let scoping	MichalMoskal	2011-02-15
\|
*	Workaround bug in Z3 SMT parser	MichalMoskal	2011-02-15
\|
*	Use SMT2 top-level syntax	MichalMoskal	2011-02-15
\|
*	Use the new UniformArguments property; formatting	MichalMoskal	2011-02-15
\|
*	Print terms in SMT2 syntax (drop term/formula distinction)	MichalMoskal	2011-02-15
\|
*	Move name-quoting (already for SMT2 not SMT1) into a seprate class	MichalMoskal	2011-02-15
\|
*	Add USE_PREDICATES option to TPTP and SMT provers	MichalMoskal	2011-02-11
\|
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP ↵	MichalMoskal	2011-02-11
\| \| \| \|	provers. Add handling of help message about /proverOpt.
*	Make the SMTLIB backend work again, particularly with /typeEncoding:m	MichalMoskal	2011-01-19
\|
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
\| \| \| \|	Select 4.0 client profile on all projects
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
\|
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ↵	qadeer	2010-11-27
\| \| \| \|	Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.
*	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: Removed some errors with code contracts (commenting out ↵	tabarbe	2010-08-27
\| \| \| \|	doubly-inherited requires statements), and set the code contracts settings to the correct compilation style for when runtime checking is turned on. (I did not turn on runtime checking, however).
*	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: 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
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Committing changed references	tabarbe	2010-08-13
\|
*	Boogie: Added boolean code expressions (sans well-formedness checks on the ↵	rustanleino	2010-08-10
\| \| \| \|	input).
*	Fixup line-endings.	MichalMoskal	2010-08-06
\|
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	Boogie: The deletion of those files did not hold, lemme try again.	tabarbe	2010-07-30
\|
*	Boogie: Removed cce.cs's from the provers, because they all reference ↵	tabarbe	2010-07-30
\| \| \| \|	projects which have a (more up-to-date) copy of cce.cs.
*	Made consistent the way all of the C# projects sign themselves and include ↵	mikebarnett	2010-07-30
\| \| \| \|	the version information.
*	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.
*	Fixed reference to VCGeneration project. Mistakenly checked in project files ↵	mikebarnett	2010-07-28
\| \| \| \|	were pointing to the yet-to-exist C# version.
*	Boogie Provers: Changed the references from binary to project references.	tabarbe	2010-07-27
\|