index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
og
/
DeviceCache.bpl
Commit message (
Expand
)
Author
Age
*
renamed og to civl
qadeer
2015-04-22
*
strengthened type checking
qadeer
2014-12-26
*
changed type checking of yield procedures so that they can only call other yi...
qadeer
2014-12-18
*
1. made variable introduction layer explicit in the test cases
qadeer
2014-12-15
*
renamed :phase to :layer
qadeer
2014-11-14
*
updated the linear type system based on Chris' design with linear, linear_in,...
qadeer
2014-07-15
*
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
*
Enable as many "og" lit tests. Several fail because they weren't
Dan Liew
2014-05-11
*
second checkpoint
qadeer
2014-05-04
*
checkpoint
qadeer
2014-05-03
*
added simulation relation computation to yield type checking
qadeer
2014-04-20
*
new design for linear types + VCgen
qadeer
2014-02-07
*
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
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