Home

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.

General information

• Generating input

Command documentation

• Compare: compare litmus output across compilers
• Explain: annotate an assembly file with act's analysis
• Litmusify: convert a single assembly file to a litmus test
• Test: test compilers using Herd and a Memalloy-style input corpus

Information for developers

• Code conventions: why things are how they are
• Overall design: making sense of act's module soup
• Converting assembly to litmus: observational notes on how we might sanitise assembly output