summaryrefslogtreecommitdiff
path: root/test/test_precedence.ml
Commit message (Expand)AuthorAgeFilesLines
* feat(ef): implement RG 33's third omission triggerLukasz Kasprzak2026-08-211-1/+1
* fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...Lukasz Kasprzak2026-08-121-1/+3
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-121-1/+1
* test(precedence): strengthen accounting test, cover order and empty sanctoralLukasz Kasprzak2026-08-111-7/+39
* kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-111-0/+76