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

• 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
• 9ed74d7772 basic linearization is working krangelov 2021-11-30 17:54:36 +01:00
• ae08d42d6e started the linearizer krangelov 2021-11-26 18:44:17 +01:00
• 3134a89307 reduce import symbols krangelov 2021-11-26 15:00:24 +01:00
• 4a68ea93b3 generate and store the ranges for all linearization rules krangelov 2021-11-26 14:05:03 +01:00
• 794e15aca3 fix in the PMCFG generation krangelov 2021-11-26 08:32:00 +01:00
• 857e85c8a1 implement pre {..} krangelov 2021-11-25 19:04:35 +01:00
• 3fd668e525 fix failure is the printout is empty krangelov 2021-11-25 13:51:19 +01:00
• f845889702 fix potential crashes krangelov 2021-11-25 11:50:09 +01:00
• fa1d7cf859 started on the typechecker krangelov 2021-11-19 10:39:06 +01:00
• 1107b245da remove obsolete code krangelov 2021-11-19 09:38:04 +01:00
• a5cbf3e894 fix other potential allocation failures krangelov 2021-11-18 18:16:41 +01:00
• 9dc80f7706 fix the crash in the python testsuite krangelov 2021-11-18 14:11:35 +01:00
• f8fb64a53e added test case for showPGF krangelov 2021-11-18 13:55:57 +01:00
• 06980404a9 correctly distinguish between fun and data judgements krangelov 2021-11-18 13:50:09 +01:00
• 7ff38bfcbe show field names in double quotes krangelov 2021-11-18 11:43:44 +01:00
• 09731b985c fix showPGF for the case where a category has no fields krangelov 2021-11-18 11:41:24 +01:00
• 5ada91f026 fix the serialization for empty strings krangelov 2021-11-18 11:36:18 +01:00
• ad068151f8 simple fix for showPGF krangelov 2021-11-18 11:19:35 +01:00
• aae6123e9e fix: call symks instead of symvar krangelov 2021-11-18 11:17:20 +01:00
• dc609d2fff change from curly braces to square brackets krangelov 2021-11-18 10:57:12 +01:00
• 71020baa5e added sanity checking in the linearization builder krangelov 2021-11-18 10:33:20 +01:00
• ec76223b41 properly release memory for PgfConcrLincat & PgfConcrLin krangelov 2021-11-18 08:24:24 +01:00
• 070f63a049 complete showPGF krangelov 2021-11-17 14:03:04 +01:00
• 6295b32405 generate field names and pipe them to the runtime krangelov 2021-11-17 11:34:31 +01:00
• 9e00cdd7f4 Update README.md Krasimir Angelov 2021-11-17 08:23:07 +01:00
• e1f6a24371 Update transactions.md Krasimir Angelov 2021-11-17 08:11:24 +01:00
• ed6b0f303e Update README.md Krasimir Angelov 2021-11-16 21:45:19 +01:00
• c4ff30cc34 add libwinpthread-1.dll as well krangelov 2021-11-16 21:42:55 +01:00
• 0784b00a47 grab the extra .dll dependencies from MinGW as well krangelov 2021-11-16 21:27:20 +01:00
• 6838aaa1fe add the .dll to the artifact as well krangelov 2021-11-16 21:04:36 +01:00
• 6b301f916d add msys64 to the artifact path krangelov 2021-11-16 20:53:25 +01:00
• 83e28f47f9 third guess krangelov 2021-11-16 20:45:50 +01:00
• 2c11c25940 another attempt to build the artifact krangelov 2021-11-16 20:34:25 +01:00
• 4750de888a an attempt to upload the windows build as an artifact krangelov 2021-11-16 20:26:58 +01:00
• f469b9979f no sudo on Windows krangelov 2021-11-16 20:05:08 +01:00
• f5fea82020 set working directory krangelov 2021-11-16 19:49:08 +01:00
• e00378c820 attempt to build the Windows runtime krangelov 2021-11-16 19:40:14 +01:00
• 2c38ba6ca4 test msys krangelov 2021-11-16 19:36:02 +01:00
• 7797aa6ed5 build instructions for Windows krangelov 2021-11-16 19:19:21 +01:00
• 30c5109bfd install GCC for MinGW Krasimir Angelov 2021-11-16 19:13:56 +01:00
• 051eb737f2 Try to setup Windows build Krasimir Angelov 2021-11-16 19:06:32 +01:00
• 2cbf59d75b fix the include for WINDOWS krangelov 2021-11-16 17:23:03 +01:00
• 1e3efd9fa4 progress on showPGF krangelov 2021-11-16 16:15:22 +01:00
• 10e26575de started on showPGF krangelov 2021-11-16 12:07:38 +01:00
• 5649bc1ef0 started piping PMCFG rules to the runtime krangelov 2021-11-16 11:49:02 +01:00
• db92bcfff6 fix for MacOS krangelov 2021-11-16 09:53:41 +01:00
• 4a62ea02f4 destroy the r/w lock if there is no shared file krangelov 2021-11-16 09:48:50 +01:00
• c26f3b3cd5 an attempt to fix the failure on MacOS krangelov 2021-11-16 09:36:26 +01:00
• f5e6c695a7 make r/w lock shared only if there is a shared file as well krangelov 2021-11-16 08:53:22 +01:00
• c80ef3549c fix error reporting when the r/w lock is created krangelov 2021-11-16 08:47:07 +01:00