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

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

6 hours	Move to Felix namespace	adelon

7 hours	Simplify entry/CLI, track slowest ATP tasks	adelon

25 hours	Support exact nested inductive contexts	adelon

28 hours	Restore checked relational replacement	adelon

30 hours	Restore exact cases and contradiction	adelon

44 hours	Centralize checked set constructions	adelon

45 hours	Complete named construction premise views	adelon

47 hours	Restore implicit set construction routing	adelon

2 days	Unify checked candidate planning	adelon

2 days	Make Vampire resolution modes explicit	adelon

2 days	Cleanup	adelon

2 days	Name prospective lowering explicitly	adelon

2 days	Validate speculative admission ordering	adelon

2 days	Plan and admit module declarations prospectively	adelon

2 days	Route declarations through checked envelopes	adelon

2 days	Separate declaration semantics from evidence	adelon

2 days	Add owned Vampire request handles	adelon

3 days	Prioritize batch integrity failures	adelon

3 days	Batch ready declaration obligations	adelon

3 days	Support contextual exact abbreviations	adelon

3 days	Compile exact structure declarations	adelon

3 days	Persist exact structure descriptors	adelon

4 days	Support proof-local function graphs	adelon

4 days	Confine indirect Vampire discharge	adelon

4 days	Support terminal exact contradiction	adelon

4 days	Strengthen exact datatype trust boundary	adelon

4 days	Authorize exact datatype families	adelon

4 days	Authorize exact guarded rule sets	adelon

5 days	Prepare exact inductive declarations	adelon

5 days	Compile exact separation declarations	adelon

5 days	Rename shared proof validation error	adelon

5 days	Lower exact omitted proofs	adelon

5 days	Separate ATP premises from kernel imports	adelon

5 days	Confine scoped proof composition	adelon

5 days	Locate exact proof obligation failures	adelon

5 days	Compile exact ordinary proofs	adelon

5 days	Validate exact scoped Vampire obligations	adelon

5 days	Correct exact semantic resolution	adelon

5 days	Distinguish semantic global targets	adelon

5 days	Authorize exact defining equations	adelon

5 days	Compile exact declarations to checked core	adelon

5 days	Bind exact globals in semantic deltas	adelon

5 days	Fail on incomplete sealed evidence	adelon

5 days	Keep cached validation corruption fatal	adelon

5 days	Install cached modules atomically	adelon

5 days	Fold transitive sealed imports	adelon

5 days	Reuse compiled declaration validation	adelon

5 days	Unify live and cached proof validation	adelon

6 days	Validate imported evidence content	adelon