debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	made delegate a datatype	qadeer	2011-12-30
*	fixed problems with datatypes	qadeer	2011-12-29
*	Merge	Rustan Leino	2011-12-07
\|\
\| *	Merge	Michal Moskal	2011-12-07
\| \|\
\| * \|	Make set iteration order deterministic	Michal Moskal	2011-12-07
* \| \|	Merge	Rustan Leino	2011-12-05
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\| \|/ \|/\|
\| *	Emit attribute on a requires	akashlal	2011-12-04
\|/
*	Merge	qadeer	2011-11-22
\|\
\| *	Boogie: don't resolve ignored types (that is, "extern" types that have been t...	Rustan Leino	2011-11-22
* \|	added support for handling duplicate axioms	qadeer	2011-11-22
\|/
*	Debugging output for stratified inlining. Emit attribute on Ensures while	Unknown	2011-11-16
*	moved the addition of selectors and testers to program.Resolve	qadeer	2011-11-11
*	deleted unused code	qadeer	2011-11-01
*	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
*	Boogie: removed unreachable or unused code	Rustan Leino	2011-10-27
*	Dafny: Fixed an assertion violation in the "Checked" configuration.	wuestholz	2011-09-20
*	Dafny: Added support for attributes on methods and constructors.	wuestholz	2011-09-16
*	Fixed test failures in the "Checked" configuration.	wuestholz	2011-09-19
*	Support for irreducible graphs (with extractLoops)	Unknown	2011-08-24
*	reverting irreducible handling temporarily	qadeer	2011-08-21
\|\
* \|	added code to handle irreducible graphs	qadeer	2011-08-20
* \|	ExtractLoops calls the same code for eliminating unreachable blocks that norm...	qadeer	2011-07-05
\|/
*	Boogie: white-space formating	Rustan Leino	2011-06-05
*	Boogie: added features to help with modular verification. In particular, defi...	Rustan Leino	2011-05-13
*	Add labels to extracted procedures for loops	akashlal	2011-03-14
*	Changed the API for Declaration.AddAttribute so it takes a params argument so...	mikebarnett	2011-02-09
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	a bug fix in the loop extraction code	qadeer	2010-10-19
*	Boogie:	rustanleino	2010-10-12
*	added an optimization to extract loops so that only loop targets are treated ...	qadeer	2010-09-10
*	Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...	akashlal	2010-09-05
*	Delete unreachable Blocks of an Impl before calling ExtractLoops().	akashlal	2010-09-05
*	Fix for extractLoops	akashlal	2010-09-04
*	more fixes to ExtractLoops	qadeer	2010-09-03
*	Added a fix to extract loops code so that it returns a more comprehensive map...	qadeer	2010-09-03
*	fixed bug in extract loops by ensuring that loop extraction is done in nestin...	qadeer	2010-09-01
*	Added a way of recovering counterexample paths after loop extraction. Stable,...	akashlal	2010-09-01
*	Added a new class LoopProcedure to represent the procedures representing extr...	qadeer	2010-09-01
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20