Krasimir Angelov
|
fd1891111b
|
another attempt
|
2022-02-08 16:54:35 +01:00 |
|
Krasimir Angelov
|
d9efc1f615
|
try to restore compilation on Windows
|
2022-02-08 16:48:15 +01:00 |
|
Krasimir Angelov
|
4d240f7260
|
working fullFormLexicon. Slows down loading and compilation
|
2022-02-08 16:38:30 +01:00 |
|
Krasimir Angelov
|
fc7c1249b0
|
release the reference when done with it
|
2022-02-07 12:57:19 +01:00 |
|
Krasimir Angelov
|
9513c968db
|
fix the sanity checking for valid revisions
|
2022-02-02 11:49:16 +01:00 |
|
Krasimir Angelov
|
f0045e910e
|
better output for 'pg -fullform'
|
2022-01-28 17:32:40 +01:00 |
|
Krasimir Angelov
|
78b462c607
|
partial implementation for fullFormLexicon
|
2022-01-11 15:07:03 +01:00 |
|
Krasimir Angelov
|
c119349479
|
remove repeated export
|
2022-01-11 14:58:33 +01:00 |
|
Krasimir Angelov
|
c36d804c11
|
an attempt to fix the compilation on Mac
|
2022-01-11 14:57:41 +01:00 |
|
Krasimir Angelov
|
a216c1aa6d
|
ensure left-to-right pattern maching of records
|
2022-01-11 13:31:44 +01:00 |
|
Krasimir Angelov
|
310b40be31
|
strip redundant code
|
2022-01-11 13:31:00 +01:00 |
|
Krasimir Angelov
|
54993bce12
|
deepForce VSymCat
|
2022-01-11 12:48:14 +01:00 |
|
Krasimir Angelov
|
a8c40db453
|
bugfix in pgf_tabular_linearize
|
2022-01-10 11:59:20 +01:00 |
|
Krasimir Angelov
|
8a432ee47b
|
fix case-insensitive comparison
|
2022-01-10 11:08:37 +01:00 |
|
Krasimir Angelov
|
d87b3ce166
|
get rid of the destructive updates for seq_ids
|
2022-01-10 10:27:09 +01:00 |
|
Krasimir Angelov
|
19f7fb8d5e
|
added const specifier
|
2022-01-09 18:20:47 +01:00 |
|
Krasimir Angelov
|
f2572d3bd5
|
mark Vector as internal
|
2022-01-09 14:59:55 +01:00 |
|
Krasimir Angelov
|
73fa1d98c3
|
std::exp -> expf
|
2022-01-09 14:58:36 +01:00 |
|
Krasimir Angelov
|
262e44c208
|
fix typo
|
2022-01-09 08:24:41 +01:00 |
|
Krasimir Angelov
|
f5435dba38
|
restore the rigt order for terms
|
2022-01-09 08:00:05 +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
|
e65a3a06c9
|
fix the serialization
|
2022-01-08 20:02:40 +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
|
cd2c6aa32a
|
cleanup transient revisions only after a transaction is opened
|
2021-12-29 14:52:21 +01:00 |
|
Krasimir Angelov
|
f118e644d9
|
finished 'create lincat'
|
2021-12-29 14:06:24 +01:00 |
|
Krasimir Angelov
|
daebed0b7b
|
check the resource and the compiled grammar for compatibility
|
2021-12-29 12:28:50 +01:00 |
|
Krasimir Angelov
|
859d6ad5a5
|
restore categoryFields in the API
|
2021-12-29 12:06:29 +01:00 |
|
Krasimir Angelov
|
dca6611d84
|
synchronize the mmap sizes between processes
|
2021-12-29 11:16:21 +01:00 |
|
Krasimir Angelov
|
294ff3251c
|
fix reference counting
|
2021-12-29 10:19:21 +01:00 |
|
Krasimir Angelov
|
16b0eea568
|
code cleanup
|
2021-12-28 13:38:19 +01:00 |
|
Krasimir Angelov
|
c9b90a509c
|
first draft of a working "create lin" command
|
2021-12-28 13:36:53 +01:00 |
|
Krasimir Angelov
|
1959dd4499
|
added LT_INIT
|
2021-12-28 13:11:31 +01:00 |
|
krangelov
|
8b602d6c9f
|
mergePGF now detects when grammars have different abstract syntaxes
|
2021-12-24 16:19:14 +01:00 |
|
krangelov
|
21d38a7b4a
|
detect when we load a grammar with a different abstract and don't try to merge
|
2021-12-24 16:01:42 +01:00 |
|
krangelov
|
39853b3c04
|
add command "import -resource"
|
2021-12-24 14:46:07 +01:00 |
|
krangelov
|
cb10e2fe32
|
add commands to add/remove concrete syntaxes
|
2021-12-24 13:56:27 +01:00 |
|
krangelov
|
67a7e928f6
|
the import command can also boot images from .pgf files now
|
2021-12-24 12:52:29 +01:00 |
|
krangelov
|
cf87f55fa0
|
remove the trace message
|
2021-12-24 12:41:02 +01:00 |
|
krangelov
|
f606547209
|
the import command can now create blank grammars
|
2021-12-24 12:35:12 +01:00 |
|
krangelov
|
8b05257d6c
|
restore the web server
|
2021-12-24 11:41:03 +01:00 |
|
krangelov
|
56824cb645
|
error -> fail
|
2021-12-24 11:15:10 +01:00 |
|
krangelov
|
4ec0c334c3
|
remove PGF2.Type
|
2021-12-24 10:53:36 +01:00 |
|
krangelov
|
5c16693da3
|
started create/drop with lin & lincat
|
2021-12-23 23:04:31 +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
|
5b5ecc6934
|
prevent crashes
|
2021-12-23 14:26:51 +01:00 |
|
krangelov
|
4792665241
|
back to storing rwlocks in a separate file to avoid moving the lock
|
2021-12-22 22:19:56 +01:00 |
|
krangelov
|
12b4958b99
|
make it possible to merge PGF files in the compiler
|
2021-12-22 10:47:22 +01:00 |
|
krangelov
|
c4bd898dc0
|
remove dead code
|
2021-12-22 09:31:11 +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
|
13b6d51d43
|
support records as parameter types
|
2021-12-21 11:16:01 +01:00 |
|
krangelov
|
5811720d3a
|
code cleanup
|
2021-12-21 09:19:18 +01:00 |
|
krangelov
|
0a8b6d2586
|
make sure that types in ResValue are precomputed
|
2021-12-21 09:16:53 +01:00 |
|
krangelov
|
f2b6f36e02
|
generalize the syntax for pre patterns
|
2021-12-20 15:44:30 +01:00 |
|
krangelov
|
2be3fd7e78
|
eval pattern macroses
|
2021-12-20 15:03:15 +01:00 |
|
krangelov
|
ef84adf107
|
refactoring
|
2021-12-19 14:18:19 +01:00 |
|
krangelov
|
f6789fdfbf
|
refactor VC -> VC & VEmpty
|
2021-12-19 14:13:37 +01:00 |
|
krangelov
|
275f8f37ce
|
handle pre when it is in the arguments of a Predef function
|
2021-12-19 10:43:06 +01:00 |
|
krangelov
|
b266c55f8a
|
narrowing for table [...]
|
2021-12-17 17:26:23 +01:00 |
|
krangelov
|
2cb4fda502
|
more clean up
|
2021-12-17 10:05:20 +01:00 |
|
krangelov
|
2f79892463
|
clean up imports
|
2021-12-17 10:01:07 +01:00 |
|
krangelov
|
8e841d8c9b
|
remove some dead code
|
2021-12-16 19:04:53 +01:00 |
|
krangelov
|
c8dcc10325
|
another fix for cc
|
2021-12-16 14:00:25 +01:00 |
|
krangelov
|
4ed287a809
|
bug fix and refactoring in the cc command
|
2021-12-16 13:14:29 +01:00 |
|
krangelov
|
8466692584
|
a bit more refactoring
|
2021-12-16 10:58:40 +01:00 |
|
krangelov
|
60c9d46141
|
simplify the Ident type
|
2021-12-16 09:53:39 +01:00 |
|
krangelov
|
7dea9598a4
|
remove the trace messages
|
2021-12-16 08:46:37 +01:00 |
|
krangelov
|
937a78c628
|
drop the -trace option
|
2021-12-15 13:08:10 +01:00 |
|
krangelov
|
f793ed4413
|
generate PMCFG only for complete modules
|
2021-12-15 09:53:45 +01:00 |
|
krangelov
|
b61e870783
|
a better error message
|
2021-12-15 09:36:12 +01:00 |
|
krangelov
|
8cb0383864
|
fix in the variable resolution
|
2021-12-15 09:31:02 +01:00 |
|
krangelov
|
4b7eaaf43f
|
make sure that everything is evaluated before conversion
|
2021-12-15 08:23:31 +01:00 |
|
krangelov
|
14feb56140
|
bugfix in the conversion of parameters to numbers
|
2021-12-14 19:08:01 +01:00 |
|
krangelov
|
e2b6774bd3
|
the elimination of empty tokens is moved to the typechecker
|
2021-12-14 15:59:13 +01:00 |
|
krangelov
|
7556662344
|
compile record expansions with let bindings to avoid duplication
|
2021-12-14 15:27:53 +01:00 |
|
krangelov
|
f332a03c79
|
support Ints n as a parameter type
|
2021-12-14 15:27:03 +01:00 |
|
krangelov
|
51e337a910
|
prevent the compilation of empty tokens
|
2021-12-14 11:39:18 +01:00 |
|
krangelov
|
48c40f3170
|
fix the pretty printing for linearization variables
|
2021-12-14 11:08:27 +01:00 |
|
krangelov
|
cbcbbc9134
|
if there are no productions for a function, don't create PgfConcrLin at all
|
2021-12-14 10:15:32 +01:00 |
|
krangelov
|
77693dca3e
|
one more trivial optimization for string patterns
|
2021-12-14 09:25:08 +01:00 |
|
krangelov
|
4886c7ce3b
|
optimize certain pathological pattern matchings for strings
|
2021-12-14 09:16:40 +01:00 |
|
krangelov
|
9efb6b002f
|
if a module is compiled with -no-pmcfg the PMCFG is generated on demand
|
2021-12-13 11:17:10 +01:00 |
|
krangelov
|
88ac47621a
|
remove deprecated module
|
2021-12-13 11:10:20 +01:00 |
|
krangelov
|
404feea345
|
a bit of refactoring
|
2021-12-13 11:04:13 +01:00 |
|
krangelov
|
bb053119b3
|
when a pattern macro is invoked, the operation must be computed first
|
2021-12-13 09:55:37 +01:00 |
|
krangelov
|
f7bf18d101
|
fix value2term for predefined functions
|
2021-12-13 09:44:28 +01:00 |
|
krangelov
|
ad4c5029a3
|
fix the implementation for Predef.tk & Predef.dp
|
2021-12-10 12:05:01 +01:00 |
|
krangelov
|
b0672afc67
|
fully implement the linearize command
|
2021-12-10 10:34:57 +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
|
9b0b038984
|
handle records of parameters
|
2021-12-09 17:45:39 +01:00 |
|
krangelov
|
e413293657
|
tabularLinearize should continue after nonExist
|
2021-12-09 15:04:19 +01:00 |
|
krangelov
|
1ccfdfce5f
|
another update
|
2021-12-09 10:09:42 +01:00 |
|
krangelov
|
5b324faeec
|
update the JavaScript tests
|
2021-12-09 10:07:21 +01:00 |
|
krangelov
|
7bbdbbe917
|
update the testsuite for python
|
2021-12-09 10:00:31 +01:00 |
|
krangelov
|
b0d364f8e8
|
implement tabularLinearize
|
2021-12-09 09:51:09 +01:00 |
|