| drwxr-xr-x | cases/ | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago | |
| drwxr-xr-x | smt/ | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago | |
| -rw-r--r-- | .gitignore | 15 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | check.ml | 10.4 KiB | 40efec5903 fix(syntax): reject unexpected case fields | 16 days ago |
| -rw-r--r-- | dune | 330 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | dune-project | 180 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | engine.ml | 11.5 KiB | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | engine.mli | 1.3 KiB | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | layout.ml | 2.8 KiB | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | layout.mli | 37 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | machine.ml | 6.6 KiB | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | machine.mli | 997 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | main.ml | 6.5 KiB | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | Makefile | 275 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | reorder.opam | 422 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | sexp.ml | 3.9 KiB | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | sexp.mli | 302 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | solver.ml | 10.7 KiB | 92559a7768 fix(solver): close pipes when process creation fails | 21 days ago |
| -rw-r--r-- | solver.mli | 651 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | store.ml | 1.3 KiB | 17d8688e66 fix(store): replace generated artefacts atomically | 24 days ago |
| -rw-r--r-- | store.mli | 118 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | syntax.ml | 5.8 KiB | 40efec5903 fix(syntax): reject unexpected case fields | 16 days ago |
| -rw-r--r-- | syntax.mli | 737 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | toolchain.json | 579 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | view.ml | 16.4 KiB | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |
| -rw-r--r-- | view.mli | 516 bytes | 908ea7335d feat(core): initialise tso checking and fence synthesis | 29 days ago |