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

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

6 hours	Move to Felix namespace	adelon

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

45 hours	Complete named construction premise views	adelon

47 hours	Restore implicit set construction routing	adelon

2 days	Bind Vampire completions to requests	adelon

2 days	Use two-worker Vampire portfolios by default	adelon

2 days	Add owned Vampire request handles	adelon

3 days	Remove unsupported concurrency metrics	adelon

3 days	Run ready typed modules concurrently	adelon

3 days	Remove the legacy prover request path	adelon

10 days	Supervise Vampire process groups	adelon

10 days	Confine HTML export writes	adelon

10 days	Make structure registration transactional	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-24	Put failed TPTP to stderr in all cases again	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