aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/BranchManager.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Branch serializationEstevan Castilho2026-08-271-1/+8
|
* The branch manager should persist changes to the rootEstevan Castilho2026-08-231-1/+7
|
* Register the branch manager as part of the object treeEstevan Castilho2026-08-231-27/+36
|
* Tidy upEstevan Castilho2026-08-231-6/+10
|
* Make `update` a bit more like compare-and-swapEstevan Castilho2026-08-231-15/+21
|
* BranchManager sketchEstevan Castilho2026-08-231-11/+35
|
* BranchManager stubsEstevan Castilho2026-08-231-0/+29