index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
/
OwickiGries.cs
Commit message (
Expand
)
Author
Age
*
end atomic actions at async and parallel calls
qadeer
2013-07-15
*
deleted some commented code
Unknown
2013-05-20
*
further bug fixes in og; global copies of global variables are now thread local
Unknown
2013-05-19
*
reworked the linear and og implementation based on available variables theory
Unknown
2013-05-18
*
havocs and updates to globals added only if they are non-null
Unknown
2013-05-06
*
Made OG-Desugared parsable as a Boogie program.
akashlal
2013-04-19
*
refactored og and fixed latest bug reported by chris
Unknown
2013-03-20
*
Added explicit mod set analysis calls to OG transform and linear transform
Unknown
2013-03-13
*
fixed bugs in linear and og
Unknown
2013-03-11
*
fixed a bug in og
Unknown
2013-03-04
*
fixed bugs in both parallel calls and linear stuff (reported by Chris)
Unknown
2013-03-03
*
bug in OG for parallel call
Unknown
2013-03-02
*
added parallel calls
Unknown
2013-03-01
*
fixed another bug reported by ChrisHaw
Unknown
2013-02-12
*
Further bug fixes in OG
Unknown
2013-02-05
*
fixed bug in OG
Unknown
2013-02-01
*
handling old() in stable assertions
Unknown
2013-01-30
*
made a whole bunch of changes to linear and og stuff
Unknown
2013-01-29
*
bug fix reported by Chris
Unknown
2013-01-28
*
added owicki-gries and linear-set to boogiedriver
Unknown
2013-01-25
*
first check in of Owicki-Gries and linear sets
Unknown
2013-01-24