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

6 hours	Remove some ZF stuff	adelon

45 hours	Complete named construction premise views	adelon

47 hours	Restore implicit set construction routing	adelon

3 days	Remove obsolete verification machinery	adelon

5 days	Validate exact scoped Vampire obligations	adelon

9 days	Bound deterministic Horn reconstruction	adelon

9 days	Remove empty connection substitution	adelon

9 days	Move fact selection into transition inventory	adelon

9 days	Replay bounded Horn connections in shadow	adelon

9 days	Authorize exact typed Vampire requests	adelon

9 days	Render checked prover problems as FOF or TH0	adelon

9 days	Classify complete typed prover problems	adelon