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

#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

• 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
• 3b58ccbeef Don't evaluate builtins with free variables as arguments Eve 2025-01-26 01:14:25 +01:00
• d9ed763ace Fix tcApp on pi types, split check/infer into variants inside and outside EvalM Eve 2025-01-26 01:13:58 +01:00
• 1747b46274 Add alex/happy as build tool dependencies, bump up unix version in gf-compiler Eve 2025-01-26 00:50:04 +01:00
• 41f45e572b Instruction to downgrade LLVM for macOS Sequoia Inari Listenmaa 2025-01-18 07:27:46 +01:00
• c7226cc11c add GFSS2025 + remove IRC channel Inari Listenmaa 2025-01-18 07:13:24 +01:00
• bc56b54dd1 random generation of literals now has ten different values for each built in type; maybe a better solution for most cases than just one value aarneranta 2025-01-07 11:20:23 +01:00
• aa061aff0c Update robots.txt Krasimir Angelov 2024-11-26 12:15:41 +01:00
• 934afc9655 Merge pull request #169 from GrammaticalFramework/dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7 Inari Listenmaa 2024-11-01 10:29:45 +01:00
• 33b0bab610 Use different artifact names as is required by upload-artifact@v4 Andreas Källberg 2024-10-23 16:22:59 +02:00
• 9492967fc6 add sudo to make install to fix CI failure Andreas Källberg 2024-10-23 16:08:09 +02:00
• 5eab0a626d add glibtoolize dependency for mac CI Andreas Källberg 2024-10-23 15:47:14 +02:00
• fc614cd48e Bump more action versions Andreas Källberg 2024-10-23 15:40:29 +02:00
• eaec428a89 fix typo Andreas Källberg 2024-10-23 15:35:39 +02:00
• ed0a8ca0df Update setup-python github action Andreas Källberg 2024-10-23 15:34:01 +02:00
• ac427d63f2 fix compilation in -resource mode Krasimir Angelov 2024-10-22 09:02:03 +02:00
• 3b36b381aa save use of jments Krasimir Angelov 2024-10-22 08:30:51 +02:00
• f3a1fadd0c use evalError instead of erro Krasimir Angelov 2024-10-22 08:29:30 +02:00
• ebececef6d added MonadFix Krasimir Angelov 2024-10-22 08:28:51 +02:00
• 00addd4a0c update the cabal file Krasimir Angelov 2024-10-14 17:00:14 +02:00
• 00fd704405 the server package is now merged with the compiler Krasimir Angelov 2024-10-14 16:56:35 +02:00
• db58a4e7d6 bugfix Krasimir Angelov 2024-09-21 16:12:21 +02:00
• b86097a580 bugfix Krasimir Angelov 2024-09-21 15:50:09 +02:00
• 43671f3679 concrete revisions not longer take space in the revision registry Krasimir Angelov 2024-09-21 11:56:19 +02:00
• 8878eddb7d an API to retrieve a single language Krasimir Angelov 2024-09-20 17:34:10 +02:00
• e722916728 pattern matching with PChar Krasimir Angelov 2024-09-05 18:00:27 +02:00
• 6c2a94d428 comment out the call to the LRTableMaker Krasimir Angelov 2024-09-05 14:03:07 +02:00
• 5239ce5458 an experimental left-corner table maker Krasimir Angelov 2024-09-05 14:01:22 +02:00
• c65dc70aaf Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows dependabot[bot] 2024-09-03 21:17:51 +00:00
• d43d2cbdb1 fix potential crashes Krasimir Angelov 2024-09-03 16:41:22 +02:00
• c519d4bfae switch to the new and nicer vector API Krasimir Angelov 2024-08-28 11:20:45 +02:00
• cda3e99bd2 an alternative vector implementation Krasimir Angelov 2024-08-27 22:40:05 +02:00
• 6a75e4d595 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic Krasimir Angelov 2024-08-26 13:47:58 +02:00
• 676a01db2c a work in progress implementation for reset Krasimir Angelov 2024-08-26 13:47:39 +02:00
• 92cd2df143 fix broken patch Krasimir Angelov 2024-08-26 12:15:34 +02:00
• 428287346a optimize pattern matching on strings Krasimir Angelov 2024-08-26 11:58:36 +02:00
• d515cfd89d Data.XML must escape the data as well Krasimir Angelov 2024-05-17 11:46:37 +02:00
• 6d7071fe9c typechecking and evaluation for markup Krasimir Angelov 2024-05-17 11:37:44 +02:00
• efe00f88e3 refactoring pgfMain now takes the file path directly Krasimir Angelov 2024-05-16 19:34:02 +02:00
• 2a654c085f be consistent in the use of quotes Inari Listenmaa 2024-04-29 20:44:53 +08:00
• b855a094f8 Clarify description for vt Inari Listenmaa 2024-04-29 20:42:51 +08:00
• 02e8dcbb56 make it possible to control whether to expand variants or not Krasimir Angelov 2024-04-27 14:55:01 +02:00
• 541f6b23ab try again Krasimir Angelov 2024-04-15 11:23:57 +02:00
• cce5465f2b try python 3.10 as minimal version Krasimir Angelov 2024-04-15 11:16:31 +02:00
• 51c34e3e26 set deployment target mac-12.0 Krasimir Angelov 2024-04-15 10:37:29 +02:00
• c80da9b5dd try macOS-latest Krasimir Angelov 2024-04-15 10:34:20 +02:00
• 580c0c252f another attempt to fix compilation on macOS Krasimir Angelov 2024-04-15 10:19:05 +02:00
• 8764c2fb51 try skipping Python 3.7 for macOS Krasimir Angelov 2024-04-15 09:30:44 +02:00
• 876e3c734a added Graphviz visualizations Krasimir Angelov 2024-04-15 09:19:11 +02:00
• ef659f3e97 yet another fix for Python on Windows Krasimir Angelov 2024-04-11 11:44:41 +02:00
• 77752f02ec another fix for Python on Windows Krasimir Angelov 2024-04-11 11:00:28 +02:00