debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice: Add regression tests for all fixed bugs and separate the tests in ↵	stefanheule	2011-08-03
\| \| \| \|	'examples' into "read" examples and general tests.
*	Chalice: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02
\|
*	Jennisys: added Jennesys/Jennesys/examples/bak to hgignore	Unknown	2011-07-21
\|
*	Chalice: Completely switch to new testing scripts (more flexible and ↵	stefanheule	2011-07-05
\| \| \| \|	fine-grained testing) and remove old test.bat. New testing scripts are described in Chalice/tests/readme.txt.
*	More files for Hg to ignore	Rustan Leino	2011-05-11
\|
*	Ignored some new files.	Mike Barnett	2011-05-03
\|
*	Add a method to the Sink that is responsible for creating a Boogie expression	Unknown	2011-04-28
\| \| \| \| \|	representing the default value for a type. All clients that need to create a default value should use this.
*	merge changes with shaz's checkin.	Unknown	2011-04-27
\|
*	merging in my changes i committed in 999.	Unknown	2011-04-12
\|
*	Ignore other temporary files, including emacs backup files	Rustan Leino	2011-04-07
\|
*	Ignore generated files	Michal Moskal	2011-04-04