debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Reinstated support for barrier flags.	Unknown	2012-06-27
*	Undo bad merge.	afd	2012-06-27
*	Merge	Unknown	2012-06-26
\|\
* \|	Added support for barrier flags.	Unknown	2012-06-26
* \|	Merge	Unknown	2012-06-25
\|\ \
\| \| *	GPUVerify: factor all offset predicate handling code into a central location	Peter Collingbourne	2012-06-25
\| \| *	GPUVerify: merge ElementEncodingRaceInstrumenter into RaceInstrumenter	Peter Collingbourne	2012-06-22
\| \|/
\| *	Boogie build succeeded	CodeplexBot	2012-06-23
\| *	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
* \| \|	Merge	Unknown	2012-06-21
\|\ \ \
\| \| \| *	Boogie build succeeded, 1 test(s) failed	CodeplexBot	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 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