debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Make the dependency analysis for snapshot verification take 'where' clauses ↵	wuestholz	2013-07-30
\| \| \| \|	into account.
*	Added an option to verify each input file separately.	wuestholz	2013-07-05
\|
*	Worked on improving program snapshot verification.	wuestholz	2013-06-10
\|
*	Worked on improving program snapshot verification.	wuestholz	2013-06-05
\|
*	Fixed an issue with discovering program snapshots.	wuestholz	2013-06-03
\|
*	Added a feature for verifying several program snapshots (incl. result ↵	wuestholz	2013-06-02
	caching and prioritization).