msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
8,417 Commits 21 Branches 11 Tags
262e44c208c615d384fe1fe4fe0f117735eb2fb3
Commit Graph

437 Commits

Author SHA1 Message Date
Krasimir Angelov
262e44c208 fix typo 2022-01-09 08:24:41 +01:00
Krasimir Angelov
99e639c861 handle failed linearization in tabularLinearize 2022-01-09 07:37:03 +01:00
Krasimir Angelov
f3d54a02e3 update the testsuite 2022-01-08 20:04:23 +01:00
Krasimir Angelov
00f857559d restore the sharing of sequences. Shrinks the grammar by ~45% 2022-01-08 19:49:42 +01:00
Krasimir Angelov
859d6ad5a5 restore categoryFields in the API 2021-12-29 12:06:29 +01:00
krangelov
4ec0c334c3 remove PGF2.Type 2021-12-24 10:53:36 +01:00
krangelov
b000b80159 added commands create cat & drop cat 2021-12-23 19:21:55 +01:00
krangelov
f03779dfed fix Fun -> Cat 2021-12-23 18:06:08 +01:00
krangelov
f5798350fd commands "create fun" & "drop fun" in the shell 2021-12-23 14:55:26 +01:00
krangelov
12b4958b99 make it possible to merge PGF files in the compiler 2021-12-22 10:47:22 +01:00
krangelov
d18c6d07ea use a diferent target name to avoid accidentally removing test.pgf 2021-12-21 19:10:36 +01:00
krangelov
a6f9eb15ad added Data instances for backwards compatibility 2021-12-21 14:38:28 +01:00
krangelov
73c16504d2 added bracketedLinearizeAll 2021-12-10 10:30:25 +01:00
krangelov
3a39fb5f9d added tabularLinearizeAll 2021-12-10 09:56:51 +01:00
krangelov
494f4c8193 added linearizeAll 2021-12-10 09:13:45 +01:00
krangelov
b0d364f8e8 implement tabularLinearize 2021-12-09 09:51:09 +01:00
krangelov
09de911499 drop the symbol_meta method 2021-12-09 08:56:32 +01:00
krangelov
72982d2344 added testsuite for linearization 2021-12-09 08:46:29 +01:00
krangelov
0069946f42 linearization for HOAS expressions 2021-12-09 08:45:53 +01:00
krangelov
d1b1cd6e8c an API for constructing HOAS expressions 2021-12-09 07:46:49 +01:00
krangelov
d274f4856e compile lindef & linref rules 2021-12-06 15:47:57 +01:00
krangelov
a3d680f317 restored graphvizAbstractTree 2021-12-04 16:05:24 +01:00
krangelov
3d1123eed4 restore graphvizParseTree 2021-12-04 14:12:23 +01:00
krangelov
bbff79aaa3 added API for print names 2021-12-03 16:49:36 +01:00
krangelov
baf78528d3 implement bracketedLinearize 2021-12-03 09:44:03 +01:00
krangelov
15c03816ea implemented nonExist 2021-12-01 14:10:34 +01:00
krangelov
ae08d42d6e started the linearizer 2021-11-26 18:44:17 +01:00
krangelov
4a68ea93b3 generate and store the ranges for all linearization rules 2021-11-26 14:05:03 +01:00
krangelov
857e85c8a1 implement pre {..} 2021-11-25 19:04:35 +01:00
krangelov
fa1d7cf859 started on the typechecker 2021-11-19 10:39:06 +01:00
krangelov
f8fb64a53e added test case for showPGF 2021-11-18 13:55:57 +01:00
krangelov
06980404a9 correctly distinguish between fun and data judgements 2021-11-18 13:50:09 +01:00
krangelov
7ff38bfcbe show field names in double quotes 2021-11-18 11:43:44 +01:00
krangelov
09731b985c fix showPGF for the case where a category has no fields 2021-11-18 11:41:24 +01:00
krangelov
aae6123e9e fix: call symks instead of symvar 2021-11-18 11:17:20 +01:00
krangelov
dc609d2fff change from curly braces to square brackets 2021-11-18 10:57:12 +01:00
krangelov
71020baa5e added sanity checking in the linearization builder 2021-11-18 10:33:20 +01:00
krangelov
070f63a049 complete showPGF 2021-11-17 14:03:04 +01:00
krangelov
1e3efd9fa4 progress on showPGF 2021-11-16 16:15:22 +01:00
krangelov
10e26575de started on showPGF 2021-11-16 12:07:38 +01:00
krangelov
5649bc1ef0 started piping PMCFG rules to the runtime 2021-11-16 11:49:02 +01:00
krangelov
81eb2217ac more instructions for Windows 2021-11-10 15:22:47 +01:00
krangelov
064136cafd another fix for Windows 2021-11-10 14:40:45 +01:00
krangelov
9eb88f9281 a number of new API functions for the concrete syntax. 2021-11-09 09:16:20 +01:00
krangelov
a4ad17a478 pgf_create_lin now has access to the abstract function 2021-11-09 08:50:54 +01:00
krangelov
02a84b12da simplify types 2021-11-09 08:08:14 +01:00
krangelov
1aacc34deb fix reference counting for concrete revisions 2021-11-09 08:02:20 +01:00
krangelov
6552bcf909 Unify the data model between the C runtime and the Haskell binding 2021-11-09 02:04:36 +01:00
krangelov
43f40e701a test cases for the concrete syntax 2021-11-03 11:40:34 +01:00
krangelov
2320c6b3b0 export alterConcrete too 2021-10-28 19:32:37 +02:00