felix.git/source, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-04T14:40:03+00:00
Tighten executor and candidate invariants
2026-08-04T14:40:03+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T14:40:03+00:00
urn:sha1:d3b5b00425721d845f812bf0c9189001c73c2eee
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
Make Vampire resolution modes explicit
2026-08-04T14:12:47+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T14:12:47+00:00
urn:sha1:cbe97528869a1853af13447a5f75d357877509d6
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
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
Route declarations through checked envelopes
2026-08-04T08:07:42+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T08:07:42+00:00
urn:sha1:377e046a6bd04a1c9caa300bd468b9cfe1f97867