Krasimir Angelov
|
00227014b8
|
simpler but working name allocator
|
2022-12-10 18:43:26 +01:00 |
|
Krasimir Angelov
|
8f7e4c084c
|
an API to create unique function names
|
2022-12-05 08:11:43 +01:00 |
|
Krasimir Angelov
|
4d0f33e3c3
|
make it possible to replace the probabilities while reading a new .pgf
|
2022-07-14 11:04:45 +02:00 |
|
Krasimir Angelov
|
fc09bc776b
|
transactions should always start with the last revision and release it when done
|
2022-05-23 19:50:41 +02:00 |
|
Krasimir Angelov
|
5594679a83
|
first draft of the new allocator with transactions support
|
2022-05-20 13:55:45 +02:00 |
|
Krasimir Angelov
|
4d240f7260
|
working fullFormLexicon. Slows down loading and compilation
|
2022-02-08 16:38:30 +01:00 |
|
Krasimir Angelov
|
00f857559d
|
restore the sharing of sequences. Shrinks the grammar by ~45%
|
2022-01-08 19:49:42 +01:00 |
|
krangelov
|
1413c273cc
|
API for adding concrete syntaxes. Garbage collection to be fixed!
|
2021-10-21 19:18:14 +02:00 |
|
krangelov
|
2e30c7f6cb
|
bugfix
|
2021-09-17 12:01:14 +02:00 |
|
krangelov
|
ae0a6aa6b6
|
clean up everything after revision is not needed anymore.
|
2021-09-11 16:33:22 +02:00 |
|
krangelov
|
28321cc023
|
added dropFunction
|
2021-09-09 09:47:26 +02:00 |
|
krangelov
|
3d4c6031d8
|
missing call to free after the call to pgf_abstract_name
|
2021-09-09 07:20:15 +02:00 |
|
krangelov
|
9cea2cc70e
|
change the API to allow different grammar revisions
|
2021-09-06 15:49:39 +02:00 |
|
krangelov
|
4c5aad5883
|
use reference counting to release the namespaces
|
2021-09-03 20:01:13 +02:00 |
|
krangelov
|
e0288f46dc
|
the namespace iterator now takes a PgfExn parameter like in the old runtime
|
2021-08-31 09:31:06 +02:00 |
|
krangelov
|
2c1700776e
|
implemented readExpr & readType
|
2021-08-11 22:07:01 +02:00 |
|
krangelov
|
a5008c2fe1
|
implemented functionType and marshalling for types and expressions
|
2021-08-10 15:07:41 +02:00 |
|
krangelov
|
91f183ca6a
|
move the C sources to the subfolder pgf again for backwards compatibility
|
2021-08-08 18:29:16 +02:00 |
|