debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	merge	Pantazis Deligiannis	2013-07-06
\|\
\| *	Adapted method for computing dual of graph so that it copes with graphs that ...	allydonaldson	2013-06-28
* \|	CVC4 Parser	pantazis	2013-06-12
\|/
*	Staged Houdini	allydonaldson	2013-04-30
*	Fix LeastCommonAncestor method in Graph module	Nathan Chong	2013-03-07
*	CR/LF line ending delta	Rustan Leino	2013-02-19
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	bunch of refactorings	Unknown	2012-10-03
*	Uniformity analysis. Patch by Peter Collingbourne.	Unknown	2012-09-18
*	Graph: make DomRelation and DominatorMap public	Peter Collingbourne	2012-07-11
*	Boogie: add /printCFG command line option, which prints each implementation's...	Peter Collingbourne	2012-06-06
*	Fix DomRelation.DominatedBy for the case where the dominator is the source	Peter Collingbourne	2012-05-22
*	added code to handle irreducible graphs	qadeer	2011-08-20
*	full port of houdini project	qadeer	2011-08-04
*	Call PostOrderVisitIterative by default	Unknown	2011-06-26
*	Added an iterative version of PostOrderVisit (but it is not called)	Unknown	2011-06-26
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
*	Replaced all dictionaries that mapped to bool (i.e., were being used to imple...	mikebarnett	2011-03-10
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Update to VS2010.	MichalMoskal	2010-10-07
*	fixed bug in extract loops by ensuring that loop extraction is done in nestin...	qadeer	2010-09-01
*	created a new build target called z3apidebug.	qadeer	2010-08-29
*	Boogie: Removed some errors with code contracts (commenting out doubly-inheri...	tabarbe	2010-08-27
*	Boogie: Changed the cce classes into one separate project, which every other ...	tabarbe	2010-08-27
*	Boogie: Graph port 2/3: Committing new source file, deleting old one	tabarbe	2010-08-27
*	Boogie: Graph port 1/3: Committing new sources	tabarbe	2010-08-27
*	Boogie: Renaming the Graph files in preparation for the commit of my port.	tabarbe	2010-08-27
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
*	* Added "deprecated" comment in help message about /interprocInfer switch. T...	rustanleino	2010-02-18
*	Sign assemblies	stobies	2009-08-17
*	Initial set of files.	mikebarnett	2009-07-15