aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/BranchManager.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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