felix.git/source/Checking/Dependencies.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
Check admitted modules sequentially
2026-07-28T08:43:05+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T08:43:05+00:00
urn:sha1:60b4b379d4532c5a688f2dbf1e05736c636059c5
Make dependency paths nonempty
2026-07-27T20:12:57+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T20:12:41+00:00
urn:sha1:bddedd755f0c160f9878c2790b0fdab7289541b4
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