GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-09-28 05:03:39 -06:00
Code Issues Packages Projects Releases Wiki Activity
9,199 Commits 21 Branches 11 Tags
25ca9dd06849f51cd0ca109a5e755ed9b3247ccb
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Krasimir Angelov 25ca9dd068 forgot checking for null arguments 2026-08-21 07:55:07 +02:00
Krasimir Angelov 0bba6ae1ea fix the equation solver 2026-08-20 18:39:04 +02:00
Krasimir Angelov db9a4b913f remove debug output 2026-08-20 14:06:41 +02:00
Krasimir Angelov 614482c274 another fix 2026-08-20 13:22:11 +02:00
Krasimir Angelov 83700a62a2 fix the case of an empty chart 2026-08-20 13:13:59 +02:00
Krasimir Angelov 17a308972a a higher-level API allows for a more efficient implementation 2026-08-20 11:49:19 +02:00
Krasimir Angelov f1f39d67c7 export the ParseChart type 2026-08-19 16:24:54 +02:00
Krasimir Angelov d2e7264326 a first draft of an API for collaborative editing 2026-08-19 16:22:22 +02:00
Krasimir Angelov 6c2aeb6b95 implemented A* search 2026-08-19 11:41:09 +02:00
Krasimir Angelov 56026271ff more effective filtering for duplicates 2026-08-18 15:44:28 +02:00
Krasimir Angelov b7a911faf8 minimize top-down predictions 2026-08-17 14:33:14 +02:00
Krasimir Angelov 488b424626 in the destructor make sure that we don't delete NULL items 2026-08-15 17:54:01 +02:00
Krasimir Angelov 3da03be949 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2026-08-15 12:45:17 +02:00
Krasimir Angelov 8765c4bd16 handle empty variants 2026-08-15 12:44:58 +02:00
Krasimir Angelov d349c93fb2 always use overlaps instead of lookup for intervals 2026-08-13 14:21:48 +02:00
Krasimir Angelov 1a0a7f9d09 make sure that we don't miss low-prob trees 2026-08-13 08:11:45 +02:00
Krasimir Angelov 5b30a80e3f more documented categories 2026-08-12 12:12:24 +02:00
Krasimir Angelov 79dc2594a3 fix the loop detection 2026-08-12 11:47:52 +02:00
Krasimir Angelov c41b75a9cb split the phrasetable to five parts and better serve the parser 2026-08-12 10:31:03 +02:00
Krasimir Angelov 9ac7ea1df9 temporary hack for linearize_all 2026-08-10 12:10:31 +02:00
Krasimir Angelov 4cfeb07af8 fix the display of an inflection table and add a gloss 2026-08-07 16:04:24 +02:00
Krasimir Angelov afbb6820ab update after removing gfwordnet.languages 2026-08-06 16:59:59 +02:00
Krasimir Angelov 57f836c504 fix hungarian 2026-08-06 10:10:05 +02:00
Krasimir Angelov 43322aab7f show only language where we know the names 2026-08-06 09:48:50 +02:00
Krasimir Angelov a0c44088e8 even more languages 2026-08-06 09:09:36 +02:00
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
Krasimir Angelov ce63d4627b variables in rules are finally renamed 2026-01-14 16:42:04 +01:00
Krasimir Angelov a99cfb53f5 fix initialization in -O2 mode 2026-01-14 14:52:29 +01:00
Krasimir Angelov 76faee5cd5 use the cached parameter count 2026-01-14 14:21:24 +01:00
Krasimir Angelov 21f4c009ab an interval based parser 2026-01-12 14:36:41 +01:00
Krasimir Angelov fbfb54c9b2 bugfix 2026-01-12 11:03:04 +01:00
Krasimir Angelov 72682d6eb3 eliminate repeated rules 2026-01-08 08:53:01 +01:00
Krasimir Angelov d42614afad partial implementation for dependently typed records 2026-01-03 16:14:51 +01:00
Krasimir Angelov 0a33204ee4 faster and correct dependency checking 2026-01-02 08:20:52 +01:00
Krasimir Angelov d18969a6fb initialize phrasetable to 0 2025-11-18 16:23:35 +01:00
Krasimir Angelov d5651f24c5 added missing case 2025-11-18 15:32:25 +01:00
Krasimir Angelov ddce3738b1 fix how probabilities are computed 2025-11-18 09:27:10 +01:00
Krasimir Angelov 603bca8afd fix memory leaks 2025-11-17 21:44:29 +01:00
Krasimir Angelov a8ba57d822 remove trace message 2025-11-17 17:01:08 +01:00
Krasimir Angelov e34edd414f fix item completion 2025-11-17 16:51:29 +01:00
Krasimir Angelov 9263d1eb17 avoid using value2termM 2025-11-15 12:18:22 +01:00
Krasimir Angelov d02eeb7568 fix string matching in case of metavariables 2025-11-15 11:53:24 +01:00
Krasimir Angelov 970c989fb6 pretty printing for record value 2025-11-15 10:06:00 +01:00
Krasimir Angelov 80786ad770 remove redundant import 2025-11-15 09:39:08 +01:00
Krasimir Angelov 761b89d690 yet another variation of the overloading error 2025-11-14 15:04:30 +01:00
Krasimir Angelov 6c9a197b37 more helpful error when lin X is missing 2025-11-14 12:05:11 +01:00
Krasimir Angelov 08bd669200 more user friendly error for overload resolution failure 2025-11-14 11:27:18 +01:00
Krasimir Angelov 8282b3e4ce fixing the lock fields 2025-11-14 11:04:11 +01:00
Krasimir Angelov a0c810530e remove the old evaluator 2025-11-13 18:54:40 +01:00
Krasimir Angelov cb6bace896 Diophantine grammars in the runtime 2025-11-13 11:17:16 +01:00
Krasimir Angelov cb1e67dffa Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-11-13 11:16:48 +01:00