debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	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
*	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
*	new design for linear types + VCgen	qadeer	2014-02-07
\| \| \| \| \|	ported all the examples added the QED examples to runtest.bat
*	fixed a bug revealed subsequent to the latest fix in parallel call handling	qadeer	2014-01-20
\|
*	a fix regarding the checking of assertions in atomic specs at call sites	qadeer	2014-01-08
\|
*	another fix	qadeer	2014-01-02
\|
*	some more fixes to examples	qadeer	2014-01-02
\|
*	more fixes	qadeer	2014-01-02
\|
*	some more fixes	qadeer	2014-01-02
\|
*	fixed examples to deal with yield type checking errors	qadeer	2014-01-01
\|
*	more bug fixes	qadeer	2013-12-24
\| \| \| \|	updates to DeviceCache.bpl to make it verify
*	updates	qadeer	2013-12-23
\|
*	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
\|
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
\|
*	fixed type checking errors in QED stuff	qadeer	2013-12-14
\|
*	some refactoring of QED stuff	qadeer	2013-12-10
\|
*	first check in	qadeer	2013-12-04