felix.git/source/Checking/Transition.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
Correct exact semantic resolution
2026-08-01T18:41:05+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-01T18:41:05+00:00
urn:sha1:f7d3e87925d70cd1d3f0a14297fa451dbf079d30
Establish canonical identity codecs
2026-07-30T18:28:24+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-30T18:28:24+00:00
urn:sha1:42465f6563269b3059fbf48b64aa271a3ae15a33
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
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
Bind typed fact admission to module builders
2026-07-28T19:05:10+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T18:02:29+00:00
urn:sha1:31b3b098730f9c58b57a0be85d1b878b32142e07
Measure sequential verification work
2026-07-28T15:14:02+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T15:14:02+00:00
urn:sha1:76cb6e1098e79da34bd8922dbebfc4d1401b2c70
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
Plan typed tasks from admitted facts
2026-07-28T14:10:40+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T14:10:40+00:00
urn:sha1:e9b868a44da635beda03babe81b186e35d85fde6