debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Did some refactoring.	wuestholz	2014-09-23
\|
*	Added key check to uniformity analysis	Ally Donaldson	2014-05-27
\|
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions ↵	Rustan Leino	2014-02-24
\| \| \| \| \| \|	of its methods now demand the return value to equal the given node. Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor.
*	Small fix in uniformity analysis	Ally Donaldson	2013-10-10
\|
*	Minor changes to uniformity analysis and inter-procedural reachability analysis.	Ally Donaldson	2013-08-05
\|
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
\|
*	More refactoring	Ally Donaldson	2013-07-22
\|
*	Fixed bug with unifomity analysis	allydonaldson	2013-07-02
\|
*	Staged Houdini	allydonaldson	2013-04-30
\|
*	Fixes to uniformity analysis.	Unknown	2012-11-29
\|
*	bunch of refactorings	Unknown	2012-10-03
	- moved doomed and predication code into separate projects; for doomed there is a static dependency from BoogieDriver but for predication even that dependency has been eliminated - deleted Provers\Simplify and Provers\Z3 - removed Provers\Z3api from the solution - consolidated Core\GraphAlgorithms.cs VCGeneration\GraphAlgorithms.cs into Graph\Graph.cs