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

Age	Commit message (Expand)	Author
10 days	Freeze checked HOL terms canonically	adelon
10 days	Check admitted modules sequentially	adelon
10 days	Seal legacy semantic modules	adelon
10 days	Authorize legacy declaration batches	adelon
10 days	Stage legacy module facts	adelon
10 days	Prepare complete legacy obligation batches	adelon
10 days	Define legacy admission vocabulary	adelon
10 days	Parse source graph into immutable modules	adelon
10 days	Make parsed syntax deeply evaluable	adelon
10 days	Publish complete HTML bundles	adelon
10 days	Route HTML links through render context	adelon
10 days	Derive mounted HTML routes	adelon
10 days	Supervise Vampire process groups	adelon
10 days	Remove obsolete source-loading bypasses	adelon
10 days	Validate packed source positions during lexing	adelon
10 days	Reject unresolved structure operations before encoding	adelon
10 days	Reject unsupported definite source forms	adelon
10 days	Reject unresolved quantified term holes	adelon
10 days	Preserve callbacks before late parse failure	adelon
10 days	Resolve quantified noun binders	adelon
10 days	Scan final signature declaration	adelon
10 days	Reject dependent replacement domains	adelon
10 days	Restore textual adjective signatures	adelon
10 days	Make noun phrase ordering lexicographic	adelon
10 days	Fix textual connective precedence	adelon
10 days	Return typed errors for malformed proof shapes	adelon
10 days	Parse transfinite induction continuation after method	adelon
10 days	Make dependency paths nonempty	adelon
10 days	Make inductive declarations transactional	adelon
10 days	Make ordinary facts transactional	adelon
10 days	Make signatures transactional	adelon
10 days	Make abbreviations and definitions transactional	adelon
10 days	Validate abbreviation parameters	adelon
10 days	Suppress unchecked datatype fact previews	adelon
10 days	Validate canonical datatype recursion	adelon
10 days	Allocate task-local TPTP names	adelon
10 days	Validate relation parameter arity	adelon
10 days	Remove invalid SMT-LIB exporter	adelon
10 days	Remove unreachable HTML output failures	adelon
10 days	Reject non-directory source mounts	adelon
10 days	Remove dead signature-atom scanner	adelon
10 days	Confine HTML export writes	adelon
10 days	Make structure registration transactional	adelon
10 days	Remove Megalodon	adelon
10 days	Remove source annotations from TPTP tasks	adelon
10 days	Drain Vampire output while feeding input	adelon
10 days	Return nonzero exits for verification failures	adelon
10 days	Require complete Vampire success classification	adelon
10 days	Reject unsound disjunctive `Assume` reduction	adelon
10 days	Expose resolved workspace parsing	adelon