debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: add pre-conditions to specification statements; semantically spec st...	kyessenov	2010-08-13
*	Chalice: add specification statement ( ghost? (const\|var) (x (:T)?)+ [P(x)] )	kyessenov	2010-08-13
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-13
*	Boogie: Committing changed references	tabarbe	2010-08-13
*	Boogie: Adding 1 more necessary source file for VCExpr, removing an unnecessa...	tabarbe	2010-08-13
*	Boogie: Committing new source code for VCExpr	tabarbe	2010-08-13
*	Boogie: Renaming VCExpr sources in preparation for port commit	tabarbe	2010-08-13
*	Chalice: accept many input files at once; read from stdin if no input file sp...	kyessenov	2010-08-12
*	Updated answer to this regression to reflect the fact that it is now verified.	tabarbe	2010-08-12
*	Boogie: This reg test was not running verification.	tabarbe	2010-08-12
*	Added methods to read a file from any Stream object	akashlal	2010-08-12
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-12
*	Chalice: example proving a simple identity (for refinement demonstration), re...	kyessenov	2010-08-12
*	Chalice: put classes and objects into package "chalice"	kyessenov	2010-08-11
*	Added the option /extractLoops to extract loops as procedure calls. If eithe...	qadeer	2010-08-11
*	Chalice: fix "assume false" in the example (intended a spec statement)	kyessenov	2010-08-11
*	Chalice: finite differences with recursion instead of loops	kyessenov	2010-08-10
*	Chalice: added uninterpreted functions; attempting to re-verify Celebrity in ...	kyessenov	2010-08-10
*	Fix the test to use new name for /z3bv option.	MichalMoskal	2010-08-10
*	Fixed a contract	akashlal	2010-08-10
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-10
*	Boogie: Added boolean code expressions (sans well-formedness checks on the in...	rustanleino	2010-08-10
*	Chalice: forcefully kill Boogie with taskkill /T /F on termination	kyessenov	2010-08-10
*	Boogie: Sorry about that - no need for the conditional compilation	tabarbe	2010-08-09
*	Boogie: That file should not have been in the depot, but rather be created lo...	tabarbe	2010-08-09
*	Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.cs	tabarbe	2010-08-09
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-08-08
*	Boogie: Fixed a few line endings	tabarbe	2010-08-06
*	Dafny: Fixed VS 2010 mode to really include all Dafny keywords	rustanleino	2010-08-06
*	Chalice: refinement of a list with nodes (instead of lists pointing to sublists)	kyessenov	2010-08-06
*	Chalice: terminate Boogie subprocess manually on interrupt; Z3 still stays al...	kyessenov	2010-08-06
*	Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the -z3b...	MichalMoskal	2010-08-06
*	More line ending fixups.	MichalMoskal	2010-08-06
*	Fixup line-endings.	MichalMoskal	2010-08-06
*	Boogie: added /z3bv option that overrides the current setting of Z3 options f...	stobies	2010-08-06
*	Reverting accidental check-in	stobies	2010-08-06
*	Remove support for Z3 V1 and clean up parameter processing code for Z3	stobies	2010-08-06
*	Chalice: still cannot verify refinement of List.get (Z3 goes out of memory); ...	kyessenov	2010-08-06
*	Combine version file creation into a single task so we run it for both files	stobies	2010-08-05
*	Boogie: cleanup option handling code for Z3	stobies	2010-08-05
*	Commiting Michal's fix for VC	stobies	2010-08-05
*	Boogie build succeeded	codeplexbot	2010-08-05
*	Chalice: try using output coupling assertion as loop invariant	kyessenov	2010-08-05
*	Chalice: testing refinement of a linked list	kyessenov	2010-08-04
*	Dafny: Made line endings consistent	tabarbe	2010-08-04
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
*	Dafny: Removed trailing spaces in code	tabarbe	2010-08-04
*	Chalice: testing refinement of Counter	kyessenov	2010-08-04
*	Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it...	tabarbe	2010-08-04
*	Boogie build succeeded	codeplexbot	2010-08-04