RNT/lib/protocols/Directory.mli, branch karuta-subsystem Use finger trees in more places 2026-10-24T03:51:08+00:00 Estevan Castilho tevo@riajuu.net 2026-10-24T03:35:20+00:00 8c2f0db7337328570af57461a3d95203537ac185 






move directory out of prototype
2026-10-24T02:47:27+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-10-24T02:47:27+00:00

ff727aac88be9098cbc08e4cf6604d4fc6845f3f












dune fmt
2026-09-26T00:51:33+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-09-26T00:51:33+00:00

584fbca6d920e9a9f91d451667f9380714ac2175












Allow directory operations to fail if needed
2026-08-23T03:34:26+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-23T03:34:07+00:00

c452541e935295f2708271a12207f7c7ee2636bf












Make the interfaces open
2026-08-23T03:07:00+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-22T23:22:31+00:00

9ef2323823c8fea8cfb53e9c011433daeb7ec66f












The directory protocol
2026-08-23T03:07:00+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-22T22:16:47+00:00

300e4a04360d559618fa41fdf037a744e4e7c0eb