debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Minor changes	Valentin Wüstholz	2015-06-12
*	Fix issue with computation of statement checksums for lambda expressions.	Valentin Wüstholz	2015-06-12
*	Fix issue in checksum computation for lambda expressions.	Valentin Wüstholz	2015-06-12
*	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