debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| * \|	Improve experimental support for optimization (requires Z3 changeset 5948013b...	Valentin Wüstholz	2015-11-18
\| \| * \|	Add experimental support for optimization (requires Z3 build after changeset ...	Valentin Wüstholz	2015-11-18
\| \| * \|	Fix test output.	Valentin Wüstholz	2015-11-17
\| \| * \|	Fix issue #25.	Valentin Wüstholz	2015-11-17
\| \| \| *	Use EndCurly token for the ReturnCmd when creating unifiedExit	qunyanm	2015-11-16
\| \| \| *	Use EndCurly token for the ReturnCmd when creating unifiedExit	qunyanm	2015-11-16
\| \| * \|	Add a test.	Valentin Wüstholz	2015-11-16
\| \| \|/
\| \| *	Add a test.	Valentin Wüstholz	2015-11-16
\| \| *	Add support for identifying unnecessary assumes.	Valentin Wüstholz	2015-11-16
\| \| *	Merge pull request #22 from delcypher/proc_flag_fix	Dan Liew	2015-11-02
\| \| \|\
\| \| \| *	Document the new behaviour of the ``-proc:`` command line option	Dan Liew	2015-10-31
\| \| \| *	Added test cases for the new asterisk wildcard behaviour of the	Dan Liew	2015-10-31
\| \| \| *	Added wild card matching for /proc flag	Shaobo	2015-10-31
\| \| \|/
\| \| *	Add support for annotating implementations with k-ind. depth.	Valentin Wüstholz	2015-10-29
\| \| *	fix for deterministicExtractLoops for nested loops	Shuvendu Lahiri	2015-10-27
\| \| *	fixed	Shaz Qadeer	2015-10-26
\| \| *	Bug fix for deterministExtractLoops for Shaobo's example	Shuvendu Lahiri	2015-10-26
\| \| *	bug fix in the type checking of calls to atomic procedures	Shaz Qadeer	2015-10-16
\| \|/
\| *	bug fix	Shaz Qadeer	2015-10-09
\| *	removed an extraneous warning	Shaz Qadeer	2015-10-08
\| *	Merge branch 'master' of https://github.com/boogie-org/boogie	Shaz Qadeer	2015-10-01
\| \|\
\| * \|	added a fix to check all layers: created layer of actions or layers in	Shaz Qadeer	2015-10-01
\| \| *	Improve output for diagnosing timeouts.	Valentin Wüstholz	2015-10-01
\| \|/
\| *	another fix requested by Chris	Shaz Qadeer	2015-10-01
\| *	Improve output for diagnosing timeouts.	Valentin Wüstholz	2015-09-30
\| *	update	Shaz Qadeer	2015-09-28
\| *	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
\| *	fixed my earlier to make it nicer	Shaz Qadeer	2015-09-03
\| *	fixed a crash when there is no collector	Shaz Qadeer	2015-09-02
\| *	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2015-08-28
\| \|\
\| * \|	Added /verifySnapshots:3, which prints recycled errors messages with the sour...	Rustan Leino	2015-08-28
\| \| *	Merge branch 'master' of https://github.com/boogie-org/boogie	Shuvendu Lahiri	2015-07-20
\| \| \|\
\| \| \| *	Added another test.	Valentin Wüstholz	2015-07-20
\| \| \| *	Merge branch 'master' of https://github.com/boogie-org/boogie	Akash Lal	2015-07-20
\| \| \| \|\
\| \| \| * \|	Minor additions to VC gen	Akash Lal	2015-07-20
\| \|_\|/ / \|/\| \| \|
\| \| \| *	Added more tests.	Valentin Wüstholz	2015-07-20
\| \|_\|/ \|/\| \|
\| \| *	fix for /deterministicExtractLoops sed in SymDiff	Shuvendu Lahiri	2015-07-19
\| \|/ \|/\|
* \|	Try to unbreak the tests added in	Dan Liew	2015-06-28
* \|	Update URL to boogie-partners to its new location on GitHub.	Dan Liew	2015-06-28
* \|	Fix issue #16 reported by @crazykt	Dan Liew	2015-06-28
* \|	Add travis file to gitattributes file.	Dan Liew	2015-06-28
* \|	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
* \|	Remove dead file.	Dan Liew	2015-06-28
* \|	removed a stray Console.WriteLine that Ken had earlier checked in by	qadeer	2015-06-25
* \|	updated with Serdar's changes	qadeer	2015-06-25
* \|	Merge branch 'master' of https://github.com/boogie-org/boogie	akashlal	2015-06-20
\|\ \