summaryrefslogtreecommitdiff
path: root/test/golden/separation
AgeCommit message (Expand)Author
30 hoursRemove obsolete verification machineryadelon
31 hoursReport admitted typed source stateadelon
4 daysShow verification routes in reportsadelon
8 daysAuthorize atomic facts through exact typed importsadelon
8 daysAuthorize ground reflexivity through kernel replayadelon
8 daysCheck admitted modules sequentiallyadelon
8 daysAllocate task-local TPTP namesadelon
8 daysValidate relation parameter arityadelon
8 daysRemove source annotations from TPTP tasksadelon
2026-03-07Update testsadelon
2026-02-14Update golden testsadelon
2026-02-05Remove `lookupLexicalItem`, attach info in AST insteadadelon
2025-12-17Fix `filterTask`, make var names more consistentadelon
2025-12-14Fix column locationadelon
2025-12-14Add more location info in tasksadelon
2025-12-14Add location info to conjectureadelon
2025-12-09Propagate location info furtheradelon
2025-12-09Gather some location info from parseradelon
2025-11-29Integrate chunker and import gatherer into lexeradelon
2025-11-27Add basic parameter handling for relatorsadelon
2025-08-12Allow relation symbols with parametersadelon
2024-02-10Initial commitadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 01:14:14 +0000