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

• Supported architectures
• Generating input
• Standard flags accepted by every subcommand.
• Filtering predicates: the syntax of -filter-compilers and -filter-machines flags.

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