summaryrefslogtreecommitdiff
path: root/source
AgeCommit message (Collapse)Author
2026-03-07Make references linksadelon
2026-03-07Update Html.hsadelon
2026-03-07Deduplicate warnings for missing render hintsadelon
2026-03-07Refine TOCadelon
2026-03-07Update TOCadelon
2026-03-07Add basic dark mode support in HTML rendereradelon
2026-03-07Render markeradelon
2026-03-07Simplify HTML renderingadelon
2026-03-07Fix rendering of relation symbolsadelon
2026-03-07Add HTML rendering skeletonadelon
2026-03-06Add Lucid and vendored MathML moduleadelon
2026-02-26Improve process cleanupadelon
2026-02-24Add hint to `CounterSatisfiable` errorsadelon
2026-02-24Update CommandLine.hsadelon
2026-02-24Print failure status lastadelon
2026-02-24Put failed TPTP to stderr in all cases againadelon
2026-02-24Use shorter `_local_N` marker in TPTP outputadelon
2026-02-24Improve error messages for prover failureadelon
2026-02-24Skip intermediate datatypeadelon
2026-02-24Parse Vampire answersadelon
2026-02-24Sketch parser for Vampire's status linesadelon
2026-02-22Add `INVARIANT` note to `checkingGoals`adelon
2026-02-22Fail earlier for nested comprehensionsadelon
2026-02-22Fix proof-local definitions with replacementadelon
2026-02-21Update Adapt.hsadelon
2026-02-20Initialize `lexiconAllPatterns`adelon
2026-02-20Pass `Location` through to `VerificationResult`adelon
2026-02-20Tweak multicore useadelon
2026-02-18Allow more keywordsadelon
2026-02-17Allow ticks in subscript of varsadelon
This also changes the encoding of the ticks in TPTP to just an underscore.
2026-02-17Fix queue behavior upon encoding crashadelon
2026-02-14Fix parentheses in `Show` instance of `VarSymbol`adelon
2026-02-14Update SmtLib.hsadelon
2026-02-14Fix induction rule validationadelon
2026-02-14Simplifyadelon
2026-02-13Collect more location informationadelon
2026-02-13Also search for files in `debug/`adelon
2026-02-13Update Api.hsadelon
2026-02-13Revise caching of successful prefixadelon
2026-02-13Use packed representation for `Location`adelon
2026-02-13Tokenize more efficientlyadelon
2026-02-13Stream parsing and glossingadelon
2026-02-13Stop passing on lexiconadelon
2026-02-13Compute `fullparses (...)` earlyadelon
2026-02-13Quasishortcircuit to first *emitted* failureadelon
Without this the reported failure would be the first task to fail chronologically. This would not necessarily be the first task to fail in the text, so we need to wait for the other queued tasks to finish and then select the first task in emission order.
2026-02-13Add streaming verification with bounded queueadelon
2026-02-13Use callbacks instead of Writeradelon
2026-02-13Show better errors when ATPs are misconfiguredadelon
2026-02-12Update Unit.hsadelon
2026-02-12Delete Nominal.hsadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 22:19:41 +0000