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

Age	Commit message (Expand)	Author
15 hours	Tighten executor and candidate invariants	adelon
15 hours	Bind Vampire completions to requests	adelon
17 hours	Use two-worker Vampire portfolios by default	adelon
21 hours	Plan and admit module declarations prospectively	adelon
22 hours	Add owned Vampire request handles	adelon
32 hours	Run ready typed modules concurrently	adelon
34 hours	Remove the legacy prover request path	adelon
4 days	Require stores for verification commands	adelon
5 days	Bind prepared request identity to execution mode	adelon
5 days	Bind Vampire completion to prepared request	adelon
7 days	Verify TH0 with PATH Vampire	adelon
8 days	Measure sequential verification work	adelon
8 days	Render checked prover problems as FOF or TH0	adelon
8 days	Authorize legacy declaration batches	adelon
8 days	Prepare complete legacy obligation batches	adelon
8 days	Supervise Vampire process groups	adelon
8 days	Allocate task-local TPTP names	adelon
9 days	Confine HTML export writes	adelon
9 days	Remove source annotations from TPTP tasks	adelon
9 days	Drain Vampire output while feeding input	adelon
9 days	Return nonzero exits for verification failures	adelon
9 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
2024-08-07	Created first urysohn formalization	Simon-Kor
2024-07-23	Update prover answer prefixes	adelon
2024-02-10	Initial commit	adelon