debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| * \|	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
\| \|/ /
* \| \|	Merge	Unknown	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	Jason Koenig	2012-06-19
\| \| \| \|\ \| \| \| \|/ \| \| \|/\|
\| \| \| *	Dafny: disallow declare identifiers starting with underscore (_)	Jason Koenig	2012-06-19
\| \| \| *	Dafny: Added nested modules	Jason Koenig	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 with dafny_runtime_checking	Unknown	2012-06-18
\|\ \ \ \
* \| \| \| \|	Added command line option.	Unknown	2012-06-18
\| * \| \| \|	Merged with default.	chmaria	2012-06-18
\| \|\ \ \ \ \| \| \| \|/ / \| \| \|/\| \|
\| \| \| \| *	Merge	qadeer	2012-06-17
\| \| \| \|/\| \| \| \|/\| \|
\| \| \| \| *	an experiment trying to get predication into Boogie	qadeer	2012-06-17
\| * \| \| \|	Dafny: Added CC translation of postconditions.	chmaria	2012-06-18
\| \| * \| \|	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
\| * \| \|	Merge	Jason Koenig	2012-06-13
\| \|\ \ \