felix.git/source/Provers.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-04T14:40:03+00:00Tighten executor and candidate invariants2026-08-04T14:40:03+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T14:40:03+00:00urn:sha1:d3b5b00425721d845f812bf0c9189001c73c2eeeBind Vampire completions to requests2026-08-04T14:21:29+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T14:21:29+00:00urn:sha1:280512becb6cd7e9310f5db1b7079ed53fad93f7Use two-worker Vampire portfolios by default2026-08-04T12:31:18+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T12:31:18+00:00urn:sha1:4d046dfa58dff343f16a491264c9379a26c72931Plan and admit module declarations prospectively2026-08-04T08:47:33+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T08:47:33+00:00urn:sha1:a89562150ca30d9ad53440f6bce8d6ef166d1842Add owned Vampire request handles2026-08-04T07:18:22+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T07:18:22+00:00urn:sha1:dfec6f973615dc73240e50446e7d2c63d4241255Run ready typed modules concurrently2026-08-03T21:10:26+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T21:10:26+00:00urn:sha1:2e8b21405f16d877ae368d24a4d820285bdcd965Remove the legacy prover request path2026-08-03T19:31:20+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:31:20+00:00urn:sha1:2e352efa3504067c920c369f0ba453c15240cb07Require stores for verification commands2026-07-31T19:52:15+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T19:52:15+00:00urn:sha1:b4dac1818cdfddd11a0d75e2dfca4946bfc9cc4fBind prepared request identity to execution mode2026-07-31T15:06:43+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T15:03:56+00:00urn:sha1:ea73604e78b6b1232efb9f729412d46d7ce95f6fBind Vampire completion to prepared request2026-07-31T13:47:09+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T13:40:37+00:00urn:sha1:b2ca00c7ab73ca16493914183f14017a06729f2b