debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	GPUVerify: merge ElementEncodingRaceInstrumenter into RaceInstrumenter	Peter Collingbourne	2012-06-22
*	Dafny: now, equality-support determination and checking feels ripe; so, codat...	Rustan Leino	2012-06-22
*	Merge	Unknown	2012-06-22
\|\
* \|	Dafny: mark code for equality-support determination tentative	Unknown	2012-06-22
* \|	Dafny: equality-support test cases. This is just a snapshot--some things sti...	Unknown	2012-06-22
* \|	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
\| *	GPUVerify: implement generic stride constraint generation	Peter Collingbourne	2012-06-22
\| *	GPUVerify: make VarDefAnalysis capable of analysing non-constants	Peter Collingbourne	2012-06-22
\| *	Dafny: Fixed bug in CompilerizeName.	chmaria	2012-06-22
\| *	Dafny: fixed two contracts	Rustan Leino	2012-06-22
* \|	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
\| *	GPUVerify: construct BV_AND and BV_SUB using MakeBVFunctionCall	Peter Collingbourne	2012-06-21
\| *	GPUVerify: replace MayBe{ThreadConfigurationVariable,Gid}Analyser with simple...	Peter Collingbourne	2012-06-21
\|/
*	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
\| \| *	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