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

Age	Commit message (Expand)	Author
34 hours	Remove obsolete verification machinery	adelon
35 hours	Report admitted typed source state	adelon
4 days	Show verification routes in reports	adelon
8 days	Authorize atomic facts through exact typed imports	adelon
8 days	Authorize ground reflexivity through kernel replay	adelon
8 days	Check admitted modules sequentially	adelon
8 days	Allocate task-local TPTP names	adelon
9 days	Validate relation parameter arity	adelon
9 days	Remove source annotations from TPTP tasks	adelon
2026-03-07	Update tests	adelon
2026-02-24	Use shorter `_local_N` marker in TPTP output	adelon
2026-02-14	Update golden tests	adelon
2026-02-06	Use tries for patterns, skip trivial hypotheses	adelon
2026-02-05	Cache encoding of hypotheses	adelon
2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon
2026-02-05	Remove `lookupOp` and add marker to AST instead	adelon
2025-12-17	Fix `filterTask`, make var names more consistent	adelon
2025-12-16	Add location info to implicit QED step	adelon
2025-12-14	Fix column location	adelon
2025-12-14	Add more location info in tasks	adelon
2025-12-14	Add location info to conjecture	adelon
2025-12-09	Propagate location info further	adelon
2025-12-09	Gather some location info from parser	adelon
2025-11-29	Integrate chunker and import gatherer into lexer	adelon
2025-11-27	Add basic parameter handling for relators	adelon
2025-08-12	Allow relation symbols with parameters	adelon
2024-02-10	Initial commit	adelon