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

Age	Commit message (Expand)	Author
6 hours	Move to Felix namespace	adelon
6 hours	Move Version module	adelon
6 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
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
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
2026-02-05	Use `Map` over `HashMap`	adelon
2026-02-05	Optimize data structure used for translation	adelon