debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: removed old Substitute method (which has been replaced by a Substitute...	Rustan Leino	2012-07-03
*	Merge	Rustan Leino	2012-07-03
\|\
* \|	Dafny: added copredicates	Rustan Leino	2012-07-03
* \|	Changed copyright year range to include 2012	Rustan Leino	2012-07-03
\| *	Reinstate GPUVerify files	Peter Collingbourne	2012-07-02
\| *	Merge	Jason Koenig	2012-07-02
\| \|\
\| \| *	Dafny: reinstated autocontracts	Jason Koenig	2012-07-02
\| * \|	Merge	Unknown	2012-07-02
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Started adding support for annotation intrinsics for unstructured programs.	Unknown	2012-07-02
\| \| *	Merge	Jason Koenig	2012-06-29
\| \|/\| \|/\| \|
* \| \|	Dafny: updated contracts to allow null parent (of the default module)	Rustan Leino	2012-06-29
* \| \|	Merge	Jason Koenig	2012-06-28
\|\\| \|
* \| \|	Dafny: fixed up test suite (temporarily removed autocontract tests)	Jason Koenig	2012-06-28
\| \| *	Boogie: formated elapsed time	Jason Koenig	2012-06-28
\| \|/
* \|	Dafny: fixed bug with translation of class._System.object;	Jason Koenig	2012-06-28
* \|	Dafny: Merge	Jason Koenig	2012-06-27
\|\ \
* \| \|	Dafny: fixed bug in which _module scope declarations were not verified.	Jason Koenig	2012-06-27
* \| \|	Dafny: Fixed module bugs	Jason Koenig	2012-06-27
\| \| *	GPUVerify: modify the variable definition analysis to track and reject self-r...	Peter Collingbourne	2012-06-27
\| \|/
\| *	GPUVerify: when building offset predicates, skip unsubstitutable offsets	Peter Collingbourne	2012-06-27
\| *	GPUVerify: use original expression for undefined variables	Peter Collingbourne	2012-06-27
* \|	Dafny: Implemented abstract modules	Jason Koenig	2012-06-26
\| *	GPUVerify: implement generic reduced strength analysis for loop counters	Peter Collingbourne	2012-06-26
\| *	GPUVerify: fix UnstructuredRegion.CmdsChildRegions	Peter Collingbourne	2012-06-26
\| *	Model: sort variables by name	Peter Collingbourne	2012-06-26
\| *	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
\| \| \|/
\| \| *	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
\| \|\ \
\| \| \| *	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
\| \| \| \|\ \| \| \| \|/ \| \| \|/\|