felix.git/source/Test/Unit/Backend.hs, branch hotg

felix.git/source/Test/Unit/Backend.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T20:14:44+00:00 Restore implicit set construction routing 2026-08-04T20:14:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T20:14:44+00:00 urn:sha1:97032ee3decc7bed2f2c9e8c32dff99676b658f2 Remove obsolete verification machinery 2026-08-03T19:00:28+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:00:28+00:00 urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4 Validate exact scoped Vampire obligations 2026-08-01T20:05:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T20:05:42+00:00 urn:sha1:51474fb1b9212f2a324505ea8b9a20bc37acf1af Bound deterministic Horn reconstruction 2026-07-28T19:05:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T18:29:01+00:00 urn:sha1:8ce72bd15b70aece746b043e53b10a452d6c3b96 Remove empty connection substitution 2026-07-28T19:05:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T18:19:48+00:00 urn:sha1:4e9310bb7e07396db5d301e7278fb93e21313307 Move fact selection into transition inventory 2026-07-28T19:05:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T18:16:18+00:00 urn:sha1:e788d5b3acf05f9e277c6af513324c5940054d80 Replay bounded Horn connections in shadow 2026-07-28T14:26:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T14:26:19+00:00 urn:sha1:ca3b84e46ce1ca698ee916ef391a819f0523fbbb Authorize exact typed Vampire requests 2026-07-28T13:57:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T13:57:50+00:00 urn:sha1:3fc076a09ef5ca9ab8c99d69e96ef0e7179db82b Render checked prover problems as FOF or TH0 2026-07-28T13:40:48+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T13:40:48+00:00 urn:sha1:b670f37606b8321ea295cee25235d628623a3568 Classify complete typed prover problems 2026-07-28T13:38:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T13:38:22+00:00 urn:sha1:7c879b051a40c5b471c9655e8d99fe6053ffe101