aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Initialization.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* beam subsystem hack for karuta execution under internal nodeHEADmasterMarcos Magueta4 days1-3/+2
|
* `fold_left` -> `foldm_right`Estevan Castilho11 days1-1/+1
|
* result fold leftMarcos Magueta2026-10-121-9/+1
|
* rework evaluators and add schema scopeMarcos Magueta2026-10-081-30/+40
|
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-16/+45
|
* add session object and protocol with pinningMarcos Magueta2026-09-261-0/+1
|
* dune fmtMarcos Magueta2026-09-251-1/+1
|
* fol evaluatorMarcos Magueta2026-09-131-1/+11
|
* Branch registrationEstevan Castilho2026-09-031-2/+2
|
* Make it build againEstevan Castilho2026-08-291-1/+1
|
* Register the branch manager as part of the object treeEstevan Castilho2026-08-231-118/+8
|
* Initialization with Branch State and IndexMarcos Magueta2026-08-011-0/+122
|
* Revert "initialization"Marcos Magueta2026-07-311-100/+0
| | | | This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.
* initializationMarcos Magueta2026-07-311-0/+100
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:59:09 +0000