felix.git/source/Tptp, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T13:28:19+00:00 Cleanup 2026-08-04T13:28:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T13:28:19+00:00 urn:sha1:959d4172cc1a8d264d0a870a8a93482b283bb264 Remove Phase 0 migration residue 2026-08-03T22:40:52+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T22:40:52+00:00 urn:sha1:3fa692a0c49b085a3ba43cc576dbabeb7a866882 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. Remove invalid SMT-LIB exporter 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:22:35+00:00 urn:sha1:74d135de8924844b5db859a08c2b55ca9b099619 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 Update SmtLib.hs 2026-02-13T23:32:30+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-13T23:32:30+00:00 urn:sha1:806c46bad96a1e1aa61d740cfdd25aa9178127d2 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 Cache encoding of hypotheses 2026-02-05T20:03:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T20:03:20+00:00 urn:sha1:54ae3e3d02af5e26e1f92f2a3766ac85e8116294 Remove `lookupLexicalItem`, attach info in AST instead 2026-02-05T18:50:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T18:50:34+00:00 urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06c Prepare mixfix refactor 2026-02-05T16:00:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T16:00:19+00:00 urn:sha1:b5e47cd41837d65973b3c29603b7a335436c398a