aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Multigroup.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* admission protocol for multigroup denial checksMarcos Magueta2026-10-091-2/+4
|
* rework evaluators and add schema scopeMarcos Magueta2026-10-081-7/+11
|
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-1/+9
|
* dune fmtMarcos Magueta2026-09-251-1/+0
|
* Multigroup registration stubEstevan Castilho2026-09-241-1/+1
|
* Multigroup objectsEstevan Castilho2026-09-111-0/+9