aboutsummaryrefslogtreecommitdiffstats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* FormattingEstevan Castilho12 days6-30/+33
|
* Forsake `fmap`Estevan Castilho12 days2-10/+10
|
* temporary handle instead of type description everywhereMarcos Magueta2026-10-123-4/+4
|
* relation scan with enumerable and releaseMarcos Magueta2026-10-123-20/+11
|
* tests and some pointer for program on ephemeralMarcos Magueta2026-10-115-177/+326
|
* testsMarcos Magueta2026-10-082-10/+30
|
* fix testsdrop-journalMarcos Magueta2026-10-088-178/+274
|
* journal for the websitejournalMarcos Magueta2026-10-052-0/+134
|
* FOL test with program instantiationrelation-bipartite-registrationMarcos Magueta2026-10-021-1/+93
|
* fix multigroup deriving and testsMarcos Magueta2026-10-013-14/+52
|
* 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-272-3/+4
|
* 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-268-268/+178
|
* dune fmtMarcos Magueta2026-09-259-101/+98
|
* Merge branch 'branch-registration'Estevan Castilho2026-09-261-2/+5
|\
| * Actually register the multigroupEstevan Castilho2026-09-241-1/+1
| |
| * Multigroup registration stubEstevan Castilho2026-09-241-1/+4
| |
* | cardinality testsMarcos Magueta2026-09-232-0/+26
| |
* | fix testsMarcos Magueta2026-09-234-10/+163
|/
* 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
|
* Merge branch 'master' into evaluatorEstevan Castilho2026-09-171-35/+13
|\
| * Forsake `lookup'`Estevan Castilho2026-09-171-1/+1
| |
| * Directory and registry ergonomicsEstevan Castilho2026-09-121-28/+11
| |
* | lambda latinMarcos Magueta2026-09-132-0/+143
| |
* | fol evaluatorMarcos Magueta2026-09-134-22/+112
| |
* | appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-1/+1
|/
* Multigroup objectsEstevan Castilho2026-09-111-4/+4
|
* Allow users to defer persistence when constructing tree nodesEstevan Castilho2026-09-072-0/+31
|
* Substantial relation kernel objectMarcos Magueta2026-09-032-0/+45
|
* Branch registrationEstevan Castilho2026-09-031-3/+30
|
* Registration tests stubEstevan Castilho2026-08-232-0/+22
|
* 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-234-199/+4
| |
* | 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-234-22/+19
| | | | | | | | This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
* | formatMarcos Magueta2026-08-234-19/+22
|/
* Actually test persistenceEstevan Castilho2026-08-011-2/+34
|
* Some tests for the merkle treeEstevan Castilho2026-08-012-0/+56
|
* Move storage-related helpers to `Helpers`Estevan Castilho2026-08-012-23/+29
|
* Revert "initialization"Marcos Magueta2026-07-312-70/+0
| | | | This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.
* initializationMarcos Magueta2026-07-312-0/+70
|
* Serialize runtime objects: Multigroup, Branch & RelationMarcos Magueta2026-07-302-1/+50
|
* Lifecycle ManagerMarcos Magueta2026-07-213-2/+149
|