GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-08-19 18:56:21 -06:00
Code Issues Packages Projects Releases Wiki Activity
9,174 Commits 21 Branches 11 Tags
ac2b2c507b838a1a935fffd7280586b3f9a5438d
Commit Graph

9174 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Krasimir Angelov ac2b2c507b Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2026-08-06 00:15:29 +02:00
Krasimir Angelov 5064ba1ae7 added a few more languages 2026-08-06 00:13:48 +02:00
Krasimir Angelov 979e5c3741 adapt the translator to the new Parse grammars and remove the CNLs 2026-08-05 19:42:04 +00:00
Krasimir Angelov 38fb11e0a3 fix the parsing api 2026-08-05 15:53:25 +02:00
Krasimir Angelov abac98531d fix lookup morpho after changes related to the parser 2026-08-05 14:28:15 +02:00
Krasimir Angelov edd9fcf904 avoid looping with recursive epsilon categories 2026-08-05 12:14:15 +02:00
Krasimir Angelov 696c3705a2 release the phrasetable when the concrete syntax is released 2026-08-04 15:41:57 +02:00
Krasimir Angelov 21c5280908 reuse the namespace Node for the phrasetable 2026-08-04 15:20:51 +02:00
Krasimir Angelov 6307d37d0f simplification 2026-08-04 11:09:40 +02:00
Krasimir Angelov cccce4d064 incremental chart construction 2026-08-04 10:39:42 +02:00
Krasimir Angelov ec7354ca1c bugfixe in td_epsilon and better pretty printing 2026-07-27 16:00:33 +02:00
Krasimir Angelov 4e8bc0d872 in generateExprs, make sure that the NGF is not accidetally GCted 2026-07-27 15:35:28 +02:00
Krasimir Angelov 2b9f3afbe8 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2026-06-05 10:25:32 +02:00
Krasimir Angelov b89fca9dd7 make the PMCFG generation strict 2026-06-05 10:25:11 +02:00
Krasimir Angelov ecaae795b0 add LT_INIT 2026-05-25 21:11:40 +02:00
Krasimir Angelov a931b58dd9 of by one error when counting terms of type Ints n 2026-05-22 15:43:41 +02:00
Krasimir Angelov 8f4403b745 implement linearization with lindef 2026-05-22 11:10:33 +02:00
Krasimir Angelov 5151b67afa detect and preserve terms that cannot be evaluated 2026-05-20 21:52:54 +02:00
Krasimir Angelov 39b6fe8f21 added exprFunctions 2026-05-19 17:56:09 +02:00
Krasimir Angelov 1daa00aa29 bug fixes 2026-05-13 22:05:44 +02:00
Krasimir Angelov c37e7b5a7a use overlapping intervals to detect unifiable terms 2026-05-11 15:41:02 +02:00
Krasimir Angelov 8340386033 build the parse table when compiling from sources 2026-05-06 18:41:50 +02:00
Krasimir Angelov a66a620990 implement pre 2026-05-06 14:29:28 +02:00
Krasimir Angelov 96492e698a don't use map show in type2fields 2026-05-06 14:10:50 +02:00
Krasimir Angelov 82db897847 updates in the type checker 2026-04-19 13:28:47 +02:00
Krasimir Angelov 491a979c19 propagate and handle errors 2026-04-14 11:30:08 +02:00
Krasimir Angelov 6eb01219f9 more cases where errors must be propagated 2026-04-04 00:34:19 +02:00
Krasimir Angelov f52cf67d04 propagate error 2026-04-03 17:25:01 +02:00
Krasimir Angelov a4ac066326 VConst -> VApp 2026-02-20 13:54:32 +01:00
Krasimir Angelov c9145d854b started working on a termination checker 2026-02-19 15:40:01 +01:00
Krasimir Angelov 33f1670fe9 avoid potential clashes when allocating expressions 2026-02-14 19:24:12 +01:00
Krasimir Angelov c2aa109cd9 a bit better but not perfect dependency checker 2026-02-14 18:34:07 +01:00
Krasimir Angelov c8f34ff9e2 value2termM now restores implicit arguments 2026-02-13 15:57:30 +01:00
Krasimir Angelov 51896135c4 zonk the term in checkContext 2026-02-13 15:41:05 +01:00
Krasimir Angelov a86485f873 fix pretty printing for dependent categories 2026-02-13 15:24:10 +01:00
Krasimir Angelov ba29bca730 store the updated/checked type for all abstract functions 2026-02-13 13:21:07 +01:00
Krasimir Angelov 3f35d779f1 the type checker may change the arity of an equation, so we handle it differently 2026-02-13 12:23:14 +01:00
Krasimir Angelov 14b4e82067 added renaming of PImplArg 2026-02-12 22:21:06 +01:00
Krasimir Angelov 5a2e80e687 type checking patterns with dependent types 2026-02-12 21:42:02 +01:00
Krasimir Angelov d03f7239e6 fix compiling PTilde patterns 2026-02-12 21:41:44 +01:00
Krasimir Angelov f5fe93450d bugfix after the elimination of PW 2026-02-11 16:21:47 +01:00
Krasimir Angelov 880d3aa76c deprecate PW in favour of PV identW 2026-02-08 09:41:41 +01:00
Krasimir Angelov b547e39857 fix partial evaluations and frozen applications 2026-02-08 09:24:14 +01:00
Krasimir Angelov 19774ebcd3 remove dead code 2026-02-05 14:57:08 +01:00
Krasimir Angelov 3b3979bf42 use the same type checker and evaluator for abstract and concrete syntax 2026-02-05 10:25:04 +01:00
Krasimir Angelov eab006257e escape identifiers if necessary 2026-01-29 11:15:04 +01:00
Krasimir Angelov f780099a41 permit string literals in flags 2026-01-29 08:48:01 +01:00
Krasimir Angelov 307a4481f3 produce identW when needed 2026-01-20 07:40:07 +01:00
Krasimir Angelov 80524bdec9 add Eq instance for Info 2026-01-15 09:56:39 +01:00
Krasimir Angelov 7c6c194142 fix the debug mode after the last change 2026-01-14 17:49:45 +01:00