debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Don't set logic to UFNIA when /useArrayTheory	Michal Moskal	2011-05-09
\|
*	Add tickleBool	MichalMoskal	2011-02-18
\|
*	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.
*	Make it possible to run Z3 on pipe; use generic PROVER_LOG options	MichalMoskal	2011-02-17
\|
*	Workaround bug in Z3 SMT parser	MichalMoskal	2011-02-15
\|
*	Background predicate for SMT2	MichalMoskal	2011-02-15