debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Remove some old mercurial files.	Dan Liew	2015-04-03
\|
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17
\| \| \| \| \| \| \| \| \|	so developers need to install it via NuGet. There aren't many tests yet. Just a few for Core and Basetypes but hopefully more will be added in the future. More information can be found in Source/UnitTests/README.md
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	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
\| \| \| \| \| \| \| \|	a Chalice release.
\| *	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 ↵	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