debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	updated golden outputs and removed irrelevant tests	qadeer	2014-06-02
\|
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Set the following tests to expected failure under lit. Having these	Dan Liew	2014-05-19
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	reported is unnecessary noise right now. Someone needs to fix these tests but I'm not the author. Boogie :: og/DeviceCacheSimplified.bpl Boogie :: og/DeviceCacheWithBuffer.bpl Boogie :: og/async.bpl Boogie :: og/houd1.bpl Boogie :: og/lock-introduced.bpl Boogie :: og/termination.bpl Boogie :: og/treiber-stack.bpl Boogie :: test21/Maps2.bpl Boogie :: test21/test3_AddMethod_conv.bpl
*	Enable as many "og" lit tests. Several fail because they weren't	Dan Liew	2014-05-11
\| \| \| \| \| \| \| \| \| \| \| \|	being executed previously! Boogie :: og/DeviceCacheSimplified.bpl Boogie :: og/DeviceCacheWithBuffer.bpl Boogie :: og/async.bpl Boogie :: og/houd1.bpl Boogie :: og/lock-introduced.bpl Boogie :: og/termination.bpl Boogie :: og/treiber-stack.bpl
*	new design for linear types + VCgen	qadeer	2014-02-07
\| \| \| \| \|	ported all the examples added the QED examples to runtest.bat
*	cleaned up the OG code	qadeer	2013-08-07
\| \| \| \|	enabled it to be always on
*	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
\|
*	added parallel calls	Unknown	2013-03-01
\|
*	fixed bugs in typechecking of linear sets	Unknown	2013-02-13
\| \| \| \| \|	added regressions to linear sets removed the need to supply the builtin map operations manually
*	finished the sample	Unknown	2013-02-05
\|
*	Further bug fixes in OG	Unknown	2013-02-05
	Added another sample