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

Age	Commit message (Expand)	Author
8 days	Route HTML links through render context	adelon
8 days	Remove obsolete source-loading bypasses	adelon
9 days	Remove Megalodon	adelon
9 days	Return nonzero exits for verification failures	adelon
9 days	Require complete Vampire success classification	adelon
9 days	Expose resolved workspace parsing	adelon
9 days	Return malformed lexical scans as typed errors	adelon
9 days	Report lexical collisions with source locations	adelon
9 days	Parse the resolved physical source graph	adelon
9 days	Load selected sources as strict UTF-8	adelon
10 days	Retire unsound proof cache	adelon
2026-04-11	Add brute force tooltips	adelon
2026-03-07	Add HTML rendering skeleton	adelon
2026-02-20	Pass `Location` through to `VerificationResult`	adelon
2026-02-20	Tweak multicore use	adelon
2026-02-17	Fix queue behavior upon encoding crash	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	Tokenize more efficiently	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-11	Make fallback for imported file search simpler	adelon
2026-02-06	Clean warnings, drop lexicon from Megalodon export	adelon
2026-02-05	Cache encoding of hypotheses	adelon
2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon
2026-02-04	Update Api.hs	adelon
2026-01-31	Compute parser only once	adelon
2026-01-30	Link dump behaviour to caching	adelon
2026-01-13	Improve glossing errors	adelon
2025-12-09	Propagate location info further	adelon
2025-11-29	Integrate chunker and import gatherer into lexer	adelon
2025-07-16	Add quantified calcs and relax tokenization	adelon
2024-08-24	First atemped to write a new way of local function defintion	Simon-Kor
2024-08-12	more more way more urysohn	Simon-Kor
2024-08-07	Created first urysohn formalization	Simon-Kor
2024-05-22	Update defaulting for envvar	adelon
2024-05-14	Update Api.hs	adelon
2024-05-07	Sketch noun coord, symbols for reals	adelon
2024-05-07	Sketch lexicon mechanism	adelon
2024-02-10	Initial commit	adelon