index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
linear
/
typecheck.bpl
Commit message (
Expand
)
Author
Age
*
fixed
Shaz Qadeer
2015-10-26
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
changed type checking of yield procedures so that they can only call other yi...
qadeer
2014-12-18
*
update
qadeer
2014-11-14
*
updated the linear type system based on Chris' design with linear, linear_in,...
qadeer
2014-07-15
*
Fix lit test suite when running Boogie under a path that contains
Dan Liew
2014-05-27
*
Enabled "linear type checking" lit tests.
Dan Liew
2014-05-07
*
checkpoint
qadeer
2014-05-03
*
added syntax for par call and ParCallCmd
qadeer
2013-12-16
*
cleaned up the OG code
qadeer
2013-08-07
*
1. changed values passed to additional parameters to procedures; async and pa...
qadeer
2013-07-14
*
reworked the linear and og implementation based on available variables theory
Unknown
2013-05-18
*
added mod set checking to the linear type checker
Unknown
2013-03-13
*
fixed bugs in both parallel calls and linear stuff (reported by Chris)
Unknown
2013-03-03
*
fixed bugs in typechecking of linear sets
Unknown
2013-02-13