felix.git/source/Checking/Obligation.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
Authorize legacy declaration batches
2026-07-28T07:51:21+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T07:51:21+00:00
urn:sha1:c195e3c6d142192ae258bcd2a6cde4b578100bff
Prepare complete legacy obligation batches
2026-07-28T07:11:43+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T07:11:43+00:00
urn:sha1:6471bf3a71f3dce6a4c1a8f12f8f47548d1d3d6d