debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	renamed og to civl	qadeer	2015-04-22
\|
*	removed unused functions and axioms to make the verification faster	qadeer	2015-01-27
\|
*	strengthened type checking	qadeer	2014-12-26
\| \| \| \| \|	cleaned up the generation of mover checks (based on example from Chris) added two examples from Chris to regressions
*	1. made variable introduction layer explicit in the test cases	qadeer	2014-12-15
\| \| \| \|	2. if a single layer is specified for a global variable, that layer is the introduction layer
*	renamed :phase to :layer	qadeer	2014-11-14
\|
*	minor change	qadeer	2014-07-19
\|
*	treiber stack fixed	qadeer	2014-07-18
\|
*	updated the linear type system based on Chris' design with linear, ↵	qadeer	2014-07-15
\| \| \| \|	linear_in, linear_out
*	simplified yield type chcking and added treiber stack (not fully done)	qadeer	2014-07-15
\|
*	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
*	bug fix in handling of parallel call	qadeer	2014-01-20
\|
*	updates	qadeer	2014-01-16
\|
*	updating treiber stack	qadeer	2014-01-16
\|
*	Added Treiber stack (not yet readable by QED version of Boogie.)	stasiran	2014-01-15