debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Dafny: removed unused Position argument from CheckWellformed	rustanleino	2011-02-03
*	Dafny: white-space deltas in source code	rustanleino	2011-02-02
*	BVD Dafny: support Skolem constants	rustanleino	2011-02-02
*	Dafny: added ensures clauses to functions	rustanleino	2011-02-02
*	Don't treat "Inconclusive" answer as fatal when splitting.	MichalMoskal	2011-02-02
*	Look for z3.exe in the prover plugin directory first.	MichalMoskal	2011-02-02
*	Improve display of sets; add \now "variable";	MichalMoskal	2011-01-29
*	Fix a bug with previous state display	MichalMoskal	2011-01-28
*	Display stack-allocated structs, as_array types, and *ID in tooltips	MichalMoskal	2011-01-28
*	Display integers in decimal and hexadecimal in tooltip	MichalMoskal	2011-01-27
*	Speedup the number display algorithm, what was I thinking?	MichalMoskal	2011-01-27
*	Display numbers within +-%0.1 of a power of two as 2^N+M	MichalMoskal	2011-01-27
*	Improve colors in source view	MichalMoskal	2011-01-26
*	Simplify state name selection	MichalMoskal	2011-01-26
*	VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...	MichalMoskal	2011-01-26
*	Double-click in state list brings up source view	MichalMoskal	2011-01-26
*	Allow the provider to skip some states when generating SourceLocations	MichalMoskal	2011-01-26
*	Introduce new NamedState base class to reduce code duplication	MichalMoskal	2011-01-26
*	Display line numbers (useful for finding what the error message refers to)	MichalMoskal	2011-01-26
*	Right-clicking on a state allows to display the source code for it	MichalMoskal	2011-01-26
*	Fix handling of addresses of fields	MichalMoskal	2011-01-24
*	Hide #frame functions. Support state functions taking $heap($s).	MichalMoskal	2011-01-24
*	Boogie: Made the algorithm for finding Z3 more robust.	wuestholz	2011-01-21
*	Boogie: Eliminated a couple of warnings by removing unused variable declarati...	wuestholz	2011-01-21
*	Make the SMTLIB backend work again, particularly with /typeEncoding:m	MichalMoskal	2011-01-19
*	Fix a bug in distinct() encoding	MichalMoskal	2011-01-19
*	The TPTP backend works for some very limited examples	MichalMoskal	2011-01-18
*	Copy SMTLib "prover" as a basis for TPTP "prover".	MichalMoskal	2011-01-18
*	More user-friendly canonical names	MichalMoskal	2011-01-17
*	Don't use local variable names as canonical names	MichalMoskal	2011-01-14
*	Make the filename length limit be 30 (as in VCC)	MichalMoskal	2011-01-14
*	Add description of {:selective_checking} to the /attrHelp. Fix the testcase.	MichalMoskal	2011-01-13
*	Display globals. Improve naming of function nodes in long ids.	MichalMoskal	2011-01-13