aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fix build, allow users to register relationsrelation-registrationEstevan Castilho2026-09-261-0/+1
|
* dune fmtMarcos Magueta2026-09-257-89/+82
|
* cardinality testsMarcos Magueta2026-09-231-0/+24
|
* fix testsMarcos Magueta2026-09-233-8/+155
|
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-183-8/+5
|
* substantial relation context removal and test fixMarcos Magueta2026-09-181-4/+9
|
* fix lambda test and executeMarcos Magueta2026-09-181-5/+13
|
* lambda latinMarcos Magueta2026-09-131-0/+142
|
* fol evaluatorMarcos Magueta2026-09-132-20/+102
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-1/+1
|
* Allow users to defer persistence when constructing tree nodesEstevan Castilho2026-09-071-0/+30
|
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+44
|
* Merge branch 'ocaml-rewrite' into new-obEstevan Castilho2026-08-231-9/+31
|\
| * B-tree iteration constructs (#49)Estevan Castilho2026-08-231-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
* | Tidy upEstevan Castilho2026-08-233-195/+3
| |
* | Allow storage backend addresses to be labels rather than hashesEstevan Castilho2026-08-231-3/+3
| |
* | Move StringKey out of the testsEstevan Castilho2026-08-231-9/+1
| |
* | Revert "format"Marcos Magueta2026-08-232-14/+13
| | | | | | | | This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
* | formatMarcos Magueta2026-08-232-13/+14
|/
* Actually test persistenceEstevan Castilho2026-08-011-2/+34
|
* Some tests for the merkle treeEstevan Castilho2026-08-011-0/+55
|
* Move storage-related helpers to `Helpers`Estevan Castilho2026-08-011-23/+4
|
* Revert "initialization"Marcos Magueta2026-07-311-69/+0
| | | | This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.
* initializationMarcos Magueta2026-07-311-0/+69
|
* Serialize runtime objects: Multigroup, Branch & RelationMarcos Magueta2026-07-301-0/+45
|
* Lifecycle ManagerMarcos Magueta2026-07-211-0/+147
|
* Storage layer scaffolding, LMDB backendEstevan Castilho2026-07-141-0/+53