debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Added support in the abstract interpreter for an attribute {:identity}, which...	Rustan Leino	2013-07-05
*	Did some refactoring in the execution engine.	wuestholz	2013-06-14
*	Worked on improving program snapshot verification.	wuestholz	2013-06-10
*	Worked on improving program snapshot verification.	wuestholz	2013-06-05
*	Added a feature for verifying several program snapshots (incl. result caching...	wuestholz	2013-06-02
*	Staged Houdini	allydonaldson	2013-04-30
*	fixed datatype bug reported by Chris	Unknown	2013-03-05
*	Refactored code that generates an axiom for a function, and changed the prett...	Rustan Leino	2013-01-17
*	Allow attributes on procedure formals, function formals, and bound variables	Unknown	2013-01-07
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	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