debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	ignore Chalice/bin	Rustan Leino	2012-09-10
*	Add some Mono/MonoDevelop files to .hgignore	Peter Collingbourne	2012-07-09
*	GPUVerify: add beginnings of a test suite	Peter Collingbourne	2012-07-04
*	Temp file added as one to ignore.	Unknown	2012-04-10
*	Semi-automatic merge.	stefanheule	2012-02-25
\|\
* \|	Chalice: update hgignore file to account for new test category	stefanheule	2012-02-25
\| *	Dafny: Fixed a bug in the pretty printer.	wuestholz	2011-12-26
\| *	Ignore more temporary files.	wuestholz	2011-12-02
\| *	Ignore Chalice/bin directory	Rustan Leino	2011-09-30
\| *	Added build version stamping for Houdini.dll	stobies	2011-09-05
\| *	Chalice: Added a script gathering all files necessary and/or of interest for ...	mschwerhoff	2011-08-18
\| *	Dafny: Fixed a bug in the printer that led to a stack overflow.	wuestholz	2011-08-11
\|/
*	Chalice: Add regression tests for all fixed bugs and separate the tests in 'e...	stefanheule	2011-08-03
*	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 fine-gra...	stefanheule	2011-07-05
*	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
*	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