Krasimir Angelov
|
4e8bc0d872
|
in generateExprs, make sure that the NGF is not accidetally GCted
|
2026-07-27 15:35:28 +02:00 |
|
Krasimir Angelov
|
8340386033
|
build the parse table when compiling from sources
|
2026-05-06 18:41:50 +02:00 |
|
Krasimir Angelov
|
ce63d4627b
|
variables in rules are finally renamed
|
2026-01-14 16:42:04 +01:00 |
|
Krasimir Angelov
|
72682d6eb3
|
eliminate repeated rules
|
2026-01-08 08:53:01 +01:00 |
|
Krasimir Angelov
|
cb6bace896
|
Diophantine grammars in the runtime
|
2025-11-13 11:17:16 +01:00 |
|
Krasimir Angelov
|
43671f3679
|
concrete revisions not longer take space in the revision registry
|
2024-09-21 11:56:19 +02:00 |
|
Krasimir Angelov
|
8878eddb7d
|
an API to retrieve a single language
|
2024-09-20 17:34:10 +02:00 |
|
Krasimir Angelov
|
1fd0e9d8e2
|
fetch languages on demand to reduce database references
|
2024-03-14 20:05:19 +01:00 |
|
Krasimir Angelov
|
280e11cab6
|
HOAS in the type checker
|
2024-03-10 19:31:45 +01:00 |
|
Krasimir Angelov
|
5426b4209f
|
first draft of a typechecker
|
2024-03-06 09:08:15 +01:00 |
|
Krasimir Angelov
|
76f7579363
|
defined STG_UNUSED for macOS
|
2024-03-02 20:35:53 +01:00 |
|
Krasimir Angelov
|
83d5c883c3
|
A pgf doesn't always have a file location
|
2024-02-08 16:40:24 +01:00 |
|
Krasimir Angelov
|
c94d0f31bc
|
now we can load PGF files as precompiled modules
|
2024-01-30 13:02:40 +01:00 |
|
Krasimir Angelov
|
1a840d5cee
|
update after the changes in the pretty printer
|
2024-01-11 09:43:16 +01:00 |
|
Krasimir Angelov
|
dccb9681a2
|
started a graphviz visualization for the LR(0) automaton
|
2023-09-19 21:19:54 +02:00 |
|
Krasimir Angelov
|
f1af1c8be4
|
make it possible to bootstrap an .ngf from a cookie
|
2023-09-07 10:07:49 +02:00 |
|
Krasimir Angelov
|
295458ab03
|
two more fixes
|
2023-09-04 17:52:09 +02:00 |
|
Krasimir Angelov
|
56c5b8e3e9
|
a second try on writePGF_
|
2023-09-04 17:46:21 +02:00 |
|
Krasimir Angelov
|
d49ef33054
|
try an implementation for writePGF_ on macOS
|
2023-09-04 17:14:02 +02:00 |
|
Krasimir Angelov
|
62cad0f1ba
|
make it possible to write grammars via a cookie in glibc
|
2023-09-04 16:20:49 +02:00 |
|
Krasimir Angelov
|
98165bd8b5
|
fix warnings detected by MSVC
|
2023-05-11 05:52:39 +02:00 |
|
Krasimir Angelov
|
848142b353
|
fix the signature for pgf_parse
|
2023-03-25 09:19:11 +01:00 |
|
Krasimir Angelov
|
6c3a4f5dcd
|
random generation always produces something if possible
|
2023-03-16 17:22:42 +01:00 |
|
Krasimir Angelov
|
66e0511141
|
gr and gt now take into account the -lang flag
|
2023-03-14 18:58:37 +01:00 |
|
Krasimir Angelov
|
87b5c0da6c
|
refactoring
|
2023-03-14 16:27:18 +01:00 |
|
Krasimir Angelov
|
fc1b560eeb
|
added exhaustive generation
|
2023-03-11 19:23:19 +01:00 |
|
Krasimir Angelov
|
62d24b9431
|
the Haskell marshaller/unmarshaller are now statically allocated
|
2023-03-10 23:34:28 +01:00 |
|
Krasimir Angelov
|
9dc36a0f5f
|
added the "alter lin" command
|
2023-03-07 15:29:58 +01:00 |
|
Krasimir Angelov
|
ee717fb022
|
added random generation
|
2023-03-05 13:18:14 +01:00 |
|
Krasimir Angelov
|
f7ca8afa81
|
fast word completion for functions names in the shell
|
2023-03-02 10:28:00 +01:00 |
|
Krasimir Angelov
|
8fc73b5d05
|
introduce probspace and maintain consistency after delete
|
2023-03-02 09:40:39 +01:00 |
|
Krasimir Angelov
|
23a5a3cdef
|
another way to test for big numbers
|
2023-03-02 09:37:21 +01:00 |
|
Krasimir Angelov
|
91769c7ff2
|
if createConcrete/alterConcrete fail, report the error correctly
|
2023-03-01 15:24:30 +01:00 |
|
Krasimir Angelov
|
1b2c8ce961
|
restored the word alignment API
|
2023-02-23 20:17:23 +01:00 |
|
Krasimir Angelov
|
57126f6d28
|
handle nonExist in parse the tree visualization and reclaim memory
|
2023-02-23 14:19:48 +01:00 |
|
Krasimir Angelov
|
6d856b2ce0
|
make it possible to control the initial NGF size
|
2023-01-29 21:04:08 +01:00 |
|
Krasimir Angelov
|
8fca37cfeb
|
writePGF now allows to select list of languages
|
2023-01-28 11:59:39 +01:00 |
|
Krasimir Angelov
|
04a263d7d4
|
fix bracketed linearization in case of nonExist
|
2022-12-10 20:18:23 +01:00 |
|
Krasimir Angelov
|
8f7e4c084c
|
an API to create unique function names
|
2022-12-05 08:11:43 +01:00 |
|
Krasimir Angelov
|
fda1353148
|
add consistant version numbers
|
2022-11-10 15:33:51 +01:00 |
|
Krasimir Angelov
|
a88c412e87
|
"create lin/lincat" should be able to see funs & cats in the current transaction
|
2022-11-04 22:03:29 +01:00 |
|
Krasimir Angelov
|
d784e2584b
|
A lower-level transaction API and a transaction command in the shell
|
2022-10-24 10:44:40 +02:00 |
|
Krasimir Angelov
|
3e0cc91a02
|
first rudimentary version of a parser
|
2022-09-16 12:34:46 +02:00 |
|
Krasimir Angelov
|
173128bd46
|
Merge branch 'master' into majestic
|
2022-08-24 20:31:10 +02:00 |
|
Krasimir Angelov
|
a27e2dbbb4
|
fix a leak of stable pointers
|
2022-08-19 11:34:27 +02:00 |
|
Krasimir Angelov
|
6d81306320
|
Try to remove the upper version for base
|
2022-08-17 09:49:37 +02:00 |
|
Krasimir Angelov
|
eb41d2661f
|
bugfix in readContext
|
2022-07-14 15:56:11 +02: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
|
a66693770c
|
started with lookupCohorts
|
2022-07-07 14:03:07 +02:00 |
|
Krasimir Angelov
|
42d01578ec
|
added test for an unknown function at the top of an expression
|
2022-06-24 22:27:39 +02:00 |
|