debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Options.PostParse() is called by Parse(), so set command-line-derived options...	Michal Moskal	2011-08-30
*	Bug fix for Proc-Copy-Bounding	Unknown	2011-08-28
*	Procedure Copy Bounding for Stratified Inlinig	Unknown	2011-08-25
*	reverting irreducible handling temporarily	qadeer	2011-08-21
\|\
* \|	added code to handle irreducible graphs	qadeer	2011-08-20
* \|	minor refactoring	qadeer	2011-08-17
* \|	deleted lazyinlining option 2 and 3	qadeer	2011-08-17
* \|	Added "procedure-copy bounding" for lazy inlining	Unknown	2011-08-10
* \|	further changes for making houdini work	qadeer	2011-08-04
\|/
*	ported all the counterexample code to Michal's new Model class; the goal is t...	Unknown	2011-06-27
*	Fixed non-incremental option of stratified inlining	Unknown	2011-06-27
*	FindLeastToVerify: accept multiple procedures	Unknown	2011-06-26
*	Avoid restarting the theorem prover for stratified inlining because it	Unknown	2011-06-25
*	early clearing of live variables and incarnation maps	qadeer	2011-06-24
*	implementation of iterative LetVC	qadeer	2011-06-23
*	Bug fix for trace generation with extractLoop option	Unknown	2011-06-23
*	Add a string for an uninterpreted value in errModel	Unknown	2011-06-06
*	LetVC can get null label2absy from lazy inlining. So, I weakened the precond...	qadeer	2011-05-03
*	modified letvc generation so that the use of control flow function and labels...	qadeer	2011-04-15
*	merge	Unknown	2011-04-14
\|\
* \|	added reachability information to the VC and used that to support arbitrary a...	Unknown	2011-04-14
\| *	Stratified Inlining: minor bux fix with recording model values	Unknown	2011-04-14
\|/
*	Minor fixes	schaef	2011-03-27
*	Boogie: fixed contract violation in stratified inlining	rustanleino	2011-03-23
*	Print recorded value of any type	akashlal	2011-03-21
*	Bug fix with model generation.	akashlal	2011-03-21
*	minor fix with loopy counterexample generation	akashlal	2011-03-18
*	Print out requested values in the counterexample trace	akashlal	2011-03-17
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
*	new algorithm for dead code detection (vc:doomed)	schaef	2011-03-15
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
*	Replaced all dictionaries that mapped to bool (i.e., were being used to imple...	mikebarnett	2011-03-10
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Updated PrepareBoogieZip.bat to include BVD and smt2	rustanleino	2011-03-10
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Handle as-array[...] model elements	MichalMoskal	2011-02-23
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
*	Throw exceptions when push/pop interface is used but not implemented	MichalMoskal	2011-02-23
*	Implement Push/Pop interface.	MichalMoskal	2011-02-23
*	Move model printing to ErrorModel class	MichalMoskal	2011-02-21
*	Allow use ErrorModel as a container for Model - make -mv work with SMTLib on Z3	MichalMoskal	2011-02-18
*	Kill {:prover "..."} attribute support; no one ever used this stuff	MichalMoskal	2011-02-17
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Fix with timeout	akashlal	2011-02-12
*	Better support for timeout	akashlal	2011-02-12
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...	MichalMoskal	2011-02-11
*	Minor change to stratified inlining	akashlal	2011-02-11
*	Added a new method StratifiedVC for refinement.	akashlal	2011-02-08
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06