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

Age	Commit message (Expand)	Author
3 days	Batch ready declaration obligations	adelon
3 days	Remove unsupported concurrency metrics	adelon
3 days	Run ready typed modules concurrently	adelon
3 days	Preserve authorization reports on HTML failure	adelon
3 days	Tighten sequential HTML presentation ownership	adelon
3 days	Share HTML target and route analysis	adelon
3 days	Cover the shared HTML presentation index	adelon
3 days	Publish verified HTML sequentially	adelon
3 days	Reuse verified presentation for HTML	adelon
3 days	Remove the residual legacy task model	adelon
3 days	Read the packaged prelude by canonical path	adelon
3 days	Keep production corpus checks out of unit tests	adelon
3 days	Remove the legacy prover request path	adelon
3 days	Reject the packaged prelude as ordinary source	adelon
3 days	Remove obsolete verification machinery	adelon
3 days	Cut verification over to the typed driver	adelon
3 days	Classify typed verification failures	adelon
3 days	Report admitted typed source state	adelon
3 days	Bound cached semantic inventory validation	adelon
3 days	Render final-prelude diagnostics	adelon
3 days	Acquire the final prelude through the cache	adelon
3 days	Activate the typed aggregate library	adelon
3 days	Activate exact topology consumers	adelon
3 days	Activate exact topological spaces	adelon
3 days	Migrate preclosure spaces	adelon
3 days	Migrate meet semilattices	adelon
3 days	Shift contextual binders under exact binders	adelon
3 days	Migrate loops to exact checking	adelon
3 days	Migrate quasigroups to exact checking	adelon
3 days	Migrate monoids to exact checking	adelon
3 days	Migrate semigroups to exact checking	adelon
3 days	Migrate magma to exact checking	adelon
3 days	Support contextual exact abbreviations	adelon
3 days	Keep API routing test synthetic	adelon
3 days	Activate exact relation closure checking	adelon
3 days	Activate exact equivalence checking	adelon
3 days	Move corpus verification to make lib	adelon
3 days	Activate exact order checking	adelon
3 days	Activate exact quasiorder checking	adelon
3 days	Compile exact structure declarations	adelon
3 days	Install base structure metadata in final prelude	adelon
3 days	Persist exact structure descriptors	adelon
3 days	Ignore commented source environments	adelon
3 days	Check CSB ordered-pair authority	adelon
3 days	Activate typed equinumerosity module	adelon
3 days	Support proof-local function graphs	adelon
4 days	Confine indirect Vampire discharge	adelon
4 days	Activate typed Cantor and fixpoint modules	adelon
4 days	Support terminal exact contradiction	adelon
4 days	Check proof-local separation specialization	adelon