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
|
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
|
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
|
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
|
cd2c6aa32a
|
cleanup transient revisions only after a transaction is opened
|
2021-12-29 14:52:21 +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
|
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
|
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
|
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
|
8cb0383864
|
fix in the variable resolution
|
2021-12-15 09:31:02 +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
|
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
|
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 |
|
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
|
e312a10882
|
fix a potential crash
|
2021-12-08 19:34:28 +01:00 |
|
krangelov
|
a7686cddde
|
detect an attempt to linearize tree with partial application
|
2021-12-08 19:32:53 +01:00 |
|
krangelov
|
3f8642d0b9
|
linearize discontinuous categories with linref
|
2021-12-08 15:49:13 +01:00 |
|