felix.git/source/Filter.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 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 Fix `filterTask`, make var names more consistent 2025-12-17T18:35:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-17T18:35:56+00:00 urn:sha1:a077ea7a68bd7d723da499057b484bcb265b5336 Propagate location info further 2025-12-09T22:20:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-09T22:20:55+00:00 urn:sha1:2975712d575c28d4820e379e55609960a71dcd1d Remove Iota from internal syntax 2025-12-04T12:58:47+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-04T12:58:47+00:00 urn:sha1:8257bc9d5c6fc021c12a54539170d04237243281 Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968