aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Initialization.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* fol evaluatorMarcos Magueta2026-09-131-1/+4
|
* Register the branch manager as part of the object treeEstevan Castilho2026-08-231-9/+2
|
* Initialization with Branch State and IndexMarcos Magueta2026-08-011-0/+10
|
* Revert "initialization"Marcos Magueta2026-07-311-19/+0
| | | | This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.
* initializationMarcos Magueta2026-07-311-0/+19