debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	SMTLib: Only use (set-logic ...) when requested; quote some more symbols	Michal Moskal	2011-06-30
*	Removed tab characters.	Jason Koenig	2011-06-29
*	Merge	Jason Koenig	2011-06-29
\|\
* \|	Added returns with parameters to printer.	Jason Koenig	2011-06-29
* \|	Fixed bug in compiler relating to returns with parameters.	Jason Koenig	2011-06-29
* \|	Stable implementation of return statements with parameters.	Jason Koenig	2011-06-29
* \|	Made Receiver mutable, as this cannot be linked properly by the parser.	Jason Koenig	2011-06-29
\| *	Merge	Rustan Leino	2011-06-29
\| \|\
\| * \|	Boogie: use (WEIGHT 0) with the select-of-store axioms	Rustan Leino	2011-06-29
* \| \|	Initial implementation of return statments with parameters.	Jason Koenig	2011-06-29
\| \|/ \|/\|
* \|	Removed development comments.	Jason Koenig	2011-06-29
* \|	Merge	Jason Koenig	2011-06-28
\|\ \
* \| \|	Initial modifies on loops implementation. Still some errors remaining.	Jason Koenig	2011-06-28
\| * \|	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
* \|	Call PostOrderVisitIterative by default	Unknown	2011-06-26
* \|	Added an iterative version of PostOrderVisit (but it is not called)	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
* \|	further refactoring	qadeer	2011-06-24
* \|	fixes to z3api	qadeer	2011-06-24
* \|	Merge	qadeer	2011-06-23
\|\ \
* \| \|	implementation of iterative LetVC	qadeer	2011-06-23
\| * \|	Merge	Jason Koenig	2011-06-23
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Added loop modifies clause syntax.	Jason Koenig	2011-06-23
\| \|/
* \|	Didn't intend to include Z3api by default	Unknown	2011-06-23
* \|	Bug fix for trace generation with extractLoop option	Unknown	2011-06-23
\|\ \
* \| \|	Bug fix for trace generation with extractLoop option	Unknown	2011-06-23
\| * \|	clean up in z3api	qadeer	2011-06-22
\|/ /
* \|	Merge	qadeer	2011-06-22
\|\\|
* \|	various fixes to port to latest version of Microsoft.Z3.dll	qadeer	2011-06-22
\| *	Dafny: bug fix in generating IsCanonicalBoolBox predicates	Rustan Leino	2011-06-21
\|/
*	Dafny: better error message when "decreases *" is attempted on a function or ...	Rustan Leino	2011-06-20
*	Merge	Rustan Leino	2011-06-20
\|\
* \|	Dafny: fixed accidental omission of CaptureState after some assignments	Rustan Leino	2011-06-16
\| *	bug fix in live variable analysis	qadeer	2011-06-14
\| *	Add a string for an uninterpreted value in errModel	Unknown	2011-06-06
\|/
*	Dafny: added implicit datatype query fields and datatype destructor fields	Rustan Leino	2011-06-05
*	Boogie: white-space formating	Rustan Leino	2011-06-05
*	Dafny: compiler fixes	Rustan Leino	2011-05-31
*	Dafny: compile multi-assignments, compile calls with more general LHSs	Rustan Leino	2011-05-31
*	Dafny: translate call statements with fancy LHSs	Rustan Leino	2011-05-31
*	Dafny: Translate general LHSs for var and := (not yet for call, no compilatio...	Rustan Leino	2011-05-30
*	Dafny: changed syntax of havoc statements from "havoc X;" to "X := *;"	Rustan Leino	2011-05-28
*	Dafny: added constructors	Rustan Leino	2011-05-28
*	Merge	Rustan Leino	2011-05-27
\|\
* \|	Dafny: fixed parsing bug that prevented all expressions from occurring in mat...	Rustan Leino	2011-05-27
\| *	Merge	Rustan Leino	2011-05-27
\| \|\
\| * \|	Dafny:	Rustan Leino	2011-05-27