debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed issue involving axioms in the dependency analysis used for verification...	wuestholz	2014-07-03
*	Optimized the way that assertions are marked as partially verified.	wuestholz	2014-06-26
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Changed the 'verifySnapshots' command-line option to accept a numeric argumen...	wuestholz	2014-06-20
*	Added more tests (snapshots).	wuestholz	2014-05-30
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
*	Added more tests (snapshots).	wuestholz	2014-05-27
*	Enable snapshot test. This test is unusual in that it doesn't	Dan Liew	2014-05-07
*	Make the dependency analysis for snapshot verification take 'where' clauses i...	wuestholz	2013-07-30
*	Added an option to verify each input file separately.	wuestholz	2013-07-05
*	Worked on improving program snapshot verification (automatic prioritization).	wuestholz	2013-06-12
*	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 caching...	wuestholz	2013-06-02