Krasimir Angelov
|
8960e00e26
|
speed up booting by implementing realloc+padovan
|
2022-02-09 10:36:42 +01:00 |
|
Krasimir Angelov
|
fdd33b63d9
|
remove redundancies in the .pgf format kept for lagacy reasons
|
2022-02-08 19:04:08 +01:00 |
|
Krasimir Angelov
|
4d240f7260
|
working fullFormLexicon. Slows down loading and compilation
|
2022-02-08 16:38:30 +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
|
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
|
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
|
b000b80159
|
added commands create cat & drop cat
|
2021-12-23 19:21:55 +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
|
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
|
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
|
0069946f42
|
linearization for HOAS expressions
|
2021-12-09 08:45:53 +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 |
|
krangelov
|
ac3b654b6c
|
handle functions without lin rules as well as meta variables
|
2021-12-08 12:00:53 +01:00 |
|
krangelov
|
f71ba14f6a
|
fix bracketed linearization for literals
|
2021-12-07 15:51:05 +01:00 |
|
krangelov
|
e177aa5d01
|
added graphiviz.cxx
|
2021-12-06 19:20:20 +01:00 |
|
krangelov
|
2c79b81565
|
missed graphviz.h
|
2021-12-06 19:05:32 +01:00 |
|
krangelov
|
d274f4856e
|
compile lindef & linref rules
|
2021-12-06 15:47:57 +01:00 |
|
krangelov
|
0b8a1a0de8
|
fix the order in which HOAS variables are shown in pgf_graphviz_abstract_tree
|
2021-12-04 18:09:08 +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
|
348963d13c
|
flush the pre stack at the end of the linearization as well
|
2021-12-03 14:52:31 +01:00 |
|
krangelov
|
d10f63c16b
|
fix the ranges for brackets around pre
|
2021-12-03 13:55:29 +01:00 |
|
krangelov
|
0132a70b94
|
take into account the order in which CAPIT && ALL_CAPIT appears
|
2021-12-03 11:40:00 +01:00 |
|
krangelov
|
df82e1e7ca
|
complete the linearization of pre
|
2021-12-03 11:29:01 +01:00 |
|