debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	some fixes	qadeer	2014-01-03
*	First rough draft of refinement checking.	stasiran	2014-01-03
*	First rough draft of refinement checking.	stasiran	2014-01-03
*	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
*	made some fixes to type checking of atomic actions	qadeer	2013-12-31
*	Some bugs in yieldtypesafe fixed	kuruis	2013-12-29
*	yieldtypesafe and yieldreachability automatons are separated.	kuruis	2013-12-29
*	Fixed a bug regarding the treatment of old() in stable procedures. The imple...	qadeer	2013-12-26
*	fixed a bug in mover checking; wasn't generating enough commutativity checks	qadeer	2013-12-25
*	Merge	qadeer	2013-12-24
\|\
* \|	more bug fixes	qadeer	2013-12-24
\| *	Regex fixed after discussion with Shaz	kuruis	2013-12-24
\|/
*	Automata debugging done on YieldTypeChecker.	kuruis	2013-12-23
*	more bug fixes	qadeer	2013-12-22
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
*	strengthened type checking w.r.t. qed vs non-qed global variables	qadeer	2013-12-21
*	more refactoring of the concurrency stuff	qadeer	2013-12-20
*	comparison of phase_num checks updated	kuruis	2013-12-20
*	Minor Changes in YieldTypeChecker	kuruis	2013-12-19
*	Merge	qadeer	2013-12-19
\|\
* \|	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
\| *	Epsilon reduction per phase automaton added	kuruis	2013-12-18
\| *	Updates on YieldTypeChecker done	kuruis	2013-12-17
\|/
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
*	fixed type checking errors in QED stuff	qadeer	2013-12-14
*	fixes to type checking code	qadeer	2013-12-11
*	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
*	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
*	updated the reference in Concurrency.csproj to Microsoft.Automata.dll (after ...	qadeer	2013-12-02
*	forgot to add this file	qadeer	2013-12-02
*	added the QED build configuration	qadeer	2013-12-02
*	added some type checking code	qadeer	2013-11-25
*	moved some files around	qadeer	2013-11-22
*	factored the concurrency checking code into a separate project	qadeer	2013-11-22