debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	cleaned up some names	Shaz Qadeer	2015-09-28
\|
*	modified desugaring so that in commutatitivity checks copies of original	qadeer	2015-06-17
\| \| \| \|	codeexpr is made.
*	fixed the treatment of extern	qadeer	2015-04-17
\|
*	strengthened type checking	qadeer	2014-12-26
\| \| \| \| \|	cleaned up the generation of mover checks (based on example from Chris) added two examples from Chris to regressions
*	some refactoring to separate the concept of shared variables under ↵	qadeer	2014-12-17
\| \| \| \|	refinement checking with all global variables
*	systematic renaming of phase to layer	qadeer	2014-12-15
\|
*	renamed :phase to :layer	qadeer	2014-11-14
\|
*	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
\|
*	checkpoint	qadeer	2014-05-03
\|
*	bug fix in the last update	qadeer	2014-04-25
\|
*	updated the mover checks	qadeer	2014-04-25
\|
*	added the framing for the refinement check	qadeer	2014-04-16
\|
*	added variable hiding	qadeer	2014-04-16
\| \| \| \|	added annotation on an atomic action about the phases in which it exists
*	added more types to constructed expressions	qadeer	2014-04-15
\|
*	resolved expressions created during generation of procedures for mover checks	qadeer	2014-04-14
\|
*	fixed a problem with the nonblocking check	qadeer	2014-02-10
\|
*	added nonblocking checker for left movers	qadeer	2014-02-07
\|
*	new design for linear types + VCgen	qadeer	2014-02-07
\| \| \| \| \|	ported all the examples added the QED examples to runtest.bat
*	some small optimizations to mover checking	qadeer	2014-01-22
\| \| \| \|	added LookUp to multiset.bpl
*	various bug fixes	qadeer	2014-01-21
\| \| \| \|	added "cnst" feature
*	fixed lots of bugs in mover checking code	qadeer	2014-01-14
\|
*	fixed bug in optimization of commutativity check	qadeer	2014-01-14
\|
*	added more information to assert messages	qadeer	2014-01-14
\|
*	Existential failure checker replaced with universal.	stasiran	2014-01-13
\|
*	extended NormalSubstituter so that it can take in a forold substitution	qadeer	2014-01-10
\| \| \| \|	optimized the FailurePreservationChecker to eliminate some quantifiers
*	implemented a simple quantifier elimination for havoc commands in computing ↵	qadeer	2014-01-09
\| \| \| \| \| \|	transition relation changed the type checking of left movers; they are required to be non-blocking now
*	some optimizations to mover checks	qadeer	2014-01-09
\|
*	first cut of refinement checking	qadeer	2014-01-07
\|
*	fixed a bug in mover checking; wasn't generating enough commutativity checks	qadeer	2013-12-25
\|
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
\| \| \| \|	other bug fixes in QED stuff
*	more refactoring of the concurrency stuff	qadeer	2013-12-20
\|
*	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
\|
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
\|
*	some refactoring of QED stuff	qadeer	2013-12-10
\|
*	moved some files around	qadeer	2013-11-22