summaryrefslogtreecommitdiff
path: root/Source/Core/OwickiGries.cs
Commit message (Expand)AuthorAge
* end atomic actions at async and parallel callsGravatar qadeer2013-07-15
* deleted some commented codeGravatar Unknown2013-05-20
* further bug fixes in og; global copies of global variables are now thread localGravatar Unknown2013-05-19
* reworked the linear and og implementation based on available variables theoryGravatar Unknown2013-05-18
* havocs and updates to globals added only if they are non-nullGravatar Unknown2013-05-06
* Made OG-Desugared parsable as a Boogie program.Gravatar akashlal2013-04-19
* refactored og and fixed latest bug reported by chrisGravatar Unknown2013-03-20
* Added explicit mod set analysis calls to OG transform and linear transformGravatar Unknown2013-03-13
* fixed bugs in linear and ogGravatar Unknown2013-03-11
* fixed a bug in ogGravatar Unknown2013-03-04
* fixed bugs in both parallel calls and linear stuff (reported by Chris)Gravatar Unknown2013-03-03
* bug in OG for parallel callGravatar Unknown2013-03-02
* added parallel callsGravatar Unknown2013-03-01
* fixed another bug reported by ChrisHawGravatar Unknown2013-02-12
* Further bug fixes in OGGravatar Unknown2013-02-05
* fixed bug in OGGravatar Unknown2013-02-01
* handling old() in stable assertionsGravatar Unknown2013-01-30
* made a whole bunch of changes to linear and og stuffGravatar Unknown2013-01-29
* bug fix reported by ChrisGravatar Unknown2013-01-28
* added owicki-gries and linear-set to boogiedriverGravatar Unknown2013-01-25
* first check in of Owicki-Gries and linear setsGravatar Unknown2013-01-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 00:21:08 +0000