aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Directory.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use finger trees in more placesEstevan Castilho12 days1-4/+4
|
* move directory out of prototypeMarcos Magueta12 days1-0/+11
|
* dune fmtMarcos Magueta2026-09-251-4/+0
|
* Allow directory operations to fail if neededEstevan Castilho2026-08-231-2/+2
|
* Make the interfaces openEstevan Castilho2026-08-231-1/+1
|
* The directory protocolEstevan Castilho2026-08-231-0/+16