explore
Log in
Register
~james
/reorder
2
summary
tree
log
branches
pull requests
issues
908ea7335d65c52f45e8387f6c42e462b25a624a
main
reorder
/
dune-project
-rw-r--r--
180 bytes
View
Log
Blame
View raw
Permalink
908ea7335d
feat(core): initialise tso checking and fence synthesis
29 days ago
1
(lang dune 3.20)
2
(name reorder)
3
(generate_opam_files true)
4
(package
5
(name reorder)
6
(synopsis "Bounded x86-TSO checking and minimum fence synthesis")
7
(depends (ocaml (>= 5.5))))