debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Accomodate for recent changes in Z3 V2 model format	MichalMoskal	2011-02-18
*	Ask Z3 to generate models, in V2 format, when needed	MichalMoskal	2011-02-18
*	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
*	Expose ToByteArray()	MichalMoskal	2011-02-18
*	Dafny:	rustanleino	2011-02-17
*	Boogie: Fixed problem with binding power of .[.] versus type coercions in pre...	rustanleino	2011-02-17
*	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
*	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
*	Add IEnumerable.Iter	MichalMoskal	2011-02-17
*	Kill {:prover "..."} attribute support; no one ever used this stuff	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
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	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
*	Add VCExprNAry.UniformArguments property to return arguments of nested And/Or...	MichalMoskal	2011-02-15
*	Add some extension methods to IEnumberable<T>	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
*	Fix with timeout	akashlal	2011-02-12
*	Better support for timeout	akashlal	2011-02-12
*	Fix a bug in cloning of nested lambda expressions in AI engine	MichalMoskal	2011-02-11
*	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
*	Get rid of some warnings.	MichalMoskal	2011-02-11
*	Minor change to stratified inlining	akashlal	2011-02-11
*	Changed the API for Declaration.AddAttribute so it takes a params argument so...	mikebarnett	2011-02-09
*	Boogie: Yet another refinement of how Z3 is found. Previously, it would only...	rustanleino	2011-02-09
*	Added a new method StratifiedVC for refinement.	akashlal	2011-02-08
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
*	deleted debugging statement	akashlal	2011-02-05
*	Fix to counterexample generation for over-approx query	akashlal	2011-02-05
*	Dafny: every decreases clause implicitly ends with a never-ending sequence of...	rustanleino	2011-02-03
*	Dafny: allow self-calls in function postconditions--these simply refer to the...	rustanleino	2011-02-03
*	Dafny: implemented a more precise scheme for allowing use of a function's rep...	rustanleino	2011-02-03
*	Dafny: replaced the user-defined $ite function with Boogie's built-in if-then...	rustanleino	2011-02-03