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

#10

#103

#103

#106

#107

#11

#110

#111

#113

#114

#116

#118

#119

#120

#121

#122

#124

#126

#128

#129

#13

#133

#134

#134

#135

#136

#138

#140

#141

#142

#142

#143

#143

#144

#144

#147

#148

#149

#156

#160

#161

#162

#162

#164

#165

#166

#167

#169

#171

#173

#174

#175

#176

#178

#179

#180

#181

#182

#183

#184

#185

#186

#187

#188

#19

#190

#191

#192

#193

#194

#195

#196

#199

#199

#2

#2

#200

#203

#205

#205

#206

#206

#207

#22

#23

#24

#25

#3

#34

#39

#41

#42

#45

#50

#54

#55

#57

#59

#60

#61

#62

#65

#69

#7

#70

#71

#73

#75

#77

#78

#79

#83

#84

#86

#87

#88

#9

#93

#97

#99

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

• 5b30a80e3f more documented categories Krasimir Angelov 2026-08-12 12:12:24 +02:00
• 79dc2594a3 fix the loop detection Krasimir Angelov 2026-08-12 11:47:52 +02:00
• c41b75a9cb split the phrasetable to five parts and better serve the parser Krasimir Angelov 2026-08-12 10:31:03 +02:00
• 9ac7ea1df9 temporary hack for linearize_all Krasimir Angelov 2026-08-10 12:10:31 +02:00
• 4cfeb07af8 fix the display of an inflection table and add a gloss Krasimir Angelov 2026-08-07 16:04:24 +02:00
• afbb6820ab update after removing gfwordnet.languages Krasimir Angelov 2026-08-06 16:59:59 +02:00
• 57f836c504 fix hungarian Krasimir Angelov 2026-08-06 10:10:05 +02:00
• 43322aab7f show only language where we know the names Krasimir Angelov 2026-08-06 09:48:50 +02:00
• a0c44088e8 even more languages Krasimir Angelov 2026-08-06 09:09:36 +02:00
• ac2b2c507b Merge branch 'majestic' of github.com:krangelov/gf-core into majestic Krasimir Angelov 2026-08-06 00:15:29 +02:00
• 5064ba1ae7 added a few more languages Krasimir Angelov 2026-08-06 00:13:48 +02:00
• 979e5c3741 adapt the translator to the new Parse grammars and remove the CNLs Krasimir Angelov 2026-08-05 19:42:04 +00:00
• 38fb11e0a3 fix the parsing api Krasimir Angelov 2026-08-05 15:53:25 +02:00
• abac98531d fix lookup morpho after changes related to the parser Krasimir Angelov 2026-08-05 14:28:15 +02:00
• edd9fcf904 avoid looping with recursive epsilon categories Krasimir Angelov 2026-08-05 12:14:15 +02:00
• 696c3705a2 release the phrasetable when the concrete syntax is released Krasimir Angelov 2026-08-04 15:41:57 +02:00
• 21c5280908 reuse the namespace Node for the phrasetable Krasimir Angelov 2026-08-04 15:20:51 +02:00
• 6307d37d0f simplification Krasimir Angelov 2026-08-04 11:09:40 +02:00
• cccce4d064 incremental chart construction Krasimir Angelov 2026-08-04 10:39:42 +02:00
• ec7354ca1c bugfixe in td_epsilon and better pretty printing Krasimir Angelov 2026-07-27 16:00:33 +02:00
• 4e8bc0d872 in generateExprs, make sure that the NGF is not accidetally GCted Krasimir Angelov 2026-07-27 15:35:28 +02:00
• 2b9f3afbe8 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic Krasimir Angelov 2026-06-05 10:25:32 +02:00
• b89fca9dd7 make the PMCFG generation strict Krasimir Angelov 2026-06-05 10:25:11 +02:00
• ecaae795b0 add LT_INIT Krasimir Angelov 2026-05-25 21:11:40 +02:00
• a931b58dd9 of by one error when counting terms of type Ints n Krasimir Angelov 2026-05-22 15:43:41 +02:00
• 8f4403b745 implement linearization with lindef Krasimir Angelov 2026-05-22 11:10:33 +02:00
• 5151b67afa detect and preserve terms that cannot be evaluated Krasimir Angelov 2026-05-20 21:52:54 +02:00
• 39b6fe8f21 added exprFunctions Krasimir Angelov 2026-05-19 17:56:09 +02:00
• 1daa00aa29 bug fixes Krasimir Angelov 2026-05-13 22:05:44 +02:00
• c37e7b5a7a use overlapping intervals to detect unifiable terms Krasimir Angelov 2026-05-11 15:41:02 +02:00
• 1c086bed25 Clarify Apple Silicon installer wording Koharu Saeki 2026-05-09 16:30:14 +09:00
• 8340386033 build the parse table when compiling from sources Krasimir Angelov 2026-05-06 18:41:50 +02:00
• a66a620990 implement pre Krasimir Angelov 2026-05-06 14:29:28 +02:00
• 96492e698a don't use map show in type2fields Krasimir Angelov 2026-05-06 14:10:50 +02:00
• 82db897847 updates in the type checker Krasimir Angelov 2026-04-19 13:28:47 +02:00
• 491a979c19 propagate and handle errors Krasimir Angelov 2026-04-14 11:30:08 +02:00
• 6eb01219f9 more cases where errors must be propagated Krasimir Angelov 2026-04-04 00:34:19 +02:00
• f52cf67d04 propagate error Krasimir Angelov 2026-04-03 17:25:01 +02:00
• c4f85c2066 replace broken link to best practices Inari Listenmaa 2026-02-23 21:54:37 +01:00
• a6ea774e78 Add MOLTO best practices, molto domain has expired Inari Listenmaa 2026-02-23 21:49:40 +01:00
• a4ac066326 VConst -> VApp Krasimir Angelov 2026-02-20 13:54:32 +01:00
• c9145d854b started working on a termination checker Krasimir Angelov 2026-02-19 15:40:01 +01:00
• 33f1670fe9 avoid potential clashes when allocating expressions Krasimir Angelov 2026-02-14 19:24:12 +01:00
• c2aa109cd9 a bit better but not perfect dependency checker Krasimir Angelov 2026-02-14 18:34:07 +01:00
• c8f34ff9e2 value2termM now restores implicit arguments Krasimir Angelov 2026-02-13 15:57:30 +01:00
• 51896135c4 zonk the term in checkContext Krasimir Angelov 2026-02-13 15:41:05 +01:00
• a86485f873 fix pretty printing for dependent categories Krasimir Angelov 2026-02-13 15:24:10 +01:00
• ba29bca730 store the updated/checked type for all abstract functions Krasimir Angelov 2026-02-13 13:21:07 +01:00
• 3f35d779f1 the type checker may change the arity of an equation, so we handle it differently Krasimir Angelov 2026-02-13 12:23:14 +01:00
• 14b4e82067 added renaming of PImplArg Krasimir Angelov 2026-02-12 22:21:06 +01:00
• 5a2e80e687 type checking patterns with dependent types Krasimir Angelov 2026-02-12 21:42:02 +01:00
• d03f7239e6 fix compiling PTilde patterns Krasimir Angelov 2026-02-12 21:41:44 +01:00
• f5fe93450d bugfix after the elimination of PW Krasimir Angelov 2026-02-11 16:21:47 +01:00
• 880d3aa76c deprecate PW in favour of PV identW Krasimir Angelov 2026-02-08 09:41:41 +01:00
• b547e39857 fix partial evaluations and frozen applications Krasimir Angelov 2026-02-08 09:24:14 +01:00
• 19774ebcd3 remove dead code Krasimir Angelov 2026-02-05 14:57:08 +01:00
• 3b3979bf42 use the same type checker and evaluator for abstract and concrete syntax Krasimir Angelov 2026-02-05 10:25:04 +01:00
• eab006257e escape identifiers if necessary Krasimir Angelov 2026-01-29 11:15:04 +01:00
• f780099a41 permit string literals in flags Krasimir Angelov 2026-01-29 08:48:01 +01:00
• 307a4481f3 produce identW when needed Krasimir Angelov 2026-01-20 07:40:07 +01:00
• 80524bdec9 add Eq instance for Info Krasimir Angelov 2026-01-15 09:56:39 +01:00
• 7c6c194142 fix the debug mode after the last change Krasimir Angelov 2026-01-14 17:49:45 +01:00
• ce63d4627b variables in rules are finally renamed Krasimir Angelov 2026-01-14 16:42:04 +01:00
• a99cfb53f5 fix initialization in -O2 mode Krasimir Angelov 2026-01-14 14:52:29 +01:00
• 76faee5cd5 use the cached parameter count Krasimir Angelov 2026-01-14 14:21:24 +01:00
• 21f4c009ab an interval based parser Krasimir Angelov 2026-01-12 14:36:41 +01:00
• fbfb54c9b2 bugfix Krasimir Angelov 2026-01-12 11:03:04 +01:00
• 72682d6eb3 eliminate repeated rules Krasimir Angelov 2026-01-08 08:53:01 +01:00
• d42614afad partial implementation for dependently typed records Krasimir Angelov 2026-01-03 16:14:51 +01:00
• 0a33204ee4 faster and correct dependency checking Krasimir Angelov 2026-01-02 08:20:52 +01:00
• d18969a6fb initialize phrasetable to 0 Krasimir Angelov 2025-11-18 16:23:35 +01:00
• d5651f24c5 added missing case Krasimir Angelov 2025-11-18 15:32:25 +01:00
• ddce3738b1 fix how probabilities are computed Krasimir Angelov 2025-11-18 09:27:10 +01:00
• 603bca8afd fix memory leaks Krasimir Angelov 2025-11-17 21:44:29 +01:00
• a8ba57d822 remove trace message Krasimir Angelov 2025-11-17 17:01:08 +01:00
• e34edd414f fix item completion Krasimir Angelov 2025-11-17 16:51:29 +01:00
• 9263d1eb17 avoid using value2termM Krasimir Angelov 2025-11-15 12:18:22 +01:00
• d02eeb7568 fix string matching in case of metavariables Krasimir Angelov 2025-11-15 11:53:24 +01:00
• 970c989fb6 pretty printing for record value Krasimir Angelov 2025-11-15 10:06:00 +01:00
• 80786ad770 remove redundant import Krasimir Angelov 2025-11-15 09:39:08 +01:00
• 761b89d690 yet another variation of the overloading error Krasimir Angelov 2025-11-14 15:04:30 +01:00
• 6c9a197b37 more helpful error when lin X is missing Krasimir Angelov 2025-11-14 12:05:11 +01:00
• 08bd669200 more user friendly error for overload resolution failure Krasimir Angelov 2025-11-14 11:27:18 +01:00
• 8282b3e4ce fixing the lock fields Krasimir Angelov 2025-11-14 11:04:11 +01:00
• a0c810530e remove the old evaluator Krasimir Angelov 2025-11-13 18:54:40 +01:00
• cb6bace896 Diophantine grammars in the runtime Krasimir Angelov 2025-11-13 11:17:16 +01:00
• cb1e67dffa Merge branch 'majestic' of github.com:krangelov/gf-core into majestic Krasimir Angelov 2025-11-13 11:16:48 +01:00
• 54839a9796 first draft for Diophantine grammars Krasimir Angelov 2025-11-13 11:02:40 +01:00
• 3ee4f6ce9c added MonadFix and fix how return is defined Krasimir Angelov 2025-11-13 10:58:16 +01:00
• bd26b24aed retain source location for the children of a Markup Krasimir Angelov 2025-10-19 14:41:29 +00:00
• 6e529e74d9 added the const control Krasimir Angelov 2025-10-16 09:20:21 +00:00
• 6f3182d0cf Merge branch 'majestic' of github.com:krangelov/gf-core into majestic Krasimir Angelov 2025-10-16 08:59:05 +00:00
• b480ead393 pretty printing for VPatt Krasimir Angelov 2025-10-14 08:43:29 +02:00
• 72028c7ae7 merge Krasimir Angelov 2025-09-17 10:17:37 +02:00
• 7571b9c1df Merge branch 'majestic' of github.com:krangelov/gf-core into majestic Krasimir Angelov 2025-09-16 20:45:07 +02:00
• cd5ef68b4d Variants is a functor Krasimir Angelov 2025-09-16 19:52:04 +02:00
• ae9ac01e00 remove deprecated module Krasimir Angelov 2025-09-16 19:47:34 +02:00
• f04a0aee28 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic Krasimir Angelov 2025-09-12 07:19:06 +00:00
• 0f54675a91 added the filter construction Krasimir Angelov 2025-09-12 07:18:38 +00:00
• 570d223302 space leak in _collect_cats Krasimir Angelov 2025-09-09 19:48:38 +02:00