RNT/lib/kernel/BranchManager.mli, branch constraints Register the branch manager as part of the object tree 2026-08-23T03:35:01+00:00 Estevan Castilho tevo@riajuu.net 2026-08-23T03:35:01+00:00 1d0b73b051cff4b14919808c51acbdd1c3e11767 






Make `update` a bit more like compare-and-swap
2026-08-23T03:06:57+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-20T00:18:32+00:00

ebea139a01d1ca3f53df9671ff4ebf7990ac26d4












BranchManager sketch
2026-08-23T03:06:57+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-20T00:00:36+00:00

465f3378daea5a6f0d44f3729c3551a9cda78ed9












BranchManager stubs
2026-08-23T03:06:56+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-13T02:36:20+00:00

403f1a62f66c33a7d39c17704f34debe579c89b0