debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Use explicit mechanism for skipping to the next assertion	MichalMoskal	2011-02-17
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
*	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
*	Skip "(assert true)" in output; skip "Linearing..." messages when they are fast	MichalMoskal	2011-02-16
*	Use SMT2 top-level syntax	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 prove...	MichalMoskal	2011-02-11
*	Make the SMTLIB backend work again, particularly with /typeEncoding:m	MichalMoskal	2011-01-19
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Committing my port of the SMTLib project	tabarbe	2010-07-22
*	Boogie: Renaming the source files for the SMTLib project in preparation for c...	tabarbe	2010-07-22