felix.git/readme.md, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-03T23:35:21+00:00
Name cleanup
2026-08-03T23:35:21+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T23:35:21+00:00
urn:sha1:94d5bfd4b314e70c1f4cfc925616ae467f65c848
Close content-addressed redesign documentation
2026-08-03T23:28:26+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T23:28:26+00:00
urn:sha1:1dbd738e85c5e6abcbc81b203ba2a492b8bc164e
Use fresh proof dump directories
2026-07-31T20:52:16+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T20:52:16+00:00
urn:sha1:71f173d70bfa523c367a9b16d515d561ab002d77
Require stores for verification commands
2026-07-31T19:52:15+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T19:52:15+00:00
urn:sha1:b4dac1818cdfddd11a0d75e2dfca4946bfc9cc4f
Verify TH0 with PATH Vampire
2026-07-28T19:05:10+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T18:37:22+00:00
urn:sha1:7c84d7ecd35948b222c4b89ff20234acdc57387d
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
Return nonzero exits for verification failures
2026-07-27T16:19:29+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T14:19:24+00:00
urn:sha1:5170561da68cd444fd6fd61552547d97ba19009a
Require complete Vampire success classification
2026-07-27T15:09:38+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T02:24:45+00:00
urn:sha1:38934de7745df62a9bf8ebad3606f0ef61d508ab
Expose resolved workspace parsing
2026-07-27T15:09:38+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T14:17:38+00:00
urn:sha1:f3e440c7ea29b8987122c977b1c05404c9b35217
Retire unsound proof cache
2026-07-26T23:52:13+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-26T21:46:12+00:00
urn:sha1:969ba8d821a77424bfa3892e1dfd51e59d6d5ac6