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

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

7 hours	Remove some ZF stuff	adelon

45 hours	Complete named construction premise views	adelon

48 hours	Restore implicit set construction routing	adelon

3 days	Remove obsolete verification machinery	adelon

5 days	Compile exact separation declarations	adelon

5 days	Validate exact scoped Vampire obligations	adelon

9 days	Document connection search work units	adelon

9 days	Fall back after reconstruction exhaustion	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	Authorize reconstructed Horn obligations	adelon

9 days	Replay bounded Horn connections in shadow	adelon

9 days	Plan typed tasks from admitted facts	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