gitpocket
explore
Log in
—
Register
~james
/reorder
summary
tree
log
refs
pull requests
issues
reorder
/
dune-project
-rw-r--r--
180 bytes
View
Log
Blame
View raw
Permalink
908ea7335d
— feat(core): initialise tso checking and fence synthesis
27 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))))