debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Refactoring, and work on race checking contracts	Unknown	2011-11-09
\|
*	moved GPUVerify into its own solution	qadeer	2011-11-08
\|
*	Additions to GPU Verify for paper submission.	Unknown	2011-11-08
\|
*	Started working on inter-procedural inference	Unknown	2011-09-30
\|
*	Changes to GPUVerify	Unknown	2011-09-30
\|
*	Refactoring and reorganisation of GPUVerify	Unknown	2011-09-30
\|
*	Added missing files	Unknown	2011-09-29
\|
*	Made use of Houdini optional	Unknown	2011-09-29
\|
*	Progress on GPUVerify	Unknown	2011-09-27
\|
*	Various changes to GPUVerify	Unknown	2011-09-08
\|
*	Completed basic version of GPUVerify tool	Unknown	2011-09-07
\|
*	Added driver script and GPUVerify libary. The driver script works around ↵	Unknown	2011-09-06
\| \| \| \|	the fact that Boogie does not do deep cloning of expressions when turning a structured program into an unstructured one.
*	Added GPUVerify project	Unknown	2011-09-02