Commit Graph

Select branches

Hide Pull Requests

build-python-win

build-timestamp

c-runtime

canonical

compact-pgf

concrete-new

gf-lsp-expose-all

js-bindings

lpgf

lpgf-memo

lpgf-string

majestic

majestic-ci

majestic-macos

master

pgf2-complete

remove-example-based

sense-disambiguation

tp_nix_flake

try-to-build-python-module-for-win

wasm

3.11

GF-3.10

RELEASE-3.8

RELEASE-3.9

introduced-parser-test

release-3.12

release3.12-rc-1

release3.12-rc-2

release3.12-rc-3

v3.11-test-release-8

v3.11-test-release-9

Mono Color

• 2f7c65c207 update the testsuite Krasimir Angelov 2024-04-11 10:48:44 +02:00
• 82308426c6 merge variants when the | operator is used Krasimir Angelov 2024-04-09 19:23:14 +02:00
• f637abe92e steps towards an NLG language Krasimir Angelov 2024-04-07 10:39:43 +02:00
• 81717e7822 fixed space leaks Krasimir Angelov 2024-04-06 10:59:37 +02:00
• 6126d36a54 bugfix and dead code elimination Krasimir Angelov 2024-04-05 20:11:13 +02:00
• d48a8d06c1 much faster grammar loading and dynamic updates Krasimir Angelov 2024-03-21 16:42:41 +01:00
• 2f31bbab23 Apply gt to all arguments when piped Inari Listenmaa 2024-03-15 12:43:17 +01:00
• 614f4b2dc9 'reset' for delimited continuations Krasimir Angelov 2024-03-15 09:11:26 +01:00
• 1fd0e9d8e2 fetch languages on demand to reduce database references Krasimir Angelov 2024-03-14 20:05:19 +01:00
• a8c5a4f93f properly skip unknown languages in pgf_write_pgf Krasimir Angelov 2024-03-14 18:08:22 +01:00
• 280e11cab6 HOAS in the type checker Krasimir Angelov 2024-03-10 19:31:45 +01:00
• 518e57141b detect keywords in the lookahead Krasimir Angelov 2024-03-08 09:27:01 +01:00
• 5a2e1a847d Merge branch 'matheussbernardo-majestic' into majestic Krasimir Angelov 2024-03-06 19:31:36 +01:00
• 52c56feaf2 fix the disambiguation of html tags Krasimir Angelov 2024-03-06 19:27:16 +01:00
• b0f71ce0ac Merge branch 'majestic' of github.com:matheussbernardo/gf-core into matheussbernardo-majestic Krasimir Angelov 2024-03-06 09:34:13 +01:00
• 5426b4209f first draft of a typechecker Krasimir Angelov 2024-03-06 09:08:15 +01:00
• 14a9a8d463 Updated compilation instructions Krasimir Angelov 2024-03-04 09:12:10 +01:00
• 76f7579363 defined STG_UNUSED for macOS Krasimir Angelov 2024-03-02 20:35:53 +01:00
• 1e6e84c5a6 Adding html tags to the parser and lexer Matheus Bernardo 2024-03-01 16:48:00 +01:00
• 7e707508a7 showExpr and linearize now refresh the printed variables if needed aarneranta 2024-03-01 09:17:08 +01:00
• f6c736f020 make the table of references more compact Krasimir Angelov 2024-02-09 20:30:29 +01:00
• 83d5c883c3 A pgf doesn't always have a file location Krasimir Angelov 2024-02-08 16:40:24 +01:00
• 3b4f12e621 create lin/lincat can now fetch the definitions from the source grammar Krasimir Angelov 2024-02-08 15:14:05 +01:00
• ab30f1f9e5 fix the parsing for source commands Krasimir Angelov 2024-02-08 13:38:45 +01:00
• 9fd1c5da80 The type signatures in Predef are no longer hard coded Krasimir Angelov 2024-02-06 08:36:43 +01:00
• 9a6fc7fc9e export Thunk, newThunk Krasimir Angelov 2024-02-06 07:34:40 +01:00
• d5871b120d normalStringForm now returns a list Krasimir Angelov 2024-02-06 07:31:19 +01:00
• e74661c592 export the force function Krasimir Angelov 2024-01-31 08:21:29 +01:00
• c46dd599f9 restore commented out code Krasimir Angelov 2024-01-31 08:20:59 +01:00
• c94d0f31bc now we can load PGF files as precompiled modules Krasimir Angelov 2024-01-30 13:02:40 +01:00
• 9c5d2d3d15 bump base ub Tim Pierson 2024-01-24 12:31:12 +00:00
• 021e271f29 an FFI for GF Krasimir Angelov 2024-01-23 17:33:39 +01:00
• c72fb9b958 update after the changes in http-slim Krasimir Angelov 2024-01-22 17:29:57 +01:00
• a82095d117 reintroduce the compiler API Krasimir Angelov 2024-01-18 20:58:10 +01:00
• 282c6fc50f bump the version number since the update in the C runtime Krasimir Angelov 2024-01-18 12:31:11 +01:00
• 577ea67bde potentially speed up the database expansion on Windows and macOS Krasimir Angelov 2024-01-18 12:19:38 +01:00
• 5e664b6f69 update Krasimir Angelov 2024-01-17 14:45:46 +01:00
• 413e92e7c3 support ghc 9.4 Krasimir Angelov 2024-01-17 13:58:52 +01:00
• 88e3b2aac4 support ghc 9.4 Krasimir Angelov 2024-01-17 13:56:58 +01:00
• e8f8044432 temporary add gf-scribe to the compiler Krasimir Angelov 2024-01-17 13:17:04 +01:00
• 0ba5b59737 another attempt Krasimir Angelov 2024-01-16 16:11:16 +01:00
• 9c556ac19d another attempt Krasimir Angelov 2024-01-16 16:09:39 +01:00
• 8bfda6538d rename the action to macos-xlarge-runtime Krasimir Angelov 2024-01-16 16:02:31 +01:00
• dab53ed4cf try to build the runtime on macOS for arm Krasimir Angelov 2024-01-16 16:01:25 +01:00
• 0a8e287948 fix a type error detected on macOS Krasimir Angelov 2024-01-12 19:18:16 +01:00
• 73b4b68460 expose the random generation API Krasimir Angelov 2024-01-12 19:08:58 +01:00
• 1a840d5cee update after the changes in the pretty printer Krasimir Angelov 2024-01-11 09:43:16 +01:00
• 2fd2948e6e yet another attempt to fix CI Krasimir Angelov 2024-01-11 09:24:03 +01:00
• ad65cb8c3e yet annother attempt to fix CI Krasimir Angelov 2024-01-11 09:17:10 +01:00
• 42755f0ce8 yet another attempt to fix CI Krasimir Angelov 2024-01-11 07:52:36 +01:00
• eea4dbbf78 yet another attempt to fix CI Krasimir Angelov 2024-01-11 07:45:14 +01:00
• e0b74a143c another attempt to fix CI Krasimir Angelov 2024-01-11 07:39:26 +01:00
• 546d9ea65d restore build-majestic Krasimir Angelov 2024-01-11 07:34:58 +01:00
• 7c34a5a481 try fixing the CI Krasimir Angelov 2024-01-11 07:32:58 +01:00
• d8e953e7e6 try fixing the failure of actions/upload-artifact Krasimir Angelov 2024-01-11 07:29:23 +01:00
• cfe6290c01 bugfix in the duplication detection Krasimir Angelov 2024-01-10 13:56:39 +01:00
• 9fd68cd592 in debug mode print some productions that I missed before Krasimir Angelov 2024-01-10 11:50:52 +01:00
• ea9cd82428 initialize transaction_object = 0; Krasimir Angelov 2024-01-10 11:19:40 +01:00
• bbbdb7093c another memory leak patch Krasimir Angelov 2024-01-10 11:13:17 +01:00
• 0078be88c7 fix memory leaks in the parser.cxx Krasimir Angelov 2024-01-09 20:11:33 +01:00
• f647f43274 fix all space leaks in PgfLRTableMaker Krasimir Angelov 2024-01-09 11:12:19 +01:00
• dee0047ba6 remove redundant method name Krasimir Angelov 2024-01-05 12:29:06 +01:00
• 8e605eac88 revert some unintended changes Krasimir Angelov 2024-01-05 11:05:11 +01:00
• b5ed0dd0ea implement pre and support more syntagmatic words Krasimir Angelov 2024-01-05 11:03:17 +01:00
• 24b96ba874 support CAPIT & ALLCAPIT Krasimir Angelov 2024-01-04 10:37:25 +01:00
• c327cf063e support for BIND/SOFT_BIND/SOFT_SPACE Krasimir Angelov 2024-01-04 10:34:55 +01:00
• 68da9226b1 support syntagmatic words Krasimir Angelov 2024-01-02 16:31:22 +01:00
• 51ea3926a5 bugfixes Krasimir Angelov 2023-12-30 23:08:17 +01:00
• 87b6094ade introduce a version of namespace_iter with a lambda function Krasimir Angelov 2023-12-28 10:50:08 +01:00
• d78aea4170 bug fixes Krasimir Angelov 2023-12-28 10:12:39 +01:00
• da9e037b62 bugfixes Krasimir Angelov 2023-12-23 18:53:54 +01:00
• 31b52adfa7 fix most space leaks in the LRTableMaker Krasimir Angelov 2023-12-23 15:31:28 +01:00
• ba19ff1f63 bugfix Krasimir Angelov 2023-12-21 11:17:45 +01:00
• 93e47b6409 bugfix Krasimir Angelov 2023-12-20 10:18:54 +01:00
• 4c701e68e2 more general and simpler implementation for gluing Krasimir Angelov 2023-12-16 12:29:13 +01:00
• 9313b45a4f store the index with every production Krasimir Angelov 2023-12-15 10:25:09 +01:00
• f2d269ff65 restore epsilons while parsing Krasimir Angelov 2023-12-14 18:16:10 +01:00
• c2182274df visualize_dependencies (vd) now creates latex in landscape mode to show long trees better Aarne Ranta 2023-12-14 11:56:11 +01:00
• ad57f73298 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic Krasimir Angelov 2023-12-05 15:03:27 +01:00
• 85f3aa3eca add const specifier to make md5 more general Krasimir Angelov 2023-12-05 15:02:49 +01:00
• d0e3c30ea6 remove phrasetable_lookup_epsilons which is no longer in use Krasimir Angelov 2023-12-05 14:01:11 +01:00
• 86315bc8c2 remove a premature optimization that caused problems Krasimir Angelov 2023-12-05 13:56:56 +01:00
• 2631f0af8f partial implementation for type inference with records Krasimir Angelov 2023-12-01 15:26:24 +01:00
• 8540e44e9d small fixes Krasimir Angelov 2023-11-29 08:47:40 +01:00
• 5232364a9e typechecking without Value<->Term conversion Krasimir Angelov 2023-11-28 21:21:34 +01:00
• 1d64d166be fix the so command in case of dependent types Krasimir Angelov 2023-11-28 14:07:09 +01:00
• 54e06b5371 refactoring Krasimir Angelov 2023-11-28 10:25:27 +01:00
• 6b9bda3328 fully restore the parser Krasimir Angelov 2023-11-28 07:39:54 +01:00
• eb71557627 ensure that metavariable IDs are always in sync Krasimir Angelov 2023-11-27 13:46:21 +01:00
• 65002fb586 allow Exp instead of Exp1 for the source commands Krasimir Angelov 2023-11-24 09:41:23 +01:00
• 4f28d2b3a3 the evaluator and the typechecker now share the same monad Krasimir Angelov 2023-11-24 09:40:28 +01:00
• bd9bd8b32f the experimental typechecker is almost converted to the new evaluator Krasimir Angelov 2023-11-24 08:35:11 +01:00
• e996d78b18 make "cc", "so", "create lin", "create lincat" usable even without loaded grammar Krasimir Angelov 2023-11-23 20:26:48 +01:00
• 511fdeee44 the normalForm for terms now compresses variants Krasimir Angelov 2023-11-23 19:35:18 +01:00
• fcc80b545d started porting the experimental type checker to the new evaluator Krasimir Angelov 2023-11-20 14:53:36 +01:00
• e11017abc0 Merge pull request #166 from GrammaticalFramework/fix-python-ci Inari Listenmaa 2023-11-17 14:36:06 +01:00
• b59fe24c11 use older python version to keep distutils Inari Listenmaa 2023-11-17 14:11:59 +01:00
• 9204884463 Merge pull request #164 from BeFunctional/tp_pgf_support_ghc_94 Inari Listenmaa 2023-11-17 14:02:06 +01:00
• 11c733fce4 clean up o1lo01ol1o 2023-11-16 14:32:22 -06:00
• 2e9b983618 mute artifacts o1lo01ol1o 2023-11-16 13:48:05 -06:00