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

felix.git/source/Test/Unit/Provers.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T07:18:22+00:00 Add owned Vampire request handles 2026-08-04T07:18:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T07:18:22+00:00 urn:sha1:dfec6f973615dc73240e50446e7d2c63d4241255 Remove unsupported concurrency metrics 2026-08-03T21:54:12+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T21:51:39+00:00 urn:sha1:833e36253767294a6bc68476aa0cc8a53bfb61b9 Run ready typed modules concurrently 2026-08-03T21:10:26+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T21:10:26+00:00 urn:sha1:2e8b21405f16d877ae368d24a4d820285bdcd965 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 Supervise Vampire process groups 2026-07-28T02:17:48+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T02:17:48+00:00 urn:sha1:3c0eef13620a77d00a335bbd7ddb1b37e9ade970 Confine HTML export writes 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T14:24:59+00:00 urn:sha1:396731a119cc9f0f1632319b68921ac8d6b45de0 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 Drain Vampire output while feeding input 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T12:29:55+00:00 urn:sha1:eedc7bf6e34011e3a892db484eddb32c6633faee Return nonzero exits for verification failures 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T14:19:24+00:00 urn:sha1:5170561da68cd444fd6fd61552547d97ba19009a Require complete Vampire success classification 2026-07-27T15:09:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T02:24:45+00:00 urn:sha1:38934de7745df62a9bf8ebad3606f0ef61d508ab