Home

Jump to bottom

Matt Windsor edited this page Oct 9, 2018 · 25 revisions

act (automagic compiler tormentor) is a toolbox for testing whether compilers respect the C memory model, based on the herd memory model testing system and the memalloy C memory model witness generator.

Information for users

Also see the README.

Generating input

Information for developers

Overall design: making sense of act's module soup
Converting assembly to litmus: observational notes on how we might sanitise assembly output