aboutsummaryrefslogtreecommitdiff
path: root/test/test_oracle.ml
Commit message (Expand)AuthorAgeFilesLines
* docs+test: small factual corrections (item 7, part 1)Lukasz Kasprzak2026-08-121-3/+7
* test(oracle): correct M11's citation and verdict (fix round 1, F3)Lukasz Kasprzak2026-08-121-15/+19
* test: oracle vs missalemeum 2026-2027; audit the sanctoralLukasz Kasprzak2026-08-121-0/+607