aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-10-10Stylelifecycle-ergonomicsEstevan Castilho1-1/+1
2026-10-10Make sessions counted, rather than exclusiveEstevan Castilho1-24/+1
2026-10-10Make namespaces take ownership of the handles it is givenEstevan Castilho1-1/+1
2026-10-08Log whenever managed objects are garbage collectedEstevan Castilho1-3/+3
2026-10-01fix multigroup deriving and testsMarcos Magueta1-4/+20
2026-09-27follow only a snapshot instead of the dead branchsessionMarcos Magueta1-7/+5
2026-09-27drop session require in favor of handle'sMarcos Magueta1-1/+1
2026-09-27plug session test and ephemeral relation test fixMarcos Magueta1-3/+3
2026-09-27session testMarcos Magueta1-0/+86
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta3-99/+62
2026-09-25dune fmtMarcos Magueta3-52/+56
2026-09-23fix testsMarcos Magueta1-0/+151
2026-09-18make substantial relation use merkle.interfaceMarcos Magueta1-4/+3
2026-09-13fol evaluatorMarcos Magueta1-20/+31
2026-09-13appropriate enumeration for tuple split on object and residentMarcos Magueta1-1/+1
2026-09-07Allow users to defer persistence when constructing tree nodesEstevan Castilho1-0/+30
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+44
2026-08-23Move StringKey out of the testsEstevan Castilho1-9/+1
2026-08-23Revert "format"Marcos Magueta1-12/+11
This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
2026-08-23formatMarcos Magueta1-11/+12
2026-08-23B-tree iteration constructs (#49)Estevan Castilho1-9/+31
* Generic `sequence`, finger tree `map2`/`zip` * `fold_left` on B-trees * Finger tree `join` * `iter`, more tests * We do not need `keys` when traversing through a trunk node
2026-08-01Actually test persistenceEstevan Castilho1-2/+34
2026-08-01Some tests for the merkle treeEstevan Castilho1-0/+55
2026-07-31Revert "initialization"Marcos Magueta1-69/+0
This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.
2026-07-31initializationMarcos Magueta1-0/+69