felix.git/source/Encoding.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T19:31:20+00:00 Remove the legacy prover request path 2026-08-03T19:31:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:31:20+00:00 urn:sha1:2e352efa3504067c920c369f0ba453c15240cb07 Reject unresolved structure operations before encoding 2026-07-28T00:41:57+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T00:41:57+00:00 urn:sha1:e3c3aa2807abeb91ed12668b3fabfc7cbd7dbc0c Allocate task-local TPTP names 2026-07-27T17:50:15+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:59:05+00:00 urn:sha1:1a6f4ba1adc8e5f44d0b4973b6bcdb9b4e08de0f Distinct target variable names exposed a replacement-condition scope lift that source-derived names had masked. Keep those variables under the replacement existential. Confine HTML export writes 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T14:24:59+00:00 urn:sha1:396731a119cc9f0f1632319b68921ac8d6b45de0 Make structure registration transactional 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T14:23:12+00:00 urn:sha1:4a65f1430fdf3e8d75c36b5d74e07deb07b17f9e Remove source annotations from TPTP tasks 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T02:42:09+00:00 urn:sha1:904ca07b7a89e3a91420876ef08e7113aae906e4 Reject Object-Symbol Marker Collisions 2026-07-23T22:01:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-23T22:01:14+00:00 urn:sha1:ebdcfd251236b64774ce6c57009f4543d63647e5 Use tries for patterns, skip trivial hypotheses 2026-02-06T01:26:17+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-06T01:26:17+00:00 urn:sha1:8a6e8d455048b2510e25af943785241752c29b9c Stream to stdin 2026-02-05T21:57:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T21:57:49+00:00 urn:sha1:e129b15e5cede59252698f629e26bf9e435b82b0 Cache hypothesis line 2026-02-05T21:02:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T21:02:25+00:00 urn:sha1:f30325ed4d1ca2035b8d4ae4e3dc2fdca4e9ad44