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

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

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

2 days	Tighten executor and candidate invariants	adelon

2 days	Bind Vampire completions to requests	adelon

2 days	Use two-worker Vampire portfolios by default	adelon

2 days	Plan and admit module declarations prospectively	adelon

2 days	Add owned Vampire request handles	adelon

3 days	Run ready typed modules concurrently	adelon

3 days	Remove the legacy prover request path	adelon

6 days	Require stores for verification commands	adelon

6 days	Bind prepared request identity to execution mode	adelon

6 days	Bind Vampire completion to prepared request	adelon

9 days	Verify TH0 with PATH Vampire	adelon

9 days	Measure sequential verification work	adelon

9 days	Render checked prover problems as FOF or TH0	adelon

9 days	Authorize legacy declaration batches	adelon

9 days	Prepare complete legacy obligation batches	adelon

10 days	Supervise Vampire process groups	adelon

10 days	Allocate task-local TPTP names	adelon
	Distinct target variable names exposed a replacement-condition scope lift that source-derived names had masked. Keep those variables under the replacement existential.
10 days	Confine HTML export writes	adelon

10 days	Remove source annotations from TPTP tasks	adelon

10 days	Drain Vampire output while feeding input	adelon

10 days	Return nonzero exits for verification failures	adelon

10 days	Require complete Vampire success classification	adelon

2026-02-26	Improve process cleanup	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	Skip intermediate datatype	adelon

2026-02-24	Parse Vampire answers	adelon

2026-02-24	Sketch parser for Vampire's status lines	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-06	Clean warnings, drop lexicon from Megalodon export	adelon

2026-02-05	Stream to stdin	adelon

2026-02-05	Clean imports	adelon

2026-02-05	Cache hypothesis line	adelon

2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon

2025-11-28	Update for newer text-builder	adelon

2025-07-02	Merge pull request #2 from Simon-Kor/main	adelon
	Merge (finally)
2024-08-07	Created first urysohn formalization	Simon-Kor

2024-07-23	Update prover answer prefixes	adelon

2024-02-10	Initial commit	adelon