diff options
| author | Rutger Broekhoff | 2026-06-24 19:29:28 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2026-06-24 19:29:28 +0200 |
| commit | e2681e43cc7849d66425d5bc93565e9e177d229a (patch) | |
| tree | fd03d9461bd52b076a45c9ba6b6587053e17a811 /_CoqProject | |
| download | ri-lmpmc-formalization-e2681e43cc7849d66425d5bc93565e9e177d229a.tar.gz ri-lmpmc-formalization-e2681e43cc7849d66425d5bc93565e9e177d229a.zip | |
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject new file mode 100644 index 0000000..a3d9642 --- /dev/null +++ b/_CoqProject | |||
| @@ -0,0 +1,12 @@ | |||
| 1 | -Q theories lmpmc | ||
| 2 | |||
| 3 | theories/util.v | ||
| 4 | theories/upstream.v | ||
| 5 | theories/basic_queue_spec.v | ||
| 6 | theories/fin_queue_spec.v | ||
| 7 | theories/lmpmc_queue_spec.v | ||
| 8 | theories/basic_queue_proof.v | ||
| 9 | theories/fin_queue_proof.v | ||
| 10 | theories/lmpmc_queue_proof.v | ||
| 11 | theories/lmpmc_blocking_dequeue.v | ||
| 12 | theories/example.v | ||