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
/
TypeCheck.cs
Commit message (
Expand
)
Author
Age
*
modified desugaring so that in commutatitivity checks copies of original
qadeer
2015-06-17
*
relaxed the check for created and hidden layers for skip actions
qadeer
2015-06-10
*
fixed crash
qadeer
2015-06-10
*
patched ghost checking
qadeer
2015-04-18
*
changed aux attribute to ghost
qadeer
2015-04-18
*
fixed the treatment of extern
qadeer
2015-04-17
*
patched the type checker to deal with modularity
qadeer
2015-04-16
*
removed "layer" attribute from the desugared program
qadeer
2015-01-16
*
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
*
some refactoring to separate the concept of shared variables under refinement...
qadeer
2014-12-17
*
patched last check in
qadeer
2014-12-15
*
1. made variable introduction layer explicit in the test cases
qadeer
2014-12-15
*
systematic renaming of phase to layer
qadeer
2014-12-15
*
renamed :phase to :layer
qadeer
2014-11-14
*
a fix to type checking
qadeer
2014-11-09
*
Did more refactoring and addressed several todos.
wuestholz
2014-09-23
*
Did some refactoring.
wuestholz
2014-09-23
*
fixed some tests in og
qadeer
2014-07-11
*
various fixes
qadeer
2014-06-02
*
a small fix
qadeer
2014-05-21
*
added {:aux} attribute to local variables
qadeer
2014-05-07
*
second checkpoint
qadeer
2014-05-04
*
checkpoint
qadeer
2014-05-03
*
updated the mover checks
qadeer
2014-04-25
*
added the framing for the refinement check
qadeer
2014-04-16
*
added variable hiding
qadeer
2014-04-16
*
(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...
Rustan Leino
2014-02-24
*
fixed a problem with the nonblocking check
qadeer
2014-02-10
*
various bug fixes
qadeer
2014-01-21
*
Clean up of yield type checker
qadeer
2014-01-16
*
fixed lots of bugs in mover checking code
qadeer
2014-01-14
*
implemented a simple quantifier elimination for havoc commands in computing t...
qadeer
2014-01-09
*
some optimizations to mover checks
qadeer
2014-01-09
*
a fix regarding the checking of assertions in atomic specs at call sites
qadeer
2014-01-08
*
first cut of refinement checking
qadeer
2014-01-07
*
some bugs fixed on yiledtypechecker
kuruis
2013-12-31
*
made some fixes to type checking of atomic actions
qadeer
2013-12-31
*
yieldtypesafe and yieldreachability automatons are separated.
kuruis
2013-12-29
*
more bug fixes
qadeer
2013-12-24
*
bug fixes in Duplicate.cs and parsing of invariant attributes
qadeer
2013-12-22
*
strengthened type checking w.r.t. qed vs non-qed global variables
qadeer
2013-12-21
*
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
*
fixes to type checking code
qadeer
2013-12-11
*
some refactoring of QED stuff
qadeer
2013-12-10
*
various updates
qadeer
2013-12-09
*
added some type checking code
qadeer
2013-11-25
*
moved some files around
qadeer
2013-11-22