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

Age	Commit message (Collapse)	Author
9 days	Route HTML links through render context	adelon

9 days	Remove obsolete source-loading bypasses	adelon

10 days	Remove Megalodon	adelon

10 days	Return nonzero exits for verification failures	adelon

10 days	Require complete Vampire success classification	adelon

10 days	Expose resolved workspace parsing	adelon

10 days	Return malformed lexical scans as typed errors	adelon

10 days	Report lexical collisions with source locations	adelon
	Built-in patterns remain authoritative syntax seeds: their first source declaration records provenance without replacing the seeded marker.
10 days	Parse the resolved physical source graph	adelon

10 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
	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-13	Add streaming verification with bounded queue	adelon

2026-02-11	Make fallback for imported file search simpler	adelon
	With these defaults, it should no longer be necessary to set `NAPROCHE_LIB` just for running library files from the root of this project.
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
	Run with `--uncached` if you want to dump all tasks.
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
	Drops dependency on `regex-applicative-text`.
2025-07-16	Add quantified calcs and relax tokenization	adelon
	Use an `\iff`-calc to speed up `union_as_unions`. Also remove `in_implies_neq` which seems to interact badly with the choice axiom used by superposition-based proofs like Vampire in cut-down problems.
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