debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
*	Boogie: removed unreachable or unused code	Rustan Leino	2011-10-27
*	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Boogie: Removed an old task comment	tabarbe	2010-08-19
*	More line ending fixups.	MichalMoskal	2010-08-06
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
*	Boogie: I have successfully ported the AbsInt project. It passes all regress...	tabarbe	2010-07-16
*	Boogie: Renamed the AbsInt sources for use in the port I have done. Regressi...	tabarbe	2010-07-16