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

Age	Commit message (Collapse)	Author
3 days	Locate invalid datatype premises	adelon

3 days	Lower fixed exact set terms uniformly	adelon

3 days	Compile exact datatype declarations	adelon

3 days	Authorize exact datatype families	adelon

3 days	Prepare exact datatype declarations	adelon

3 days	Authorize exact guarded rule sets	adelon

3 days	Share exact primitive vocabulary	adelon

3 days	Compile exact inductive declarations	adelon

3 days	Prepare exact inductive declarations	adelon

4 days	Compile exact finite-set notation	adelon

4 days	Lower exact finite-set notation	adelon

4 days	Compile exact replacement comprehensions	adelon

4 days	Lower exact replacement telescopes	adelon

4 days	Reuse exact separation validation	adelon

4 days	Compile exact separation declarations	adelon

4 days	Lower exact separation comprehensions	adelon

4 days	Rename shared proof validation error	adelon

4 days	Exercise exact escape authority	adelon

4 days	Lower exact omitted proofs	adelon

4 days	Compile exact source axioms	adelon

4 days	Derive exact proof premise selection	adelon

4 days	Separate ATP premises from kernel imports	adelon

4 days	Confine scoped proof composition	adelon

4 days	Locate exact proof obligation failures	adelon

4 days	Verify exact proof validation reuse	adelon

4 days	Compile exact ordinary proofs	adelon

4 days	Validate exact scoped Vampire obligations	adelon

4 days	Share exact scoped elaboration	adelon

4 days	Remove unused exact binder identities	adelon

4 days	Correct exact semantic resolution	adelon

4 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