aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* admission protocol for multigroup denial checksMarcos Magueta2026-10-091-22/+59
|
* purge schema in favor of simple namespaceMarcos Magueta2026-10-081-63/+143
|
* rework evaluators and add schema scopeMarcos Magueta2026-10-081-53/+68
|
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-7/+7
|
* fix multigroup deriving and testsMarcos Magueta2026-10-011-0/+22
|
* ephemeral and substantial relation storage routingMarcos Magueta2026-10-011-3/+34
|
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-1/+1
|
* dune fmtMarcos Magueta2026-09-251-36/+40
|
* Multigroup registration stubEstevan Castilho2026-09-241-6/+17
|
* Make objects printableEstevan Castilho2026-09-241-0/+2
|
* Multigroup objectsEstevan Castilho2026-09-111-0/+65