search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
220 stars 57 forks source link

[doc] Document litmus `-c11 <bool>` command line option #919

Closed maranget closed 1 month ago

maranget commented 1 month ago

Small addition to the documentation.