aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/BranchManager.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* merge lifecycle-ergonomics and rework modes and contain checksMarcos Magueta2026-10-111-5/+2
|\
* | admission protocol for multigroup denial checksMarcos Magueta2026-10-091-2/+18
* | testsMarcos Magueta2026-10-081-0/+3
* | rework evaluators and add schema scopeMarcos Magueta2026-10-081-5/+5
* | drop journal in favor of local branch historyMarcos Magueta2026-10-071-5/+5
|/
* dune fmtMarcos Magueta2026-09-251-70/+73
* Make objects printableEstevan Castilho2026-09-241-0/+2
* Do not assume that the hash of an object is its storage addressEstevan Castilho2026-09-191-3/+11
* fix initialization persistenceMarcos Magueta2026-09-021-2/+5
* Branch registrationEstevan Castilho2026-09-031-26/+29
* Make it build againEstevan Castilho2026-08-291-0/+1
* 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