felix.git/source/Report, 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 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 Make parsed syntax deeply evaluable 2026-07-28T06:50:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T06:50:56+00:00 urn:sha1:48296f3022646d4e3ab2f7c32353a1ea4a67cfcf Validate packed source positions during lexing 2026-07-28T00:42:24+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T00:42:24+00:00 urn:sha1:c545b4dbba91962dc576b0c66a7728330cb27075 Report lexical collisions with source locations 2026-07-27T15:09:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-26T23:46:22+00:00 urn:sha1:4722a5a11c962f1be278b7e3151803e2570816f5 Built-in patterns remain authoritative syntax seeds: their first source declaration records provenance without replacing the seeded marker. Parse the resolved physical source graph 2026-07-27T15:09:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T01:39:07+00:00 urn:sha1:9db99526b093d651aeefa1560aeb0a1d8a0bdfeb Use packed representation for `Location` 2026-02-13T14:40:32+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-13T14:40:32+00:00 urn:sha1:f3ccb3319591572211da37dfe1bebf838a225429 Fix column location 2025-12-14T16:54:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T16:54:05+00:00 urn:sha1:8e7d2c94d8449b8512fd6257534b4c593319b4ae Add more location info in tasks 2025-12-14T16:47:51+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T16:47:51+00:00 urn:sha1:4c536bc12666fb664ca522f99ea8f200963050c7 Add location info to conjecture 2025-12-14T02:37:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T02:37:11+00:00 urn:sha1:3fe36e6f3266a7cfac51b56ead96c1e129a97ea9 Still some `<nowhere>` value as placeholder left over.