msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
9,172 Commits 21 Branches 11 Tags
5064ba1ae724f362670fce24c2d846f1fd61f2a0
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Krasimir Angelov 5064ba1ae7 added a few more languages 2026-08-06 00:13:48 +02: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
Krasimir Angelov 54839a9796 first draft for Diophantine grammars 2025-11-13 11:02:40 +01:00
Krasimir Angelov 3ee4f6ce9c added MonadFix and fix how return is defined 2025-11-13 10:58:16 +01:00
Krasimir Angelov bd26b24aed retain source location for the children of a Markup 2025-10-19 14:41:29 +00:00
Krasimir Angelov 6e529e74d9 added the const control 2025-10-16 09:20:21 +00:00
Krasimir Angelov 6f3182d0cf Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-10-16 08:59:05 +00:00
Krasimir Angelov b480ead393 pretty printing for VPatt 2025-10-14 08:43:29 +02:00
Krasimir Angelov 72028c7ae7 merge 2025-09-17 10:17:37 +02:00
Krasimir Angelov 7571b9c1df Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-09-16 20:45:07 +02:00
Krasimir Angelov cd5ef68b4d Variants is a functor 2025-09-16 19:52:04 +02:00
Krasimir Angelov ae9ac01e00 remove deprecated module 2025-09-16 19:47:34 +02:00
Krasimir Angelov f04a0aee28 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-09-12 07:19:06 +00:00
Krasimir Angelov 0f54675a91 added the filter construction 2025-09-12 07:18:38 +00:00
Krasimir Angelov 570d223302 space leak in _collect_cats 2025-09-09 19:48:38 +02:00
Krasimir Angelov cc0a56cc48 fix space leak in functions and functionsByCat 2025-09-09 19:35:32 +02:00
Krasimir Angelov d42e351fde fix space leak in functionsByCat 2025-09-09 19:34:20 +02:00
Krasimir Angelov ccf3b5c898 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-09-07 20:46:41 +02:00
Krasimir Angelov 8467e2eb24 added tabularLinearize 2025-09-07 20:46:08 +02:00
Krasimir Angelov 0c21b85dbb added tabularLinearize 2025-09-07 20:44:15 +02:00
Krasimir Angelov 5ce60c745b added minimal implementation for XML parsing 2025-09-04 14:12:59 +00:00
Krasimir Angelov adf042f283 identification: String=Str, Int=Predef.Int, Float=Predef.Float 2025-09-03 12:47:05 +00:00
Krasimir Angelov 4eb8ae2f85 refactoring bugfixing related to options 2025-09-02 12:21:18 +00:00
Krasimir Angelov 25b3d8026c added value2expr 2025-09-01 08:43:58 +00:00
Krasimir Angelov 85806752c3 remove AdHocOverload 2025-08-30 21:20:52 +02:00
Krasimir Angelov 171b5fd334 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-08-30 20:09:43 +02:00
Krasimir Angelov e5a531da61 testing repl not needed anymore 2025-08-30 20:09:13 +02:00
Krasimir Angelov b79a53adc5 fix parsing NLG operations 2025-08-30 14:54:07 +00:00
Krasimir Angelov d8df0a0171 fix evaluation of options 2025-08-30 14:01:06 +00:00