aboutsummaryrefslogtreecommitdiffstats
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* | 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
* | 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
* initializationMarcos Magueta2026-07-312-0/+70
* Serialize runtime objects: Multigroup, Branch & RelationMarcos Magueta2026-07-302-1/+50
* Lifecycle ManagerMarcos Magueta2026-07-213-2/+149
* Storage layer scaffolding, LMDB backendEstevan Castilho2026-07-144-2/+76
* object manager initial model and sotrage stubsMarcos Magueta2026-07-072-0/+5
* Nuke the old codeEstevan Castilho2026-07-027-1365/+0
* Project C interface, reroute FOL plan enums & formatMarcos Magueta2026-06-057-426/+318
* VM: Projection instructionMarcos Magueta2026-05-191-0/+40
* CI: Fix windows build with API annotationsMarcos Magueta2026-05-191-1/+1