debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	added a fix to check all layers: created layer of actions or layers in	Shaz Qadeer	2015-10-01
\| \| \| \|	requires, ensures, or asserts
*	another fix requested by Chris	Shaz Qadeer	2015-10-01
\| \| \| \|	verification is performed now for all created layers
*	cleaned up some names	Shaz Qadeer	2015-09-28
\|
*	added introduced and ghost local variables	Shaz Qadeer	2015-09-25
\|
*	fixed crash	qadeer	2015-06-10
\|
*	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
*	systematic renaming of phase to layer	qadeer	2014-12-15
\|
*	renamed :phase to :layer	qadeer	2014-11-14
\|
*	Did some refactoring.	wuestholz	2014-09-23
\|
*	simplified yield type chcking and added treiber stack (not fully done)	qadeer	2014-07-15
\|
*	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
\|
*	added {:aux} attribute to local variables	qadeer	2014-05-07
\|
*	second checkpoint	qadeer	2014-05-04
\|
*	checkpoint	qadeer	2014-05-03
\|
*	added simulation relation computation to yield type checking	qadeer	2014-04-20
\| \| \| \|	updated the type check to incorporate {:terminates} annotation
*	fixed a bug in the automaton construction labeling	qadeer	2014-02-18
\|
*	bug fix in error trace printing	qadeer	2014-02-05
\| \| \| \|	added a class for Token elimination (not done yet)
*	bug fix in error trace printing	qadeer	2014-01-16
\|
*	Clean up of yield type checker	qadeer	2014-01-16
\|
*	in the middle of cleaning up yield type checker	qadeer	2014-01-15
\|
*	eliminated use of assertionPhaseNums	qadeer	2014-01-13
\|
*	Some proper naming done in YieldTypeChecker	kuruis	2014-01-12
\|
*	a fix regarding the checking of assertions in atomic specs at call sites	qadeer	2014-01-08
\|
*	points on "home strecth of yield type checker" added	kuruis	2014-01-04
\|
*	minor bug in traversing program fixed	kuruis	2014-01-03
\|
*	some bugs related with phases fixed	kuruis	2014-01-03
\|
*	debug pragma closed	kuruis	2014-01-02
\|
*	some fixes on devicedriver example	kuruis	2014-01-02
\|
*	Error reporting with line numbers and commands of trace is provided	kuruis	2014-01-02
\|
*	some proper yield check reporting provided	kuruis	2014-01-02
\|
*	some bugs fixed on yiledtypechecker	kuruis	2013-12-31
\|
*	Some bugs in yieldtypesafe fixed	kuruis	2013-12-29
\|
*	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
*	Regex fixed after discussion with Shaz	kuruis	2013-12-24
\|
*	Automata debugging done on YieldTypeChecker.	kuruis	2013-12-23
\| \| \| \|	Regex must be revisited
*	comparison of phase_num checks updated	kuruis	2013-12-20
\|
*	Minor Changes in YieldTypeChecker	kuruis	2013-12-19
\|
*	Epsilon reduction per phase automaton added	kuruis	2013-12-18
\|
*	Updates on YieldTypeChecker done	kuruis	2013-12-17
\|
*	Updates on YieldTypeCheck	kuruis	2013-12-11
\|
*	some refactoring of QED stuff	qadeer	2013-12-10
\|
*	various updates	qadeer	2013-12-09
\|
*	debug hastags are inserted to yieldtypechecker	kuruis	2013-12-08
\|
*	Proper transition tags added for providing language containtment between two ↵	kuruis	2013-12-07
\| \| \| \|	Autos.
*	Automata.dll functions are used to create Automata from Graph	kuruis	2013-12-06
\|
*	Some bugs on yieldtypechecker graph solved	kuruis	2013-12-05
\|
*	Building raw graphs of YieldTypeChecker for building Automata is added	kuruis	2013-12-04
\|
*	forgot to add this file	qadeer	2013-12-02