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

Age	Commit message (Collapse)	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
	Distinct target variable names exposed a replacement-condition scope lift that source-derived names had masked. Keep those variables under the replacement existential.
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
	Splits mixfix data in lexicon into two data structures: a precedence table used for the parser and a mapping from symbols to markers used for the TPTP export.
2026-01-23	Add directness annotation to TPTP output	adelon

2025-12-14	Add location info to conjecture	adelon
	Still some `<nowhere>` value as placeholder left over.
2025-12-09	Propagate location info further	adelon

2025-12-04	Remove Iota from internal syntax	adelon

2024-02-10	Initial commit	adelon