debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	Minor change	wuestholz	2015-01-26
*	Did more refactoring.	wuestholz	2014-09-23
*	Add alpha equivalence check for Expr, and use it when lambda lifting	Dan Rosén	2014-08-01
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
*	Fixed issue involving axioms in the dependency analysis used for verification...	wuestholz	2014-07-03
*	Changed the 'verifySnapshots' command-line option to accept a numeric argumen...	wuestholz	2014-06-20
*	Change class 'LambdaVisitor' to attach checksum to expanded lambda functions.	wuestholz	2014-03-17
*	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
*	Changed return type of VisitLambdaExpr to just Expr	Rustan Leino	2014-02-27
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
*	Make set iteration order deterministic	Michal Moskal	2011-12-07
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20