msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
8,932 Commits 21 Branches 11 Tags
6126d36a54551321fd5209c74fce75a7b6410592
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Krasimir Angelov 6126d36a54 bugfix and dead code elimination 2024-04-05 20:11:13 +02:00
Krasimir Angelov d48a8d06c1 much faster grammar loading and dynamic updates 2024-03-21 16:42:41 +01:00
Krasimir Angelov 614f4b2dc9 'reset' for delimited continuations 2024-03-15 09:11:26 +01:00
Krasimir Angelov 1fd0e9d8e2 fetch languages on demand to reduce database references 2024-03-14 20:05:19 +01:00
Krasimir Angelov a8c5a4f93f properly skip unknown languages in pgf_write_pgf 2024-03-14 18:08:22 +01:00
Krasimir Angelov 280e11cab6 HOAS in the type checker 2024-03-10 19:31:45 +01:00
Krasimir Angelov 518e57141b detect keywords in the lookahead 2024-03-08 09:27:01 +01:00
Krasimir Angelov 5a2e1a847d Merge branch 'matheussbernardo-majestic' into majestic 2024-03-06 19:31:36 +01:00
Krasimir Angelov 52c56feaf2 fix the disambiguation of html tags 2024-03-06 19:27:16 +01:00
Krasimir Angelov b0f71ce0ac Merge branch 'majestic' of github.com:matheussbernardo/gf-core into matheussbernardo-majestic 2024-03-06 09:34:13 +01:00
Krasimir Angelov 5426b4209f first draft of a typechecker 2024-03-06 09:08:15 +01:00
Krasimir Angelov 14a9a8d463 Updated compilation instructions 2024-03-04 09:12:10 +01:00
Krasimir Angelov 76f7579363 defined STG_UNUSED for macOS 2024-03-02 20:35:53 +01:00
Krasimir Angelov f6c736f020 make the table of references more compact 2024-02-09 20:30:29 +01:00
Krasimir Angelov 83d5c883c3 A pgf doesn't always have a file location 2024-02-08 16:40:24 +01:00
Krasimir Angelov 3b4f12e621 create lin/lincat can now fetch the definitions from the source grammar 2024-02-08 15:14:05 +01:00
Krasimir Angelov ab30f1f9e5 fix the parsing for source commands 2024-02-08 13:38:45 +01:00
Krasimir Angelov 9fd1c5da80 The type signatures in Predef are no longer hard coded 2024-02-06 08:36:43 +01:00
Krasimir Angelov 9a6fc7fc9e export Thunk, newThunk 2024-02-06 07:34:40 +01:00
Krasimir Angelov d5871b120d normalStringForm now returns a list 2024-02-06 07:31:19 +01:00
Krasimir Angelov e74661c592 export the force function 2024-01-31 08:21:29 +01:00
Krasimir Angelov c46dd599f9 restore commented out code 2024-01-31 08:20:59 +01:00
Krasimir Angelov c94d0f31bc now we can load PGF files as precompiled modules 2024-01-30 13:02:40 +01:00
Krasimir Angelov 021e271f29 an FFI for GF 2024-01-23 17:33:39 +01:00
Krasimir Angelov c72fb9b958 update after the changes in http-slim 2024-01-22 17:29:57 +01:00
Krasimir Angelov a82095d117 reintroduce the compiler API 2024-01-18 20:58:10 +01:00
Krasimir Angelov 282c6fc50f bump the version number since the update in the C runtime 2024-01-18 12:31:11 +01:00
Krasimir Angelov 577ea67bde potentially speed up the database expansion on Windows and macOS 2024-01-18 12:19:38 +01:00
Krasimir Angelov 5e664b6f69 update 2024-01-17 14:45:46 +01:00
Krasimir Angelov 413e92e7c3 support ghc 9.4 2024-01-17 13:58:52 +01:00
Krasimir Angelov 88e3b2aac4 support ghc 9.4 2024-01-17 13:56:58 +01:00
Krasimir Angelov e8f8044432 temporary add gf-scribe to the compiler 2024-01-17 13:17:04 +01:00
Krasimir Angelov 0ba5b59737 another attempt 2024-01-16 16:11:16 +01:00
Krasimir Angelov 9c556ac19d another attempt 2024-01-16 16:09:39 +01:00
Krasimir Angelov 8bfda6538d rename the action to macos-xlarge-runtime 2024-01-16 16:02:31 +01:00
Krasimir Angelov dab53ed4cf try to build the runtime on macOS for arm 2024-01-16 16:01:25 +01:00
Krasimir Angelov 0a8e287948 fix a type error detected on macOS 2024-01-12 19:18:16 +01:00
Krasimir Angelov 73b4b68460 expose the random generation API 2024-01-12 19:08:58 +01:00
Krasimir Angelov 1a840d5cee update after the changes in the pretty printer 2024-01-11 09:43:16 +01:00
Krasimir Angelov 2fd2948e6e yet another attempt to fix CI 2024-01-11 09:24:03 +01:00
Krasimir Angelov ad65cb8c3e yet annother attempt to fix CI 2024-01-11 09:17:10 +01:00
Krasimir Angelov 42755f0ce8 yet another attempt to fix CI 2024-01-11 07:52:36 +01:00
Krasimir Angelov eea4dbbf78 yet another attempt to fix CI 2024-01-11 07:45:14 +01:00
Krasimir Angelov e0b74a143c another attempt to fix CI 2024-01-11 07:39:26 +01:00
Krasimir Angelov 546d9ea65d restore build-majestic 2024-01-11 07:34:58 +01:00
Krasimir Angelov 7c34a5a481 try fixing the CI 2024-01-11 07:32:58 +01:00
Krasimir Angelov d8e953e7e6 try fixing the failure of actions/upload-artifact 2024-01-11 07:29:23 +01:00
Krasimir Angelov cfe6290c01 bugfix in the duplication detection 2024-01-10 13:56:39 +01:00
Krasimir Angelov 9fd68cd592 in debug mode print some productions that I missed before 2024-01-10 11:50:52 +01:00
Krasimir Angelov ea9cd82428 initialize transaction_object = 0; 2024-01-10 11:19:40 +01:00
Krasimir Angelov bbbdb7093c another memory leak patch 2024-01-10 11:13:17 +01:00
Krasimir Angelov 0078be88c7 fix memory leaks in the parser.cxx 2024-01-09 20:11:33 +01:00
Krasimir Angelov f647f43274 fix all space leaks in PgfLRTableMaker 2024-01-09 11:12:19 +01:00
Krasimir Angelov dee0047ba6 remove redundant method name 2024-01-05 12:29:06 +01:00
Krasimir Angelov 8e605eac88 revert some unintended changes 2024-01-05 11:05:11 +01:00
Krasimir Angelov b5ed0dd0ea implement pre and support more syntagmatic words 2024-01-05 11:03:17 +01:00
Krasimir Angelov 24b96ba874 support CAPIT & ALLCAPIT 2024-01-04 10:37:25 +01:00
Krasimir Angelov c327cf063e support for BIND/SOFT_BIND/SOFT_SPACE 2024-01-04 10:34:55 +01:00
Krasimir Angelov 68da9226b1 support syntagmatic words 2024-01-02 16:31:22 +01:00
Krasimir Angelov 51ea3926a5 bugfixes 2023-12-30 23:08:17 +01:00
Krasimir Angelov 87b6094ade introduce a version of namespace_iter with a lambda function 2023-12-28 10:50:08 +01:00
Krasimir Angelov d78aea4170 bug fixes 2023-12-28 10:12:39 +01:00
Krasimir Angelov da9e037b62 bugfixes 2023-12-23 18:53:54 +01:00
Krasimir Angelov 31b52adfa7 fix most space leaks in the LRTableMaker 2023-12-23 15:31:28 +01:00
Krasimir Angelov ba19ff1f63 bugfix 2023-12-21 11:17:45 +01:00
Krasimir Angelov 93e47b6409 bugfix 2023-12-20 10:18:54 +01:00
Krasimir Angelov 4c701e68e2 more general and simpler implementation for gluing 2023-12-16 12:29:13 +01:00
Krasimir Angelov 9313b45a4f store the index with every production 2023-12-15 10:25:09 +01:00
Krasimir Angelov f2d269ff65 restore epsilons while parsing 2023-12-14 18:16:10 +01:00
Krasimir Angelov ad57f73298 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2023-12-05 15:03:27 +01:00
Krasimir Angelov 85f3aa3eca add const specifier to make md5 more general 2023-12-05 15:02:49 +01:00
Krasimir Angelov d0e3c30ea6 remove phrasetable_lookup_epsilons which is no longer in use 2023-12-05 14:01:11 +01:00
Krasimir Angelov 86315bc8c2 remove a premature optimization that caused problems 2023-12-05 13:56:56 +01:00
Krasimir Angelov 2631f0af8f partial implementation for type inference with records 2023-12-01 15:26:24 +01:00
Krasimir Angelov 8540e44e9d small fixes 2023-11-29 08:47:40 +01:00
Krasimir Angelov 5232364a9e typechecking without Value<->Term conversion 2023-11-28 21:21:34 +01:00
Krasimir Angelov 1d64d166be fix the so command in case of dependent types 2023-11-28 14:07:09 +01:00
Krasimir Angelov 54e06b5371 refactoring 2023-11-28 10:25:27 +01:00
Krasimir Angelov 6b9bda3328 fully restore the parser 2023-11-28 07:39:54 +01:00
Krasimir Angelov eb71557627 ensure that metavariable IDs are always in sync 2023-11-27 13:46:21 +01:00
Krasimir Angelov 65002fb586 allow Exp instead of Exp1 for the source commands 2023-11-24 09:41:23 +01:00
Krasimir Angelov 4f28d2b3a3 the evaluator and the typechecker now share the same monad 2023-11-24 09:40:28 +01:00
Krasimir Angelov bd9bd8b32f the experimental typechecker is almost converted to the new evaluator 2023-11-24 08:35:11 +01:00
Krasimir Angelov e996d78b18 make "cc", "so", "create lin", "create lincat" usable even without loaded grammar 2023-11-23 20:26:48 +01:00
Krasimir Angelov 511fdeee44 the normalForm for terms now compresses variants 2023-11-23 19:35:18 +01:00
Krasimir Angelov fcc80b545d started porting the experimental type checker to the new evaluator 2023-11-20 14:53:36 +01:00
Krasimir Angelov da135bea8b started node.js binding 2023-10-03 09:11:42 +02:00
Krasimir Angelov 46ccde4abc more details in the LR graph 2023-09-20 18:05:40 +02:00
Krasimir Angelov 7d42e7cfc9 extend the LR(0) visualization 2023-09-20 13:42:20 +02:00
Krasimir Angelov dccb9681a2 started a graphviz visualization for the LR(0) automaton 2023-09-19 21:19:54 +02:00
Krasimir Angelov 2582719fab prepare for context-sensitive parsing 2023-09-19 21:17:55 +02:00
Krasimir Angelov 22e6b30193 refactoring 2023-09-19 08:33:43 +02:00
Krasimir Angelov 5de4d9dd5c trigger a new uppload to PyPI 2023-09-18 14:20:09 +02:00
Krasimir Angelov 30717ac8b7 temporary disable the automaton generation for the GitHub version 2023-09-18 13:14:15 +02:00
Krasimir Angelov f0c5299839 bugfix in the automaton generation 2023-09-17 14:06:31 +02:00
Krasimir Angelov b3968d95b9 first variant of the parser which precompiles epsilons 2023-09-15 18:22:35 +02:00
Krasimir Angelov d2cbe7b6a1 finished the unmarshaller 2023-09-14 11:38:55 +02:00
Krasimir Angelov d557f45ebd started a WASM version of the runtime 2023-09-13 20:24:35 +02:00
Krasimir Angelov e17d435284 add a link to GF WordNet 2023-09-11 21:45:32 +02:00
Krasimir Angelov b0bd3ffbf8 fix the variable name 2023-09-10 19:23:59 +02:00