debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Make the SMTLIB backend work again, particularly with /typeEncoding:m	MichalMoskal	2011-01-19
*	Ignore TPTP dlls	MichalMoskal	2011-01-19
*	Fix a bug in distinct() encoding	MichalMoskal	2011-01-19
*	More structuring of the different heap representations. Now each heap represe...	mikebarnett	2011-01-19
*	Removed HeapVariable from everywhere now that it is encapsulated in the Heap ...	mikebarnett	2011-01-19
*	Boogie build succeeded, 4 test(s) failed	codeplexbot	2011-01-19
*	Removing resolution: there's no need to resolve field references in order to ...	mikebarnett	2011-01-18
*	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
*	The beginning of the encapsulation of the Heap representation so that we can ...	mikebarnett	2011-01-17
*	More user-friendly canonical names	MichalMoskal	2011-01-17
*	Fix translation of "null" so that it produces a type-correct value.	mikebarnett	2011-01-16
*	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
*	Boogie build succeeded, 4 test(s) failed	codeplexbot	2011-01-13
*	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
*	Display full name of node in tooltip	MichalMoskal	2011-01-13
*	Dafny: Fixed some build issues with duplicated and malformed Code Contracts.	rustanleino	2011-01-13
*	Chalice: Applied patch 7685, this fixes a small bug that duplicated members a...	alexanderjsummers	2011-01-12
*	Applied patch 7636 - this fixes workitem 9978	alexanderjsummers	2011-01-12
*	Dafny: Fixed error in printing an error message. Changed "function method" ...	rustanleino	2011-01-11
*	Boogie build succeeded, 5 test(s) failed	codeplexbot	2011-01-11
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2011-01-10
*	Boogie: Updated 'PrepareBoogieZip.ba?t'.	wuestholz	2011-01-10
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2011-01-10
*	Display casted pointers	MichalMoskal	2011-01-04
*	1. Converted assume to assert for the source info	qadeer	2010-12-21
*	stratified inlining: minor fix to the call tree being saved	akashlal	2010-12-21
*	Changed attribute names in the BPL for source context assumption statements.	mikebarnett	2010-12-21
*	Use an explicit PdbReader instead of the more general ISourceLocationProvider...	mikebarnett	2010-12-21
*	added support for array translation.	qadeer	2010-12-20
*	fixed a small bug in inline code	qadeer	2010-12-20
*	Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...	mikebarnett	2010-12-20
*	Translate boolean types into Bpl.Type.Bool.	mikebarnett	2010-12-20
*	stratified inlining: record the name of the main procedure.	akashlal	2010-12-18
*	Improve handling of arrays embedded in structs	MichalMoskal	2010-12-17
*	Add new feature: {:selective_checking} on procedures. See testcase for a desc...	MichalMoskal	2010-12-17
*	Add functions generated in lambda-expansion of function body to top-level pro...	MichalMoskal	2010-12-17
*	Chalice: this fixes a bug (an unsoundness) that arose in when a program combi...	mueller	2010-12-16
*	A couple of bug fixes	akashlal	2010-12-16
*	fixed a couple of issues:	qadeer	2010-12-16
*	Better handling of user provided skolem variables	MichalMoskal	2010-12-16
*	Search in long names, not the short ones	MichalMoskal	2010-12-16
*	Added Alloc implementation to the Prelude	qadeer	2010-12-15
*	Cleanup up the inlining code	qadeer	2010-12-15
*	Added a new option for splitting fields	qadeer	2010-12-15
*	Changed the behavior of /doModSetAnalysis so that	qadeer	2010-12-15
*	Display ghost locals	MichalMoskal	2010-12-15
*	Add reload-model option. Bugfixes when switching models	MichalMoskal	2010-12-15