felix.git/source/Test/Golden.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T18:46:33+00:00Cut verification over to the typed driver2026-08-03T18:46:33+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T18:46:33+00:00urn:sha1:d4667c50132fc5c55383ee3b8907705738608bffRequire stores for verification commands2026-07-31T19:52:15+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T19:52:15+00:00urn:sha1:b4dac1818cdfddd11a0d75e2dfca4946bfc9cc4fRemove Megalodon2026-07-27T16:19:29+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T02:43:33+00:00urn:sha1:829beab59eb793dda5dee8c40d57b29973fbbc5fRequire complete Vampire success classification2026-07-27T15:09:38+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T02:24:45+00:00urn:sha1:38934de7745df62a9bf8ebad3606f0ef61d508abRetire unsound proof cache2026-07-26T23:52:13+00:00adelon22380201+adelon@users.noreply.github.com2026-07-26T21:46:12+00:00urn:sha1:969ba8d821a77424bfa3892e1dfd51e59d6d5ac6Add HTML rendering skeleton2026-03-06T23:42:55+00:00adelon22380201+adelon@users.noreply.github.com2026-03-06T23:42:55+00:00urn:sha1:f875b6998dd49950bbd06f7e8be5fc96be7a33f5Stop passing on lexicon2026-02-13T01:29:20+00:00adelon22380201+adelon@users.noreply.github.com2026-02-13T01:29:20+00:00urn:sha1:430fe5debc3aec22a8663b2d89ab0c6af926c150Add streaming verification with bounded queue2026-02-13T00:45:19+00:00adelon22380201+adelon@users.noreply.github.com2026-02-13T00:45:19+00:00urn:sha1:4ea63eeee2459d2e6e644f755091a00aeff9da0cUpdate env vars for provers2026-02-11T14:40:44+00:00adelon22380201+adelon@users.noreply.github.com2026-02-11T14:40:44+00:00urn:sha1:2c6f7020e1b10db26d1b457155d988dc4a80dc7f
This avoids overlapping with Naproche's env vars.
Remove `lookupLexicalItem`, attach info in AST instead2026-02-05T18:50:34+00:00adelon22380201+adelon@users.noreply.github.com2026-02-05T18:50:34+00:00urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06c