debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice: By default use the new stdin method to pass the Boogie program to ↵	stefanheule	2012-03-13
\| \| \| \|	Boogie. Command line options /print and /print:<file> can be used to inspect the Boogie file.
*	Chalice: Command line option /noBplFile that directly passes the ↵	stefanheule	2012-03-10
\| \| \| \|	intermediate program to Boogie.
*	Chalice: Catch errors during type-checking and parsing, just like for the ↵	stefanheule	2012-03-09
\| \| \| \|	translation process.
*	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 ↵	Christian Klauser	2012-01-20
\| \| \| \| \| \| \| \|	access the Chalice AST.
* \|	Chalice: added more standard file(line,col) error-message output, currently ↵	Rustan Leino	2012-01-19
\| \| \| \| \| \| \| \|	under the new /rise4fun switch
* \|	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 ↵	stefanheule	2011-08-04
\| \| \| \|	problems.
*	Chalice: Improve command line interface. Unknown options are no longer ↵	stefanheule	2011-08-03
\| \| \| \|	silently passed to Boogie (but passing them to Boogie is still possible with /boogieOpt), and Chalice shows a message when it expects input from stdin.
*	Chalice: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02