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