20 lines
579 B
JSON
20 lines
579 B
JSON
{
|
|
"solver": "Z3",
|
|
"version": "5.1.0",
|
|
"language": "SMT-LIB 2",
|
|
"basis": "https://www.cl.cam.ac.uk/~pes20/weakmemory/cacm.pdf",
|
|
"semantics": "two threads, atomic 64-bit cells, FIFO store buffers, local forwarding, mfence and atomic exchange",
|
|
"bounds": {
|
|
"threads": 2,
|
|
"registers": 4,
|
|
"buffer": 8,
|
|
"steps": 64
|
|
},
|
|
"ocaml": "5.5.0",
|
|
"dune": "3.24.2",
|
|
"driver": "OCaml",
|
|
"solver_strategy": "simplify, solve-eqs, bit-blast, sat",
|
|
"timeout_ms": 300000,
|
|
"repair": "counterexample-guided synthesis refined by complete finite execution graphs"
|
|
}
|