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

• c9b90a509c first draft of a working "create lin" command Krasimir Angelov 2021-12-28 13:36:53 +01:00
• 1959dd4499 added LT_INIT Krasimir Angelov 2021-12-28 13:11:31 +01:00
• 8b602d6c9f mergePGF now detects when grammars have different abstract syntaxes krangelov 2021-12-24 16:19:14 +01:00
• 21d38a7b4a detect when we load a grammar with a different abstract and don't try to merge krangelov 2021-12-24 16:01:42 +01:00
• 39853b3c04 add command "import -resource" krangelov 2021-12-24 14:46:07 +01:00
• cb10e2fe32 add commands to add/remove concrete syntaxes krangelov 2021-12-24 13:56:27 +01:00
• 67a7e928f6 the import command can also boot images from .pgf files now krangelov 2021-12-24 12:52:29 +01:00
• cf87f55fa0 remove the trace message krangelov 2021-12-24 12:41:02 +01:00
• f606547209 the import command can now create blank grammars krangelov 2021-12-24 12:35:12 +01:00
• 8b05257d6c restore the web server krangelov 2021-12-24 11:41:03 +01:00
• 56824cb645 error -> fail krangelov 2021-12-24 11:15:10 +01:00
• 4ec0c334c3 remove PGF2.Type krangelov 2021-12-24 10:53:36 +01:00
• 5c16693da3 started create/drop with lin & lincat krangelov 2021-12-23 23:04:31 +01:00
• b000b80159 added commands create cat & drop cat krangelov 2021-12-23 19:21:55 +01:00
• f03779dfed fix Fun -> Cat krangelov 2021-12-23 18:06:08 +01:00
• f5798350fd commands "create fun" & "drop fun" in the shell krangelov 2021-12-23 14:55:26 +01:00
• 5b5ecc6934 prevent crashes krangelov 2021-12-23 14:26:51 +01:00
• 4792665241 back to storing rwlocks in a separate file to avoid moving the lock krangelov 2021-12-22 22:19:56 +01:00
• 12b4958b99 make it possible to merge PGF files in the compiler krangelov 2021-12-22 10:47:22 +01:00
• c4bd898dc0 remove dead code krangelov 2021-12-22 09:31:11 +01:00
• d18c6d07ea use a diferent target name to avoid accidentally removing test.pgf krangelov 2021-12-21 19:10:36 +01:00
• a6f9eb15ad added Data instances for backwards compatibility krangelov 2021-12-21 14:38:28 +01:00
• 13b6d51d43 support records as parameter types krangelov 2021-12-21 11:16:01 +01:00
• 5811720d3a code cleanup krangelov 2021-12-21 09:19:18 +01:00
• 0a8b6d2586 make sure that types in ResValue are precomputed krangelov 2021-12-21 09:16:53 +01:00
• f2b6f36e02 generalize the syntax for pre patterns krangelov 2021-12-20 15:44:30 +01:00
• 2be3fd7e78 eval pattern macroses krangelov 2021-12-20 15:03:15 +01:00
• ef84adf107 refactoring krangelov 2021-12-19 14:18:19 +01:00
• f6789fdfbf refactor VC -> VC & VEmpty krangelov 2021-12-19 14:13:37 +01:00
• 275f8f37ce handle pre when it is in the arguments of a Predef function krangelov 2021-12-19 10:43:06 +01:00
• b266c55f8a narrowing for table [...] krangelov 2021-12-17 17:26:23 +01:00
• 2cb4fda502 more clean up krangelov 2021-12-17 10:05:20 +01:00
• 2f79892463 clean up imports krangelov 2021-12-17 10:01:07 +01:00
• 8e841d8c9b remove some dead code krangelov 2021-12-16 19:04:53 +01:00
• c8dcc10325 another fix for cc krangelov 2021-12-16 14:00:25 +01:00
• 4ed287a809 bug fix and refactoring in the cc command krangelov 2021-12-16 13:14:29 +01:00
• 8466692584 a bit more refactoring krangelov 2021-12-16 10:58:40 +01:00
• 60c9d46141 simplify the Ident type krangelov 2021-12-16 09:53:39 +01:00
• 7dea9598a4 remove the trace messages krangelov 2021-12-16 08:46:37 +01:00
• 937a78c628 drop the -trace option krangelov 2021-12-15 13:08:10 +01:00
• f793ed4413 generate PMCFG only for complete modules krangelov 2021-12-15 09:53:45 +01:00
• b61e870783 a better error message krangelov 2021-12-15 09:36:12 +01:00
• 8cb0383864 fix in the variable resolution krangelov 2021-12-15 09:31:02 +01:00
• 4b7eaaf43f make sure that everything is evaluated before conversion krangelov 2021-12-15 08:23:31 +01:00
• 14feb56140 bugfix in the conversion of parameters to numbers krangelov 2021-12-14 19:08:01 +01:00
• e2b6774bd3 the elimination of empty tokens is moved to the typechecker krangelov 2021-12-14 15:59:13 +01:00
• 7556662344 compile record expansions with let bindings to avoid duplication krangelov 2021-12-14 15:27:53 +01:00
• f332a03c79 support Ints n as a parameter type krangelov 2021-12-14 15:27:03 +01:00
• 51e337a910 prevent the compilation of empty tokens krangelov 2021-12-14 11:39:18 +01:00
• 48c40f3170 fix the pretty printing for linearization variables krangelov 2021-12-14 11:08:27 +01:00
• cbcbbc9134 if there are no productions for a function, don't create PgfConcrLin at all krangelov 2021-12-14 10:15:32 +01:00
• 77693dca3e one more trivial optimization for string patterns krangelov 2021-12-14 09:25:08 +01:00
• 4886c7ce3b optimize certain pathological pattern matchings for strings krangelov 2021-12-14 09:16:40 +01:00
• 9efb6b002f if a module is compiled with -no-pmcfg the PMCFG is generated on demand krangelov 2021-12-13 11:17:10 +01:00
• 88ac47621a remove deprecated module krangelov 2021-12-13 11:10:20 +01:00
• 404feea345 a bit of refactoring krangelov 2021-12-13 11:04:13 +01:00
• bb053119b3 when a pattern macro is invoked, the operation must be computed first krangelov 2021-12-13 09:55:37 +01:00
• f7bf18d101 fix value2term for predefined functions krangelov 2021-12-13 09:44:28 +01:00
• ad4c5029a3 fix the implementation for Predef.tk & Predef.dp krangelov 2021-12-10 12:05:01 +01:00
• b0672afc67 fully implement the linearize command krangelov 2021-12-10 10:34:57 +01:00
• 73c16504d2 added bracketedLinearizeAll krangelov 2021-12-10 10:30:25 +01:00
• 3a39fb5f9d added tabularLinearizeAll krangelov 2021-12-10 09:56:51 +01:00
• 494f4c8193 added linearizeAll krangelov 2021-12-10 09:13:45 +01:00
• 9b0b038984 handle records of parameters krangelov 2021-12-09 17:45:39 +01:00
• e413293657 tabularLinearize should continue after nonExist krangelov 2021-12-09 15:04:19 +01:00
• 1ccfdfce5f another update krangelov 2021-12-09 10:09:42 +01:00
• 5b324faeec update the JavaScript tests krangelov 2021-12-09 10:07:21 +01:00
• 7bbdbbe917 update the testsuite for python krangelov 2021-12-09 10:00:31 +01:00
• b0d364f8e8 implement tabularLinearize krangelov 2021-12-09 09:51:09 +01:00
• 09de911499 drop the symbol_meta method krangelov 2021-12-09 08:56:32 +01:00
• 72982d2344 added testsuite for linearization krangelov 2021-12-09 08:46:29 +01:00
• 0069946f42 linearization for HOAS expressions krangelov 2021-12-09 08:45:53 +01:00
• d1b1cd6e8c an API for constructing HOAS expressions krangelov 2021-12-09 07:46:49 +01:00
• e312a10882 fix a potential crash krangelov 2021-12-08 19:34:28 +01:00
• a7686cddde detect an attempt to linearize tree with partial application krangelov 2021-12-08 19:32:53 +01:00
• 3f8642d0b9 linearize discontinuous categories with linref krangelov 2021-12-08 15:49:13 +01:00
• ac3b654b6c handle functions without lin rules as well as meta variables krangelov 2021-12-08 12:00:53 +01:00
• cd3f290ff2 always generate PMCFG for the literal categories krangelov 2021-12-07 15:51:34 +01:00
• f71ba14f6a fix bracketed linearization for literals krangelov 2021-12-07 15:51:05 +01:00
• e177aa5d01 added graphiviz.cxx krangelov 2021-12-06 19:20:20 +01:00
• 2c79b81565 missed graphviz.h krangelov 2021-12-06 19:05:32 +01:00
• d274f4856e compile lindef & linref rules krangelov 2021-12-06 15:47:57 +01:00
• 0b8a1a0de8 fix the order in which HOAS variables are shown in pgf_graphviz_abstract_tree krangelov 2021-12-04 18:09:08 +01:00
• a3d680f317 restored graphvizAbstractTree krangelov 2021-12-04 16:05:24 +01:00
• 3d1123eed4 restore graphvizParseTree krangelov 2021-12-04 14:12:23 +01:00
• bbff79aaa3 added API for print names krangelov 2021-12-03 16:49:36 +01:00
• 655576c291 the variable labeling should start with 0. krangelov 2021-12-03 15:00:04 +01:00
• 348963d13c flush the pre stack at the end of the linearization as well krangelov 2021-12-03 14:52:31 +01:00
• d10f63c16b fix the ranges for brackets around pre krangelov 2021-12-03 13:55:29 +01:00
• 0132a70b94 take into account the order in which CAPIT && ALL_CAPIT appears krangelov 2021-12-03 11:40:00 +01:00
• df82e1e7ca complete the linearization of pre krangelov 2021-12-03 11:29:01 +01:00
• baf78528d3 implement bracketedLinearize krangelov 2021-12-03 09:44:03 +01:00
• dc344fccc0 detect failures to resolve linearization krangelov 2021-12-02 15:28:48 +01:00
• 9ca68b1b4b support for Int,Float and String krangelov 2021-12-01 15:54:34 +01:00
• 15c03816ea implemented nonExist krangelov 2021-12-01 14:10:34 +01:00
• 7e1a2447c2 PgfSymbolLit is the same as PgfSymbolCat for the linearizer krangelov 2021-12-01 13:58:12 +01:00
• 03a5353c08 implement CAPIT & ALL_CAPIT krangelov 2021-12-01 13:56:52 +01:00
• 0562d3fbdb various small bugfixes krangelov 2021-12-01 13:56:14 +01:00
• 8e19b7d31c fix the memory leaks in the linearizer krangelov 2021-12-01 10:30:08 +01:00
• 483f93822c fix in the PMCFG generation krangelov 2021-12-01 10:13:01 +01:00