debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	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
\| \| \| \| \|	integration of parallel call cmds done points (1 and 3) on Shaz's email are done
*	Fixed a bug regarding the treatment of old() in stable procedures. The ↵	qadeer	2013-12-26
\| \| \| \| \| \| \|	implementation of the stable procedure interprets old() as the state at the beginning of the procedure's execution but the caller of the procedure interprets old() as the state just before the call. The fix bridges the mismatch between these two interpretations.
*	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
\| \| \| \| \| \| \| \|	updates to DeviceCache.bpl to make it verify
\| *	Regex fixed after discussion with Shaz	kuruis	2013-12-24
\|/
*	Automata debugging done on YieldTypeChecker.	kuruis	2013-12-23
\| \| \| \|	Regex must be revisited
*	more bug fixes	qadeer	2013-12-22
\|
*	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
\|
*	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
\| \| \| \|	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
\|
*	updated the reference in Concurrency.csproj to Microsoft.Automata.dll (after ↵	qadeer	2013-12-02
\| \| \| \|	Margus supplied the signed dll)
*	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