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

Age	Commit message (Collapse)	Author
23 hours	Use two-worker Vampire portfolios by default	adelon

36 hours	Name cleanup	adelon

36 hours	Close content-addressed redesign documentation	adelon

5 days	Use fresh proof dump directories	adelon

5 days	Require stores for verification commands	adelon

8 days	Verify TH0 with PATH Vampire	adelon

8 days	Check admitted modules sequentially	adelon

9 days	Return nonzero exits for verification failures	adelon

9 days	Require complete Vampire success classification	adelon

9 days	Expose resolved workspace parsing	adelon

10 days	Retire unsound proof cache	adelon

10 days	Separate golden acceptance from tests	adelon

2026-02-11	Update readme.md	adelon

2026-02-11	Update env vars for provers	adelon
	This avoids overlapping with Naproche's env vars.
2026-02-11	Make fallback for imported file search simpler	adelon
	With these defaults, it should no longer be necessary to set `NAPROCHE_LIB` just for running library files from the root of this project.
2025-12-03	Bump tested Vampire version to 5.0.0	adelon

2024-07-23	Update readme.md	adelon

2024-02-10	Initial commit	adelon