felix.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2026-02-20	Pass `Location` through to `VerificationResult`	adelon
2026-02-20	Tweak multicore use	adelon
2026-02-18	Allow more keywords	adelon
2026-02-17	Allow ticks in subscript of vars	adelon
2026-02-17	Bump checking times	adelon
2026-02-17	Clean	adelon
2026-02-17	Create TODO.md	adelon
2026-02-17	Fix queue behavior upon encoding crash	adelon
2026-02-14	Update golden tests	adelon
2026-02-14	Fix parentheses in `Show` instance of `VarSymbol`	adelon
2026-02-14	Update SmtLib.hs	adelon
2026-02-14	Fix induction rule validation	adelon
2026-02-14	Simplify	adelon
2026-02-13	Collect more location information	adelon
2026-02-13	Also search for files in `debug/`	adelon
2026-02-13	Update Api.hs	adelon
2026-02-13	Revise caching of successful prefix	adelon
2026-02-13	Use packed representation for `Location`	adelon
2026-02-13	Delete formalizations.tex	adelon
2026-02-13	Tokenize more efficiently	adelon
2026-02-13	Correct rotation of memory profile PS summary	adelon
2026-02-13	Stream parsing and glossing	adelon
2026-02-13	Stop passing on lexicon	adelon
2026-02-13	Compute `fullparses (...)` early	adelon
2026-02-13	Quasishortcircuit to first emitted failure	adelon
2026-02-13	Add streaming verification with bounded queue	adelon
2026-02-13	Use callbacks instead of Writer	adelon
2026-02-13	Show better errors when ATPs are misconfigured	adelon
2026-02-12	Update Unit.hs	adelon
2026-02-12	Delete Nominal.hs	adelon
2026-02-12	Delete Nominal.hs	adelon
2026-02-12	Update .gitignore	adelon
2026-02-12	Update Makefile	adelon
2026-02-11	Update readme.md	adelon
2026-02-11	Update env vars for provers	adelon
2026-02-11	Make fallback for imported file search simpler	adelon
2026-02-11	Nominal sketch	adelon
2026-02-10	Fix checking of signatures	adelon
2026-02-09	Fix support for mixfix signatures	adelon
2026-02-06	Clean warnings, drop lexicon from Megalodon export	adelon
2026-02-06	Make `DeBruijn.substitute` match formalization	adelon
2026-02-06	Use tries for patterns, skip trivial hypotheses	adelon
2026-02-05	Stream to stdin	adelon
2026-02-05	Clean imports	adelon
2026-02-05	Cache hypothesis line	adelon
2026-02-05	Cache contraction	adelon
2026-02-05	Cache encoding of hypotheses	adelon
2026-02-05	Add `lexiconAllPatterns`, basic warning for dupe pattern	adelon
2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon
2026-02-05	Remove `lookupOp` and add marker to AST instead	adelon