felix.git/test/golden/geometry/parsing.golden, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-07-27T21:29:40+00:00Fix textual connective precedence2026-07-27T21:29:40+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T20:57:14+00:00urn:sha1:bede64260e68b9840c13bdc99e88c6e569168b8bValidate relation parameter arity2026-07-27T16:19:29+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T15:32:47+00:00urn:sha1:3b573d94d4c5e82802745daa7c7d679727155e7dUpdate parsing.golden2026-03-25T01:15:48+00:00adelon22380201+adelon@users.noreply.github.com2026-03-25T01:15:48+00:00urn:sha1:6576bfb0ec28dc1158407c0f4418e7fcdf420f0cUpdate tests2026-03-07T01:51:33+00:00adelon22380201+adelon@users.noreply.github.com2026-03-07T01:51:33+00:00urn:sha1:b2b47f6ac4fb5604b0652724e8259ce52de13164Allow ticks in subscript of vars2026-02-17T16:35:48+00:00adelon22380201+adelon@users.noreply.github.com2026-02-17T16:35:48+00:00urn:sha1:3cfe46c9912c2a1835a5080b5e8abab8448fdc10
This also changes the encoding of the ticks in TPTP to just an underscore.
Update golden tests2026-02-13T23:54:25+00:00adelon22380201+adelon@users.noreply.github.com2026-02-13T23:54:25+00:00urn:sha1:1122576d9283d499915ec4d0a87ee8cf03e5339eRemove `lookupLexicalItem`, attach info in AST instead2026-02-05T18:50:34+00:00adelon22380201+adelon@users.noreply.github.com2026-02-05T18:50:34+00:00urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06cFix `filterTask`, make var names more consistent2025-12-17T18:35:56+00:00adelon22380201+adelon@users.noreply.github.com2025-12-17T18:35:56+00:00urn:sha1:a077ea7a68bd7d723da499057b484bcb265b5336Fix column location2025-12-14T16:54:05+00:00adelon22380201+adelon@users.noreply.github.com2025-12-14T16:54:05+00:00urn:sha1:8e7d2c94d8449b8512fd6257534b4c593319b4aeAdd more location info in tasks2025-12-14T16:47:51+00:00adelon22380201+adelon@users.noreply.github.com2025-12-14T16:47:51+00:00urn:sha1:4c536bc12666fb664ca522f99ea8f200963050c7