felix.git/source/Test/Unit/Symdiff.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 Validate relation parameter arity 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:32:47+00:00 urn:sha1:3b573d94d4c5e82802745daa7c7d679727155e7d 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 Update relevance filter 2026-04-12T20:37:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-04-12T20:37:56+00:00 urn:sha1:0dc31a6254dded6e60b16b9ee8ab1b62d15e1773 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 Remove `lookupOp` and add marker to AST instead 2026-02-05T17:01:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T17:01:54+00:00 urn:sha1:6d9c4d9db7adcee4f7344e197163d7ae146fe72f Add location info to conjecture 2025-12-14T02:37:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T02:37:11+00:00 urn:sha1:3fe36e6f3266a7cfac51b56ead96c1e129a97ea9 Still some `<nowhere>` value as placeholder left over.