debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Gather set of procedures with irreducible loops.	Unknown	2012-11-18
*	added sound loop unrolling	Yannick Welsch	2012-07-03
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Move block predicator to VCGeneration	Peter Collingbourne	2012-06-18
*	Trying to merge with recent changes, failing.	Ken McMillan	2012-06-05
\|\
\| *	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
* \|	moved class Macro to Absy	qadeer	2012-06-04
* \|	1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...	Unknown	2012-06-01
* \|	No need for extra attributes in ExtractLoops	akashlal	2012-05-28
* \|	Merge	Unknown	2012-05-25
\|\ \
* \| \|	Adding an option for deterministicExtractLoops, that uses an alternate way to...	Unknown	2012-05-25
\| * \|	more refactoring in stratified inlining	qadeer	2012-05-24
\|/ /
* \|	removed lazy inlining	qadeer	2012-04-28
* \|	more type checking for datatypes	qadeer	2012-03-18
\|/
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	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