Krasimir Angelov
|
607b8d6d23
|
next attempt to fix Windows
|
2022-05-20 16:08:10 +02:00 |
|
Krasimir Angelov
|
825a43caf2
|
third fix for Windows
|
2022-05-20 15:58:21 +02:00 |
|
Krasimir Angelov
|
ddce47270b
|
more Windows fixes
|
2022-05-20 15:49:23 +02:00 |
|
Krasimir Angelov
|
43ca1079d7
|
fix the compilation on Windows
|
2022-05-20 15:40:59 +02:00 |
|
Krasimir Angelov
|
22d98833f9
|
fix the compilation on MacOS
|
2022-05-20 15:09:33 +02:00 |
|
Krasimir Angelov
|
5594679a83
|
first draft of the new allocator with transactions support
|
2022-05-20 13:55:45 +02:00 |
|
Krasimir Angelov
|
546dc01b5d
|
fix the compilation on Windows and Mac
|
2022-02-09 10:39:36 +01:00 |
|
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 |
|