summaryrefslogtreecommitdiff
path: root/source/Test/Unit/CommandLine.hs
AgeCommit message (Expand)Author
21 hoursPlan and admit module declarations prospectivelyadelon
32 hoursRun ready typed modules concurrentlyadelon
33 hoursPreserve authorization reports on HTML failureadelon
33 hoursPublish verified HTML sequentiallyadelon
34 hoursRemove obsolete verification machineryadelon
35 hoursCut verification over to the typed driveradelon
35 hoursReport admitted typed source stateadelon
36 hoursAcquire the final prelude through the cacheadelon
4 daysRevert "Prioritize HTML source failures"adelon
4 daysPrioritize HTML source failuresadelon
4 daysClose verification output failuresadelon
4 daysComplete verification output reservationsadelon
4 daysMake source preflight HTML-onlyadelon
4 daysRestore precise verification diagnosticsadelon
4 daysRequire stores for verification commandsadelon
5 daysRoute complete graphs through one checkeradelon
8 daysAuthorize atomic facts through exact typed importsadelon
8 daysAuthorize ground reflexivity through kernel replayadelon
8 daysCheck admitted modules sequentiallyadelon
9 daysConfine HTML export writesadelon
9 daysReturn nonzero exits for verification failuresadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:42 +0000