summaryrefslogtreecommitdiff
path: root/source
AgeCommit message (Expand)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
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
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 23:03:53 +0000