felix.git/source/Checking/Backend, 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
Compile exact separation declarations
2026-08-01T22:43:29+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-01T22:11:19+00:00
urn:sha1:76b9ee6393099d29a3a3a71593fabd0df01ea54d
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
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
Fall back after reconstruction exhaustion
2026-07-28T19:05:10+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T18:32:53+00:00
urn:sha1:5499f17e80fd55ca3b38364dfde5434f59d90dd7
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
Authorize reconstructed Horn obligations
2026-07-28T14:39:29+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T14:39:29+00:00
urn:sha1:b2c9330a1f1a30945115c4070e41d29c8ec81858
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