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	Remove some ZF stuff	adelon

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

24 hours	Add bounded parity acceptance target	adelon

3 days	Close the Phase 6 typed-driver gate	adelon

3 days	Activate the typed aggregate library	adelon

3 days	Activate exact topology consumers	adelon

3 days	Activate exact topological spaces	adelon

3 days	Migrate preclosure spaces	adelon

3 days	Migrate meet semilattices	adelon

3 days	Migrate loops to exact checking	adelon

3 days	Migrate quasigroups to exact checking	adelon

3 days	Migrate monoids to exact checking	adelon

3 days	Migrate semigroups to exact checking	adelon

3 days	Migrate magma to exact checking	adelon

3 days	Activate exact relation closure checking	adelon

3 days	Activate exact equivalence checking	adelon

3 days	Move corpus verification to make lib	adelon

6 days	Use fresh proof dump directories	adelon

6 days	Require stores for verification commands	adelon

10 days	Correct profile phony targets	adelon

11 days	Retire unsound proof cache	adelon

11 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