felix.git/source/Checking/Backend/Connection.hs, branch hotg

felix.git/source/Checking/Backend/Connection.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:00:28+00:00 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 Document connection search work units 2026-07-28T19:05:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T18:39:58+00:00 urn:sha1:d6f6b1e0bef9fad1697d626a0561238518ca3f7f 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 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