projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a98cefb) | patch
model: add resolve_release_sequences() function
authorBrian Norris <banorris@uci.edu>
Sat, 25 Aug 2012 01:37:15 +0000 (18:37 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 25 Aug 2012 01:58:24 +0000 (18:58 -0700)
commitb8084847aa9aeec879968c6879d7e6a20c08ea1f
treecb5de8b1bad58572d9408b11dd5acdda9bbf790atree | snapshot
parenta98cefb336e2b2298e9205f09f37612d03db3d9ecommit | diff
model: add resolve_release_sequences() function

This function can check for release sequence resolutions then propagate
synchronization and remove from the "lazy release" list. It does not add any
new mo_graph edges yet.
model.cc diff | blob | history
model.h diff | blob | history
C11 Tester Tool Public Repository