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

Age	Commit message (Expand)	Author
3 days	Remove the legacy prover request path	adelon
10 days	Reject unresolved structure operations before encoding	adelon
10 days	Allocate task-local TPTP names	adelon
10 days	Confine HTML export writes	adelon
10 days	Make structure registration transactional	adelon
10 days	Remove source annotations from TPTP tasks	adelon
14 days	Reject Object-Symbol Marker Collisions	adelon
2026-02-06	Use tries for patterns, skip trivial hypotheses	adelon
2026-02-05	Stream to stdin	adelon
2026-02-05	Cache hypothesis line	adelon
2026-02-05	Cache contraction	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
2026-02-05	Skip TPTP AST	adelon
2026-02-05	Optimize data structure used for translation	adelon
2026-01-23	Add directness annotation to TPTP output	adelon
2025-12-14	Add location info to conjecture	adelon
2025-12-09	Propagate location info further	adelon
2025-12-04	Remove Iota from internal syntax	adelon
2024-02-10	Initial commit	adelon