aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Stylelifecycle-ergonomicsEstevan Castilho2026-10-101-1/+1
|
* Make sessions counted, rather than exclusiveEstevan Castilho2026-10-101-24/+1
|
* Make namespaces take ownership of the handles it is givenEstevan Castilho2026-10-101-1/+1
|
* Log whenever managed objects are garbage collectedEstevan Castilho2026-10-081-3/+3
|
* FOL test with program instantiationrelation-bipartite-registrationMarcos Magueta2026-10-021-1/+93
|
* fix multigroup deriving and testsMarcos Magueta2026-10-011-4/+20
|
* follow only a snapshot instead of the dead branchsessionMarcos Magueta2026-09-271-7/+5
|
* drop session require in favor of handle'sMarcos Magueta2026-09-271-1/+1
|
* plug session test and ephemeral relation test fixMarcos Magueta2026-09-271-3/+3
|
* ensure we create missing directories testMarcos Magueta2026-09-271-1/+8
|
* session testMarcos Magueta2026-09-271-0/+86
|
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-265-263/+156
|
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 04:21:06 +0000