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

Age	Commit message (Expand)	Author
34 hours	Remove obsolete verification machinery	adelon
3 days	Correct exact semantic resolution	adelon
5 days	Establish canonical identity codecs	adelon
7 days	Fall back after reconstruction exhaustion	adelon
7 days	Bound deterministic Horn reconstruction	adelon
7 days	Move fact selection into transition inventory	adelon
7 days	Bind typed fact admission to module builders	adelon
8 days	Measure sequential verification work	adelon
8 days	Authorize reconstructed Horn obligations	adelon
8 days	Plan typed tasks from admitted facts	adelon
8 days	Authorize exact typed Vampire requests	adelon
8 days	Classify complete typed prover problems	adelon
8 days	Check direct inductives through fixed-point replay	adelon
8 days	Define bounded fixed-point kernel rules	adelon
8 days	Authorize atomic facts through exact typed imports	adelon
8 days	Replay scoped HOL derivations independently	adelon
8 days	Authorize ground reflexivity through kernel replay	adelon
8 days	Assign nominal identities to predicate signatures	adelon