index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Concurrency
/
LinearSets.cs
Commit message (
Expand
)
Author
Age
*
fixed my earlier to make it nicer
Shaz Qadeer
2015-09-03
*
fixed a crash when there is no collector
Shaz Qadeer
2015-09-02
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
fixed bug due to incomplete erasure of :linear attribute
qadeer
2014-12-05
*
Did more refactoring and addressed several todos.
wuestholz
2014-09-23
*
Did more refactoring.
wuestholz
2014-09-23
*
Did some refactoring.
wuestholz
2014-09-23
*
updated the linear type system based on Chris' design with linear, linear_in,...
qadeer
2014-07-15
*
fixed a regression failure
qadeer
2014-07-15
*
simplified yield type chcking and added treiber stack (not fully done)
qadeer
2014-07-15
*
fixed some tests in og
qadeer
2014-07-11
*
a small fix
qadeer
2014-05-21
*
fixed some bugs in the previous check ins
qadeer
2014-04-16
*
added more types to constructed expressions
qadeer
2014-04-15
*
(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...
Rustan Leino
2014-02-24
*
fixed a bug in desugaring of linear variables
qadeer
2014-02-20
*
new design for linear types + VCgen
qadeer
2014-02-07
*
various bug fixes
qadeer
2014-01-21
*
bug fix: if an absy is not reachable, make the set of available vars empty at it
qadeer
2014-01-21
*
added syntax for par call and ParCallCmd
qadeer
2013-12-16
*
some refactoring of QED stuff
qadeer
2013-12-10
*
factored the concurrency checking code into a separate project
qadeer
2013-11-22