  We provide the syntax and semantics of the LISA (for "Litmus Instruction Set
Architecture") language. The parallel assembly language LISA is implemented in
the herd7 tool (http://virginia.cs.ucl.ac.uk/herd/) for simulating weak
consistency models.
