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

Age	Commit message (Expand)	Author
8 hours	Restore exact proof binder and witness formsHEAD hotg	adelon
9 hours	Restore implicit set construction routing	adelon
10 hours	Restore fixed equality aliases	adelon
12 hours	Fix structure carrier membership lowering	adelon
15 hours	Bind Vampire completions to requests	adelon
15 hours	Unify checked candidate planning	adelon
17 hours	Use two-worker Vampire portfolios by default	adelon
20 hours	Name prospective lowering explicitly	adelon
20 hours	Validate speculative admission ordering	adelon
21 hours	Plan and admit module declarations prospectively	adelon
21 hours	Route declarations through checked envelopes	adelon
22 hours	Separate declaration semantics from evidence	adelon
22 hours	Add owned Vampire request handles	adelon
31 hours	Prioritize batch integrity failures	adelon
31 hours	Batch ready declaration obligations	adelon
31 hours	Remove unsupported concurrency metrics	adelon
32 hours	Run ready typed modules concurrently	adelon
33 hours	Preserve authorization reports on HTML failure	adelon
33 hours	Tighten sequential HTML presentation ownership	adelon
33 hours	Cover the shared HTML presentation index	adelon
33 hours	Publish verified HTML sequentially	adelon
33 hours	Reuse verified presentation for HTML	adelon
34 hours	Keep production corpus checks out of unit tests	adelon
34 hours	Remove the legacy prover request path	adelon
34 hours	Reject the packaged prelude as ordinary source	adelon
34 hours	Remove obsolete verification machinery	adelon
35 hours	Cut verification over to the typed driver	adelon
35 hours	Classify typed verification failures	adelon
35 hours	Report admitted typed source state	adelon
36 hours	Render final-prelude diagnostics	adelon
36 hours	Acquire the final prelude through the cache	adelon
37 hours	Activate the typed aggregate library	adelon
38 hours	Activate exact topology consumers	adelon
39 hours	Activate exact topological spaces	adelon
40 hours	Migrate preclosure spaces	adelon
40 hours	Migrate meet semilattices	adelon
41 hours	Shift contextual binders under exact binders	adelon
41 hours	Migrate loops to exact checking	adelon
41 hours	Migrate quasigroups to exact checking	adelon
41 hours	Migrate monoids to exact checking	adelon
41 hours	Migrate semigroups to exact checking	adelon
41 hours	Migrate magma to exact checking	adelon
41 hours	Support contextual exact abbreviations	adelon
42 hours	Keep API routing test synthetic	adelon
43 hours	Activate exact relation closure checking	adelon
43 hours	Activate exact equivalence checking	adelon
43 hours	Move corpus verification to make lib	adelon
44 hours	Activate exact order checking	adelon
44 hours	Activate exact quasiorder checking	adelon
45 hours	Compile exact structure declarations	adelon