debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	Chalice: Switch to latest Scala release (there seems to be a compiler bug wit...	stefanheule	2012-09-12
*	Chalice: Remove accidental changes to chalice.bat.	stefanheule	2012-09-05
*	Chalice: reapplied changes from changeset	Unknown	2012-09-03
*	Intermediate version of implementation with two masks per predicate. #m_calc ...	Unknown	2012-08-09
*	Chalice: Added /boogieOpt:noinfer to chalice.bat in order to run Boogie witho...	mschwerhoff	2012-03-26
*	Chalice: Fix chalice.bat to work with paths that contain spaces.	stefanheule	2012-02-27
*	Chalice: Fix chalice.bat.	Unknown	2012-02-27
*	Adapted batch file to use larger JVM stack size.	peter mueller peter.mueller@inf.ethz.ch	2011-09-19
*	Chalice: Modified chalice.bat s.t. it checks if all Java classpath elements e...	mschwerhoff	2011-09-19
*	Chalice: Modified chalice.bat s.t. it uses the Scala libraries downloaded but...	mschwerhoff	2011-09-16
*	Chalice: Improve command line interface. Unknown options are no longer silent...	stefanheule	2011-08-03
*	Chalice: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02
*	Chalice: Fix batch file problem and update reference output.	stefanheule	2011-07-19
*	Chalice: New permission model that provides more abstraction and more flexibi...	stefanheule	2011-07-01