debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: added contracts to IRewriter methods	Unknown	2012-06-22
*	Dafny: allow "assume ..." as a refining statement (provided it replaces an "a...	Unknown	2012-06-22
*	Dafny: deal with equality-support issues in refinements	Unknown	2012-06-22
*	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
*	Chalice: Fix bug in PrettyPrinter reported by danieljost (http://boogie.codep...	stefanheule	2012-06-20
*	GPUVerify: make BuildNamedDefVisitor and SubstDualisedDefVisitor Duplicators	Peter Collingbourne	2012-06-20
*	merge with Peter's changes	qadeer	2012-06-20
*	Merge	qadeer	2012-06-20
\|\
\| *	GPUVerify: fix constant offset invariant generation for the case where no con...	Peter Collingbourne	2012-06-20
\| *	Block predicator: handle StateCmd	Peter Collingbourne	2012-06-20
* \|	a bug fix	qadeer	2012-06-19
* \|	another edit for predication	qadeer	2012-06-19
* \|	Merge	qadeer	2012-06-19
\|\\|
* \|	integrating predication	qadeer	2012-06-19
\| *	Merge	Unknown	2012-06-19
\| \|\ \| \|/ \|/\|
\| *	Dafny: improved refinement features; added staged version of the proof of the...	Unknown	2012-06-19
* \|	Merge	qadeer	2012-06-18
\|\ \
\| * \|	Backed out changeset: 7c8e7338652b	qadeer	2012-06-18
* \| \|	Fix line endings	Peter Collingbourne	2012-06-18
* \| \|	Move block predicator to VCGeneration	Peter Collingbourne	2012-06-18
* \| \|	GPUVerify: block predicator: add a mode which disables procedure predicates	Peter Collingbourne	2012-06-18
\| * \|	Merge	qadeer	2012-06-17
\|/\| \|
\| * \|	an experiment trying to get predication into Boogie	qadeer	2012-06-17
* \| \|	Dafny: fixed parsing bug.	Jason Koenig	2012-06-15
* \| \|	GPUVerify: implement is-a-constant analysis	Peter Collingbourne	2012-06-15
\|/ /
* \|	GPUVerify: revert ac36537a0eb8, as this is in fact a candidate invariant (e.g...	Peter Collingbourne	2012-06-15
* \|	GPUVerify: when dualising assume and assert statements, emit two statements i...	Peter Collingbourne	2012-06-15
\|/
*	Merge	Unknown	2012-06-14
\|\
* \|	Dafny: in compiler, respect C#'s different scoping rules and lack of support ...	Unknown	2012-06-14
* \|	Merge	Unknown	2012-06-14
\|\ \
* \| \|	Dafny: fixed a couple of compiler bugs	Unknown	2012-06-14
* \| \|	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
\| \| *	Inter-thread race checking implementation done.	Unknown	2012-06-14
\| \| *	Fix for structured regions.	Unknown	2012-06-14
\| \| *	Progress on inter-group race checking	Unknown	2012-06-14
\| \| *	Merge	Unknown	2012-06-14
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	Started work on inter-group race checking.	Unknown	2012-06-14
\| * \|	Merge	Jason Koenig	2012-06-13
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Dafny: allow parallel assignments to assign to the same LHS if the RHS match.	Jason Koenig	2012-06-13
* \| \|	Merge	Unknown	2012-06-13
\|\\| \|
* \| \|	Dafny: Changed the semantics of the assign-such-that statement "x :\| P;" to c...	Unknown	2012-06-13
\| * \|	Merge	Jason Koenig	2012-06-13
\| \|\ \
\| * \| \|	Dafny: liberalized equality to work when the types could possibly be the same	Jason Koenig	2012-06-13
* \| \| \|	Dafny: added another version of the majority finding algorithm to the test suite	Unknown	2012-06-12
\|/ / /
\| * /	GPUVerify: the non-uniform loop invariant is not a candidate invariant	Peter Collingbourne	2012-06-12
\|/ /
* \|	Merge	Unknown	2012-06-12
\|\ \
* \| \|	Dafny: beefed up allocation axioms for boxes stored in fields	Unknown	2012-06-12
\| * \|	deleted an unused class	qadeer	2012-06-12
\| * \|	Merge	qadeer	2012-06-12
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	refactoring in SI	qadeer	2012-06-12