felix.git/source/Api.hs, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-04T13:28:19+00:00
Cleanup
2026-08-04T13:28:19+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T13:28:19+00:00
urn:sha1:959d4172cc1a8d264d0a870a8a93482b283bb264
Validate speculative admission ordering
2026-08-04T08:57:42+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T08:57:42+00:00
urn:sha1:2139788b81b1d521c11515129a50f3818c48138c
Plan and admit module declarations prospectively
2026-08-04T08:47:33+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T08:47:33+00:00
urn:sha1:a89562150ca30d9ad53440f6bce8d6ef166d1842
Add owned Vampire request handles
2026-08-04T07:18:22+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T07:18:22+00:00
urn:sha1:dfec6f973615dc73240e50446e7d2c63d4241255
Batch ready declaration obligations
2026-08-03T22:13:53+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T22:13:53+00:00
urn:sha1:a406a6423201d09477072829fe11c54a5f5c7652
Remove unsupported concurrency metrics
2026-08-03T21:54:12+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T21:51:39+00:00
urn:sha1:833e36253767294a6bc68476aa0cc8a53bfb61b9
Run ready typed modules concurrently
2026-08-03T21:10:26+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T21:10:26+00:00
urn:sha1:2e8b21405f16d877ae368d24a4d820285bdcd965
Tighten sequential HTML presentation ownership
2026-08-03T20:33:27+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T20:33:27+00:00
urn:sha1:ad0a3e1be7aad5721534a83621add61dbc4981b6
Publish verified HTML sequentially
2026-08-03T20:03:22+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T20:03:22+00:00
urn:sha1:fa6ba2cfc44873416ef08c503f585694118b8b8b
Reuse verified presentation for HTML
2026-08-03T19:55:32+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T19:55:32+00:00
urn:sha1:a26c79449542a80572ca6846ec440bc4db130c4e