felix.git/source/Test, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-04T21:09:52+00:00
Restore exact proof binder and witness forms
2026-08-04T21:09:52+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T21:09:52+00:00
urn:sha1:4cadc32949cea9d8eddc88ab6f875690014c674f
Restore implicit set construction routing
2026-08-04T20:14:44+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T20:14:44+00:00
urn:sha1:97032ee3decc7bed2f2c9e8c32dff99676b658f2
Restore fixed equality aliases
2026-08-04T19:35:38+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T19:35:38+00:00
urn:sha1:7131eee1a37a8a08f833b33620b2b0dfda32eb4a
Fix structure carrier membership lowering
2026-08-04T16:57:02+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T16:57:02+00:00
urn:sha1:138fe08eeb9a7df74d9fde69f8f37fab4c0409fe
Bind Vampire completions to requests
2026-08-04T14:21:29+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T14:21:29+00:00
urn:sha1:280512becb6cd7e9310f5db1b7079ed53fad93f7
Unify checked candidate planning
2026-08-04T14:18:25+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T14:18:25+00:00
urn:sha1:3b786de9bbf586f1cfb4b04b6eed1577883a3a8b
Use two-worker Vampire portfolios by default
2026-08-04T12:31:18+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T12:31:18+00:00
urn:sha1:4d046dfa58dff343f16a491264c9379a26c72931
Name prospective lowering explicitly
2026-08-04T09:13:49+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T09:13:49+00:00
urn:sha1:a2a32439c30fb02c33d20ea4a71634d842a3c103
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