aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Scope.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-09admission protocol for multigroup denial checksMarcos Magueta1-1/+7
2026-10-07scope and source for evaluatorsMarcos Magueta1-0/+65