debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	VS 2010 mode for Chalice: some errors didn't show up in the window because po...	kyessenov	2010-08-20
*	Chalice: turn asserts into assumes for method refinements (use -noFreeAssume ...	kyessenov	2010-08-19
*	Chalice:	kyessenov	2010-08-18
*	Chalice: add pre-conditions to specification statements; semantically spec st...	kyessenov	2010-08-13
*	Chalice: accept many input files at once; read from stdin if no input file sp...	kyessenov	2010-08-12
*	Chalice: put classes and objects into package "chalice"	kyessenov	2010-08-11
*	Chalice: forcefully kill Boogie with taskkill /T /F on termination	kyessenov	2010-08-10
*	Chalice: terminate Boogie subprocess manually on interrupt; Z3 still stays al...	kyessenov	2010-08-06
*	Chalice:	kyessenov	2010-07-30
*	Chalice: added surface syntax for acc(s[].) and acc(s[*].f); extended AST, ...	kyessenov	2010-07-20
*	Chalice: revert minor commit; add cygwin python make script	kyessenov	2010-07-15
*	Chalice: fix a bug for boogie print-out of a sequence class	kyessenov	2010-07-15
*	Chalice:	rustanleino	2010-06-25
*	Chalice: Implemented -vs switch, for use when running Chalice from inside Vi...	rustanleino	2010-01-15
*	- the "-gen" option works only if the program verifies	jansmans	2009-10-16
*	Implemented -noDeadlockChecks mode. With this mode, it is possible to give s...	rustanleino	2009-10-01
*	Parse channels and condition variables.	rustanleino	2009-08-05
*	Initial set of files.	mikebarnett	2009-07-15