debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	cleaned up some names	Shaz Qadeer	2015-09-28
\|
*	a bug fix	Shaz Qadeer	2015-09-27
\|
*	fixed a small bug	Shaz Qadeer	2015-09-27
\|
*	removed a warning	Shaz Qadeer	2015-09-26
\|
*	added introduced and ghost local variables	Shaz Qadeer	2015-09-25
\|
*	modified desugaring so that in commutatitivity checks copies of original	qadeer	2015-06-17
\| \| \| \|	codeexpr is made.
*	relaxed the check for created and hidden layers for skip actions	qadeer	2015-06-10
\|
*	fixed crash	qadeer	2015-06-10
\|
*	patched ghost checking	qadeer	2015-04-18
\|
*	changed aux attribute to ghost	qadeer	2015-04-18
\|
*	fixed the treatment of extern	qadeer	2015-04-17
\|
*	patched the type checker to deal with modularity	qadeer	2015-04-16
\|
*	removed "layer" attribute from the desugared program	qadeer	2015-01-16
\|
*	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
*	changed type checking of yield procedures so that they can only call other ↵	qadeer	2014-12-18
\| \| \| \|	yielding procedures
*	some refactoring to separate the concept of shared variables under ↵	qadeer	2014-12-17
\| \| \| \|	refinement checking with all global variables
*	patched last check in	qadeer	2014-12-15
\|
*	1. made variable introduction layer explicit in the test cases	qadeer	2014-12-15
\| \| \| \|	2. if a single layer is specified for a global variable, that layer is the introduction layer
*	systematic renaming of phase to layer	qadeer	2014-12-15
\|
*	renamed :phase to :layer	qadeer	2014-11-14
\|
*	a fix to type checking	qadeer	2014-11-09
\|
*	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
\|
*	Did some refactoring.	wuestholz	2014-09-23
\|
*	fixed some tests in og	qadeer	2014-07-11
\| \| \| \| \|	added another test in linear (based on bug reported by Chris) removed the QED build configuration
*	various fixes	qadeer	2014-06-02
\|
*	a small fix	qadeer	2014-05-21
\|
*	added {:aux} attribute to local variables	qadeer	2014-05-07
\|
*	second checkpoint	qadeer	2014-05-04
\|
*	checkpoint	qadeer	2014-05-03
\|
*	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
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions ↵	Rustan Leino	2014-02-24
\| \| \| \| \| \|	of its methods now demand the return value to equal the given node. Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor.
*	fixed a problem with the nonblocking check	qadeer	2014-02-10
\|
*	various bug fixes	qadeer	2014-01-21
\| \| \| \|	added "cnst" feature
*	Clean up of yield type checker	qadeer	2014-01-16
\|
*	fixed lots of bugs in mover checking code	qadeer	2014-01-14
\|
*	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
\|
*	a fix regarding the checking of assertions in atomic specs at call sites	qadeer	2014-01-08
\|
*	first cut of refinement checking	qadeer	2014-01-07
\|
*	some bugs fixed on yiledtypechecker	kuruis	2013-12-31
\|
*	made some fixes to type checking of atomic actions	qadeer	2013-12-31
\|
*	yieldtypesafe and yieldreachability automatons are separated.	kuruis	2013-12-29
\| \| \| \| \|	integration of parallel call cmds done points (1 and 3) on Shaz's email are done
*	more bug fixes	qadeer	2013-12-24
\| \| \| \|	updates to DeviceCache.bpl to make it verify
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
\| \| \| \|	other bug fixes in QED stuff
*	strengthened type checking w.r.t. qed vs non-qed global variables	qadeer	2013-12-21
\|
*	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
\|
*	fixed type checking errors in QED stuff	qadeer	2013-12-14
\|