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
/
OwickiGries.cs
Commit message (
Expand
)
Author
Age
*
fixed some bugs in the previous check ins
qadeer
2014-04-16
*
added the framing for the refinement check
qadeer
2014-04-16
*
added variable hiding
qadeer
2014-04-16
*
added more types to constructed expressions
qadeer
2014-04-15
*
Added /trustNonInterference option
qadeer
2014-02-28
*
added some missing attributes to desugared assertions
qadeer
2014-02-27
*
added tokens to calls and requires/ensures
qadeer
2014-02-26
*
fixed couple of bugs reported by Serdar
qadeer
2014-02-25
*
added ReadOnlyStandardVisitor
qadeer
2014-02-24
*
Added /trustPhasesDownto option
qadeer
2014-02-24
*
Added /trustPhasesUpto option
qadeer
2014-02-23
*
added another example and fixed a bug regarding initialization of pc/ok
qadeer
2014-02-07
*
new design for linear types + VCgen
qadeer
2014-02-07
*
various bug fixes
qadeer
2014-01-21
*
bug fix in handling of parallel call
qadeer
2014-01-20
*
fix for a completeness bug (reported by Serdar) in refinement checker
qadeer
2014-01-16
*
added more information to assert messages
qadeer
2014-01-14
*
a bug fix
qadeer
2014-01-13
*
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
*
Fixed a bug regarding the treatment of old() in stable procedures. The imple...
qadeer
2013-12-26
*
more bug fixes
qadeer
2013-12-24
*
more bug fixes
qadeer
2013-12-22
*
bug fixes in Duplicate.cs and parsing of invariant attributes
qadeer
2013-12-22
*
more refactoring of the concurrency stuff
qadeer
2013-12-20
*
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
*
some refactoring of QED stuff
qadeer
2013-12-10
*
various updates
qadeer
2013-12-09
*
moved some files around
qadeer
2013-11-22
*
factored the concurrency checking code into a separate project
qadeer
2013-11-22