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

Age	Commit message (Expand)	Author
3 days	Prepare exact inductive declarations	adelon
3 days	Compile exact finite-set notation	adelon
3 days	Lower exact finite-set notation	adelon
3 days	Compile exact replacement comprehensions	adelon
3 days	Lower exact replacement telescopes	adelon
3 days	Reuse exact separation validation	adelon
3 days	Compile exact separation declarations	adelon
3 days	Lower exact separation comprehensions	adelon
3 days	Rename shared proof validation error	adelon
3 days	Exercise exact escape authority	adelon
3 days	Lower exact omitted proofs	adelon
3 days	Compile exact source axioms	adelon
3 days	Derive exact proof premise selection	adelon
3 days	Separate ATP premises from kernel imports	adelon
3 days	Confine scoped proof composition	adelon
3 days	Locate exact proof obligation failures	adelon
3 days	Verify exact proof validation reuse	adelon
3 days	Compile exact ordinary proofs	adelon
3 days	Validate exact scoped Vampire obligations	adelon
3 days	Share exact scoped elaboration	adelon
3 days	Remove unused exact binder identities	adelon
3 days	Correct exact semantic resolution	adelon
3 days	Distinguish semantic global targets	adelon
3 days	Check exact declarations in typed modules	adelon
3 days	Authorize exact defining equations	adelon
3 days	Compile exact declarations to checked core	adelon
3 days	Bind exact globals in semantic deltas	adelon
3 days	Validate parsed payload bytes directly	adelon
3 days	Simplify cached occurrence validation	adelon
3 days	Fix module-major parse failure order	adelon
3 days	Count cached source chunks	adelon
3 days	Generalize identified parsed module naming	adelon
3 days	Cover parsed artifact invalidation	adelon
3 days	Reuse exact parsed module artifacts	adelon
3 days	Parse source graphs module by module	adelon
3 days	Activate exact parsed artifact rows	adelon
3 days	Retain source markers in parsed occurrences	adelon
4 days	Fail on incomplete sealed evidence	adelon
4 days	Keep cached validation corruption fatal	adelon
4 days	Confine typed verification to store authority	adelon
4 days	Validate store closures once per invocation	adelon
4 days	Install cached modules atomically	adelon
4 days	Fold transitive sealed imports	adelon
4 days	Reuse compiled declaration validation	adelon
4 days	Unify live and cached proof validation	adelon
4 days	Validate imported evidence content	adelon
4 days	Validate supplied interfaces before publication	adelon
4 days	Test prefix survival after failed readiness	adelon
4 days	Materialize imported object authority	adelon
4 days	Exercise clean warm validation through the store	adelon