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

Age	Commit message (Collapse)	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

4 days	Check exact declarations in typed modules	adelon

4 days	Authorize exact defining equations	adelon

4 days	Compile exact declarations to checked core	adelon

4 days	Bind exact globals in semantic deltas	adelon

4 days	Validate parsed payload bytes directly	adelon

4 days	Simplify cached occurrence validation	adelon

4 days	Fix module-major parse failure order	adelon

4 days	Count cached source chunks	adelon

4 days	Generalize identified parsed module naming	adelon

4 days	Cover parsed artifact invalidation	adelon

4 days	Reuse exact parsed module artifacts	adelon

4 days	Parse source graphs module by module	adelon

4 days	Activate exact parsed artifact rows	adelon

4 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