summaryrefslogtreecommitdiff
path: root/source/Test/Unit/Checking.hs
AgeCommit message (Expand)Author
34 hoursRemove obsolete verification machineryadelon
4 daysRender checking markers directlyadelon
8 daysPrepare complete legacy obligation batchesadelon
8 daysReject unresolved structure operations before encodingadelon
8 daysReturn typed errors for malformed proof shapesadelon
8 daysMake inductive declarations transactionaladelon
8 daysValidate canonical datatype recursionadelon
8 daysAllocate task-local TPTP namesadelon
9 daysValidate relation parameter arityadelon
9 daysMake structure registration transactionaladelon
9 daysRemove source annotations from TPTP tasksadelon
9 daysReject unsound disjunctive `Assume` reductionadelon
10 daysMake `Omitted` carry its locationadelon
12 daysPrevent self-referential definitionsadelon
12 daysReject Object-Symbol Marker Collisionsadelon
12 daysUse semantic subset formula inside inductive defnsadelon
2026-07-03Track ownership of top-level symbolsadelon
2026-04-13Reserve internal labels generated by datatypesadelon
2026-04-13Implement datatypesadelon
2026-04-12Refine handling of struct labelsadelon
2026-04-12Make handling of local variables stricteradelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:34 +0000