felix.git/source/Checking/Backend/Problem.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-06T15:54:00+00:00 Migrate to `Felix` namespace 2026-08-06T15:54:00+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T15:54:00+00:00 urn:sha1:82328890108bae64b372b8d58620ebc62699de76 Complete named construction premise views 2026-08-04T22:37:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T22:37:40+00:00 urn:sha1:4945e81f121a8fc4dc15893ddf861e8b0dbd75df 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 Compile exact separation declarations 2026-08-01T22:43:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T22:11:19+00:00 urn:sha1:76b9ee6393099d29a3a3a71593fabd0df01ea54d Validate exact scoped Vampire obligations 2026-08-01T20:05:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T20:05:42+00:00 urn:sha1:51474fb1b9212f2a324505ea8b9a20bc37acf1af Move fact selection into transition inventory 2026-07-28T19:05:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T18:16:18+00:00 urn:sha1:e788d5b3acf05f9e277c6af513324c5940054d80 Plan typed tasks from admitted facts 2026-07-28T14:10:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T14:10:40+00:00 urn:sha1:e9b868a44da635beda03babe81b186e35d85fde6 Authorize exact typed Vampire requests 2026-07-28T13:57:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T13:57:50+00:00 urn:sha1:3fc076a09ef5ca9ab8c99d69e96ef0e7179db82b Classify complete typed prover problems 2026-07-28T13:38:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T13:38:22+00:00 urn:sha1:7c879b051a40c5b471c9655e8d99fe6053ffe101