debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	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
*	Dafny: Fixed error in printing an error message. Changed "function method" ...	rustanleino	2011-01-11
*	Display casted pointers	MichalMoskal	2011-01-04
*	stratified inlining: minor fix to the call tree being saved	akashlal	2010-12-21
*	fixed a small bug in inline code	qadeer	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
*	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
*	Cleanup up the inlining code	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
*	Include one more expert level (this need to be rethought I guess).	MichalMoskal	2010-12-14
*	Add information about field being volatile	MichalMoskal	2010-12-14
*	Support arrays and & pseudo-field	MichalMoskal	2010-12-14
*	Add Func.OptEval function and some docs	MichalMoskal	2010-12-14
*	stratified inlining: minor changes to coverage reporter	akashlal	2010-12-13
*	Rework the namer interface a bit	MichalMoskal	2010-12-10
*	Improve type detection	MichalMoskal	2010-12-10
*	Yet another icon update	MichalMoskal	2010-12-10
*	Fix typo	MichalMoskal	2010-12-10
*	Improve the icon	MichalMoskal	2010-12-10
*	Add an icon. Get rid of SearchBox (not used).	MichalMoskal	2010-12-10
*	Boogie: Did some minor refactoring.	wuestholz	2010-12-10