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

Age	Commit message (Expand)	Author
34 hours	Close the Phase 6 typed-driver gate	adelon
37 hours	Activate the typed aggregate library	adelon
38 hours	Activate exact topology consumers	adelon
39 hours	Activate exact topological spaces	adelon
40 hours	Migrate preclosure spaces	adelon
40 hours	Migrate meet semilattices	adelon
41 hours	Migrate loops to exact checking	adelon
41 hours	Migrate quasigroups to exact checking	adelon
41 hours	Migrate monoids to exact checking	adelon
41 hours	Migrate semigroups to exact checking	adelon
41 hours	Migrate magma to exact checking	adelon
43 hours	Activate exact relation closure checking	adelon
43 hours	Activate exact equivalence checking	adelon
43 hours	Move corpus verification to make lib	adelon
4 days	Use fresh proof dump directories	adelon
4 days	Require stores for verification commands	adelon
9 days	Correct profile phony targets	adelon
9 days	Retire unsound proof cache	adelon
9 days	Separate golden acceptance from tests	adelon
2026-04-13	Add basic website deployment	adelon
2026-02-17	Bump checking times	adelon
2026-02-13	Also search for files in `debug/`	adelon
2026-02-13	Correct rotation of memory profile PS summary	adelon
2026-02-12	Update Makefile	adelon
2024-02-10	Initial commit	adelon