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

Age	Commit message (Collapse)	Author
7 hours	Move to Felix namespace	adelon

7 hours	Move Version module	adelon

7 hours	More ZF dropping	adelon

7 hours	Simplify entry/CLI, track slowest ATP tasks	adelon

2 days	Use two-worker Vampire portfolios by default	adelon

3 days	Name cleanup	adelon

3 days	Run ready typed modules concurrently	adelon

3 days	Preserve authorization reports on HTML failure	adelon

3 days	Publish verified HTML sequentially	adelon

3 days	Reuse verified presentation for HTML	adelon

3 days	Cut verification over to the typed driver	adelon

3 days	Report admitted typed source state	adelon

3 days	Acquire the final prelude through the cache	adelon

4 days	Activate packaged prelude for protected roots	adelon

5 days	Reuse exact parsed module artifacts	adelon

5 days	Keep cached validation corruption fatal	adelon

5 days	Confine typed verification to store authority	adelon

5 days	Unify live and cached proof validation	adelon

6 days	Reuse validated typed module artifacts	adelon

6 days	Thread warm validation through typed modules	adelon

6 days	Publish typed modules through the store	adelon

6 days	Revert "Prioritize HTML source failures"	adelon
	This reverts commit 25a1956841b818f2caa6ea5cfd9b1f9daa0d6443.
6 days	Prioritize HTML source failures	adelon

6 days	Close verification output failures	adelon

6 days	Make source preflight HTML-only	adelon

6 days	Restore precise verification diagnostics	adelon

6 days	Require stores for verification commands	adelon

9 days	Authorize atomic facts through exact typed imports	adelon

9 days	Authorize ground reflexivity through kernel replay	adelon
	The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.
9 days	Check admitted modules sequentially	adelon

10 days	Publish complete HTML bundles	adelon

10 days	Confine HTML export writes	adelon

10 days	Remove Megalodon	adelon

10 days	Return nonzero exits for verification failures	adelon

10 days	Require complete Vampire success classification	adelon

11 days	Retire unsound proof cache	adelon

2026-04-14	Prefix URLs with directory (e.g. `library/`)	adelon

2026-03-07	Add HTML rendering skeleton	adelon

2026-02-24	Add hint to `CounterSatisfiable` errors	adelon

2026-02-24	Update CommandLine.hs	adelon

2026-02-24	Print failure status last	adelon

2026-02-24	Put failed TPTP to stderr in all cases again	adelon

2026-02-24	Improve error messages for prover failure	adelon

2026-02-24	Parse Vampire answers	adelon

2026-02-20	Pass `Location` through to `VerificationResult`	adelon

2026-02-13	Add streaming verification with bounded queue	adelon

2026-02-13	Show better errors when ATPs are misconfigured	adelon

2026-02-11	Update env vars for provers	adelon
	This avoids overlapping with Naproche's env vars.
2026-02-05	Use `Map` over `HashMap`	adelon

2026-02-05	Optimize data structure used for translation	adelon
	Splits mixfix data in lexicon into two data structures: a precedence table used for the parser and a mapping from symbols to markers used for the TPTP export.