debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: By default use the new stdin method to pass the Boogie program to Bo...	stefanheule	2012-03-13
*	Chalice: Command line option /noBplFile that directly passes the intermediate...	stefanheule	2012-03-10
*	Chalice: Catch errors during type-checking and parsing, just like for the tra...	stefanheule	2012-03-09
*	Merge (Make Chalice AST accessible to other tools)	Christian Klauser	2012-01-20
\|\
\| *	Chalice: break main method into multiple methods, so that other tools can acc...	Christian Klauser	2012-01-20
* \|	Chalice: added more standard file(line,col) error-message output, currently u...	Rustan Leino	2012-01-19
* \|	Chalice: partial fixes to the broken refinement extension regression tests.	Kuat Yessenov	2011-12-21
\|/
*	Chalie: Fix Visual Studio integration and add note about JVM stack size probl...	stefanheule	2011-08-04
*	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