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

• 2324fe795c Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174) Arianna Masciolini 2025-08-02 20:26:36 +02:00
• 703b1e5d92 add eval.gfs to expected failures Arianna Masciolini 2025-08-02 20:18:28 +02:00
• f1a72a066f Merge pull request #182 from inariksit/fix-encoding Inari Listenmaa 2025-08-02 19:26:06 +02:00
• 6f9f9642d7 use UTF8 for several GF files Inari Listenmaa 2025-08-02 19:14:15 +02:00
• f5752b345a fail slow Arianna Masciolini 2025-08-02 19:14:09 +02:00
• 5170668ff2 Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into hleiss/master Arianna Masciolini 2025-08-02 19:02:30 +02:00
• 65e85c5a3c Merge pull request #175 from inariksit/new-ghc Inari Listenmaa 2025-08-02 18:59:07 +02:00
• 01c4f82e07 misc small fixes: Inari Listenmaa 2025-08-02 16:42:54 +02:00
• e81d668605 higher upper bound for base,mtl,ghc-prim,json,time Inari Listenmaa 2025-03-20 17:55:27 +01:00
• 155b9da861 choose openFd based on version of unix Inari Listenmaa 2025-03-20 17:54:41 +01:00
• ab0f09e9f7 build-depends for unix depending on ghc version Inari Listenmaa 2025-03-20 17:53:56 +01:00
• 9fa8ac934a add stack file for GHC 9.6.6 Inari Listenmaa 2024-09-09 19:55:05 +02:00
• e84826ed2a explicitly import join, when, (<=<) from Control.Monad Inari Listenmaa 2024-09-09 19:45:34 +02:00
• bbf12458c7 use openFd from unix >= 2.8 Inari Listenmaa 2024-09-09 19:44:49 +02:00
• b914a25de3 define return in terms of pure, >> as *>, mappend as <> Inari Listenmaa 2024-09-09 19:43:39 +02:00
• 1037b209ae add whitespace on list comprehensions, applications etc. Inari Listenmaa 2024-09-09 19:38:27 +02:00
• 4c8549d6dd a simple selection operation Krasimir Angelov 2025-06-11 08:48:04 +00:00
• b993931820 change the semantics of bubbling and add the len construction Krasimir Angelov 2025-06-10 17:27:30 +00:00
• 09e98ed323 Merge pull request #180 from phantamanta44/majestic Krasimir Angelov 2025-06-08 09:28:00 +02:00
• ceb07da0c0 leftover change Krasimir Angelov 2025-06-06 16:57:29 +00:00
• 6664914b7e Merge branch 'majestic' of github.com:krangelov/gf-core into majestic Krasimir Angelov 2025-06-06 16:55:22 +00:00
• 04639d2c6b allow multiple tags inside control and top-level opers Krasimir Angelov 2025-06-06 06:21:32 +00:00
• 21b44e3c55 control structure concat' Krasimir Angelov 2025-06-05 11:58:25 +00:00
• a59967d5f9 added value2float, exported value2float, value2int Krasimir Angelov 2025-06-05 11:57:31 +00:00
• 68bab72cd3 remove redundant variants Krasimir Angelov 2025-05-28 19:17:45 +00:00
• 2c427b69fe avoid using withState Krasimir Angelov 2025-05-28 14:20:16 +00:00
• 52eb5899d4 added zonkValue Krasimir Angelov 2025-05-28 14:02:06 +00:00
• f64d6b045b Revert bubble re-implementation Eve 2025-05-26 13:15:15 +02:00
• 9c422c8224 Type annotations for option labels + new bubble impl Eve 2025-04-22 01:20:48 +02:00
• 6429ed7148 Choice-splitting versions of mapVariants and mapConstVs Eve 2025-04-06 14:54:15 +02:00
• a0faa48537 progress on Finnish Krasimir Angelov 2025-05-23 15:11:00 +02:00
• f82b8b6e11 missing cases in collectOp Krasimir Angelov 2025-05-22 20:06:50 +02:00
• 9e6885c901 fix for VInts Krasimir Angelov 2025-05-22 11:55:29 +02:00
• 9a3cb2369d added missing cases for VInts Krasimir Angelov 2025-05-22 11:54:17 +02:00
• 9c038ceb7c more updates to get English compile Krasimir Angelov 2025-05-22 11:48:21 +02:00
• c61315465d ditch the old typechecker completely Krasimir Angelov 2025-05-21 14:55:13 +02:00
• 054ebf066a more precise subtype/supertype for nondependent functions Krasimir Angelov 2025-05-21 14:35:55 +02:00
• 548e4c8549 more updates for typechecking the RGL Krasimir Angelov 2025-05-21 14:32:53 +02:00
• 6f8654716e ignore the lock field when checking for subsumption Krasimir Angelov 2025-05-21 13:56:45 +02:00
• 8b93f80c52 don't typecheck record fields that are going to be discarded Krasimir Angelov 2025-05-21 13:56:19 +02:00
• fd27a2ebd3 minimal set of changes to make Bulgarian compile with the new typechecker Krasimir Angelov 2025-05-21 13:39:03 +02:00
• 6f9f187c70 two hacks for backwards compatibility Krasimir Angelov 2025-05-19 13:08:54 +02:00
• 68ae919afa avoid unnecessary variants Krasimir Angelov 2025-05-18 07:46:56 +02:00
• 3a1990fd1d switch to using the new type checker by default Krasimir Angelov 2025-05-18 07:20:12 +02:00
• e54f748efa serialization for Markup and Reset Krasimir Angelov 2025-05-18 07:08:11 +02:00
• 03421f6bc7 fix in the typechecking of one and default Krasimir Angelov 2025-05-09 19:15:28 +02:00
• d54fab0bbf fix typo Krasimir Angelov 2025-05-09 19:10:51 +02:00
• 3d7c8ade17 a draft for the generalized control operators Krasimir Angelov 2025-05-09 18:58:27 +02:00
• 544bbd9049 special handling for empty variants in the bubbling Krasimir Angelov 2025-05-05 11:46:50 +02:00
• d5e3e8f649 whitespace Krasimir Angelov 2025-05-03 07:32:06 +02:00
• 4c0644fd55 another bug in the typechecker Krasimir Angelov 2025-05-03 07:31:44 +02:00
• 188b77b083 improvement on the typechecker Krasimir Angelov 2025-05-02 13:52:17 +02:00
• dbfa9e4faf type inference for lambda abstractions Krasimir Angelov 2025-04-16 12:29:50 +02:00
• a9d4fecd33 added export for EPatt Krasimir Angelov 2025-04-15 08:40:30 +02:00
• cc4d07f168 Export a grammar in source format to JSON Krasimir Angelov 2025-04-14 11:16:27 +02:00
• 3432e6f571 serialization for expressions in daison Krasimir Angelov 2025-04-13 08:36:25 +02:00
• c2d64efe68 cannonical export now may contain some resource modules with parameters Krasimir Angelov 2025-04-11 10:47:43 +02:00
• aa3a03e7af Merge pull request #179 from phantamanta44/majestic Krasimir Angelov 2025-04-06 17:25:16 +02:00
• f0b42f4783 Merge pull request #178 from EkaterinaVoloshina/majestic Krasimir Angelov 2025-03-31 19:07:43 +02:00
• b29ec2a47a Option evaluation + basic repl support for option manipulation Eve 2025-03-31 17:52:54 +02:00
• 8bd0d13dd6 Port builtin improvements to new evaluator + opt parsing Eve 2025-03-22 06:45:06 +01:00
• 3de005f11c Replace open term check for predefs with canonical term check Eve 2025-03-03 10:46:17 +01:00
• 223604526e Better predef evaluation semantics, avoid value2term Eve 2025-02-26 22:33:45 +01:00
• 2361adad93 Create ServerInstructions.md Ekaterina Voloshina 2025-03-31 13:35:15 +02:00
• c95a526ca9 missed to add the JSON file Krasimir Angelov 2025-03-27 14:29:38 +01:00
• 5dcd1108c7 take into account the result type during overload reasolution Krasimir Angelov 2025-03-27 14:28:42 +01:00
• e6c4775ade the JSON dump now supports the entire GF language Krasimir Angelov 2025-03-26 14:56:08 +01:00
• 65e4ca309c Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic Krasimir Angelov 2025-03-21 07:02:23 +01:00
• 4c24fc904d another case for evaluation under a table Krasimir Angelov 2025-03-21 07:00:58 +01:00
• 945cd65220 Merge pull request #176 from EkaterinaVoloshina/patch-1 Inari Listenmaa 2025-03-20 17:40:02 +01:00
• 3c5c8424e0 excluded outdated info Ekaterina Voloshina 2025-03-20 17:38:14 +01:00
• 81d472235a function application under tables Krasimir Angelov 2025-03-20 16:06:33 +01:00
• b0d363c311 added missing cases Krasimir Angelov 2025-03-17 19:06:41 +01:00
• a7c0be2fd5 fix typo Krasimir Angelov 2025-03-14 07:38:33 +00:00
• b008aa7de0 sketch an implementation for reset Krasimir Angelov 2025-03-13 19:01:18 +00:00
• 271991ef10 added missing cases for VMarkup Krasimir Angelov 2025-03-10 16:38:18 +00:00
• e59ae98aa1 export bubble Krasimir Angelov 2025-03-10 16:08:55 +00:00
• 88ae6bff71 added missing case for VCRecType Krasimir Angelov 2025-03-10 14:42:36 +00:00
• 22a22aacbb added evaluation for markup Krasimir Angelov 2025-03-10 14:26:51 +00:00
• 854739eee4 support for non-flat forms Krasimir Angelov 2025-03-10 15:22:59 +01:00
• 16f9f86248 start using the new typechecker and evaluator in the cc command Krasimir Angelov 2025-03-10 15:22:31 +01:00
• 084ffa1ce9 fix quantification Krasimir Angelov 2025-03-08 12:42:46 +00:00
• 344481634f the pure evaluator Krasimir Angelov 2025-03-07 23:27:05 +00:00
• 364c8c023c switch to using pure functional evaluator Krasimir Angelov 2025-03-07 20:50:28 +00:00
• c9aadf7382 added missing case Krasimir Angelov 2025-03-07 08:57:55 +01:00
• d97292cfd4 AC_PROG_LIBTOOL not necessary anymore Krasimir Angelov 2025-03-07 08:57:11 +01:00
• 84fa6522de bump upper version of the network package Krasimir Angelov 2025-02-26 12:06:29 +00:00
• 176dcdf2fa import liftA2 Krasimir Angelov 2025-02-25 12:31:05 +00:00
• a501784a32 Merge pull request #173 from phantamanta44/majestic Krasimir Angelov 2025-02-25 13:05:00 +01:00
• 19c5b410f2 Predef combinators Eve 2025-02-21 11:05:23 +01:00
• 981d6b9bdd Specify that extending a grammar doesn't inherit the startcat Inari Listenmaa 2025-02-20 20:52:21 +01:00
• 5776b567a2 Reactivate the gf-shell command 'pt -transfer' Hans Leiss 2025-02-19 12:59:43 +01:00
• 643617ccc4 Bug fix for gf-shell command 'pt -compute' in Expr.hs by tryMatch p (VConst _ _) env = match sig f eqs as0 Hans Leiss 2025-02-18 12:41:14 +01:00
• 815dfcc2fc Unification for function types Eve 2025-02-15 23:07:11 +01:00
• 265db698ac Dereference metavariables in types before structural inspections Eve 2025-02-15 22:27:06 +01:00
• b4b9974d54 More comprehensive open term check for builtin eval Eve 2025-02-09 16:53:03 +01:00
• 80de452e6d Fix inverted check in implicit arg app type check, disambiguate implicit args in reapply instead of tcApp Eve 2025-02-08 10:18:28 +01:00
• 4750ccfb7e Nondeterministic overload resolution in new type checker Eve 2025-02-04 13:14:54 +01:00
• 41cdf5e56a Load prelude in repl Eve 2025-01-28 01:01:13 +01:00
• 8290f79f52 Rudimentary resource REPL in gf-compiler Eve 2025-01-26 08:56:37 +01:00