cprover
Loading...
Searching...
No Matches
wmm Directory Reference
Directory dependency graph for wmm:

Files

 
abstract_event.cpp
 abstract events
 
abstract_event.h
 abstract events
 
cycle_collection.cpp
 collection of cycles in graph of abstract events
 
data_dp.cpp
 data dependencies
 
data_dp.h
 data dependencies
 
event_graph.cpp
 graph of abstract events
 
event_graph.h
 graph of abstract events
 
fence.cpp
 Fences for instrumentation.
 
fence.h
 Fences for instrumentation.
 
goto2graph.cpp
 Turns a goto-program into an abstract event graph.
 
goto2graph.h
 Instrumenter.
 
instrumenter_pensieve.h
 Instrumenter.
 
instrumenter_strategies.cpp
 Strategies for picking the abstract events to instrument.
 
pair_collection.cpp
 collection of pairs (for Pensieve's static delay-set analysis) in graph of abstract events
 
shared_buffers.cpp
 
shared_buffers.h
 
weak_memory.cpp
 Weak Memory Instrumentation for Threaded Goto Programs.
 
weak_memory.h
 Weak Memory Instrumentation for Threaded Goto Programs.
 
wmm.h
 memory models