summaryrefslogtreecommitdiff
path: root/test/golden/indefinite-terms
AgeCommit message (Expand)Author
34 hoursRemove obsolete verification machineryadelon
35 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
9 daysRemove source annotations from TPTP tasksadelon
2026-03-07Update testsadelon
2026-02-14Update golden testsadelon
2026-02-06Use tries for patterns, skip trivial hypothesesadelon
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
2024-05-07Sketch noun coord, symbols for realsadelon
2024-02-10Initial commitadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:22:22 +0000