x86_64.hpp File Reference

#include <cstdint>
#include <stdexcept>
#include "strong.hpp"

Go to the source code of this file.

Classes
struct	mc2lib::codegen::strong::Backend_X86_64

Namespaces
	mc2lib
	mc2lib::codegen
	Code generation for memory consistency verification.
	mc2lib::codegen::strong
	Implementations of Operations for strong memory consistency models.