Krasimir Angelov
|
8340386033
|
build the parse table when compiling from sources
|
2026-05-06 18:41:50 +02:00 |
|
Krasimir Angelov
|
a66a620990
|
implement pre
|
2026-05-06 14:29:28 +02:00 |
|
Krasimir Angelov
|
33f1670fe9
|
avoid potential clashes when allocating expressions
|
2026-02-14 19:24:12 +01:00 |
|
Krasimir Angelov
|
7c6c194142
|
fix the debug mode after the last change
|
2026-01-14 17:49:45 +01:00 |
|
Krasimir Angelov
|
ce63d4627b
|
variables in rules are finally renamed
|
2026-01-14 16:42:04 +01:00 |
|
Krasimir Angelov
|
a99cfb53f5
|
fix initialization in -O2 mode
|
2026-01-14 14:52:29 +01:00 |
|
Krasimir Angelov
|
21f4c009ab
|
an interval based parser
|
2026-01-12 14:36:41 +01:00 |
|
Krasimir Angelov
|
fbfb54c9b2
|
bugfix
|
2026-01-12 11:03:04 +01:00 |
|
Krasimir Angelov
|
72682d6eb3
|
eliminate repeated rules
|
2026-01-08 08:53:01 +01:00 |
|
Krasimir Angelov
|
d18969a6fb
|
initialize phrasetable to 0
|
2025-11-18 16:23:35 +01:00 |
|
Krasimir Angelov
|
d5651f24c5
|
added missing case
|
2025-11-18 15:32:25 +01:00 |
|
Krasimir Angelov
|
ddce3738b1
|
fix how probabilities are computed
|
2025-11-18 09:27:10 +01:00 |
|
Krasimir Angelov
|
603bca8afd
|
fix memory leaks
|
2025-11-17 21:44:29 +01:00 |
|
Krasimir Angelov
|
a8ba57d822
|
remove trace message
|
2025-11-17 17:01:08 +01:00 |
|
Krasimir Angelov
|
e34edd414f
|
fix item completion
|
2025-11-17 16:51:29 +01:00 |
|
Krasimir Angelov
|
cb6bace896
|
Diophantine grammars in the runtime
|
2025-11-13 11:17:16 +01:00 |
|
Krasimir Angelov
|
72028c7ae7
|
merge
|
2025-09-17 10:17:37 +02:00 |
|
Krasimir Angelov
|
dbfa9e4faf
|
type inference for lambda abstractions
|
2025-04-16 12:29:50 +02:00 |
|
Krasimir Angelov
|
3432e6f571
|
serialization for expressions in daison
|
2025-04-13 08:36:25 +02:00 |
|
Krasimir Angelov
|
d97292cfd4
|
AC_PROG_LIBTOOL not necessary anymore
|
2025-03-07 08:57:11 +01:00 |
|
Krasimir Angelov
|
db58a4e7d6
|
bugfix
|
2024-09-21 16:12:21 +02:00 |
|
Krasimir Angelov
|
b86097a580
|
bugfix
|
2024-09-21 15:50:09 +02: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
|
6c2a94d428
|
comment out the call to the LRTableMaker
|
2024-09-05 14:03:07 +02:00 |
|
Krasimir Angelov
|
5239ce5458
|
an experimental left-corner table maker
|
2024-09-05 14:01:22 +02:00 |
|
Krasimir Angelov
|
d43d2cbdb1
|
fix potential crashes
|
2024-09-03 16:41:22 +02:00 |
|
Krasimir Angelov
|
c519d4bfae
|
switch to the new and nicer vector API
|
2024-08-28 11:20:45 +02:00 |
|
Krasimir Angelov
|
cda3e99bd2
|
an alternative vector implementation
|
2024-08-27 22:40:05 +02:00 |
|
Krasimir Angelov
|
876e3c734a
|
added Graphviz visualizations
|
2024-04-15 09:19:11 +02:00 |
|
Krasimir Angelov
|
ef659f3e97
|
yet another fix for Python on Windows
|
2024-04-11 11:44:41 +02:00 |
|
Krasimir Angelov
|
77752f02ec
|
another fix for Python on Windows
|
2024-04-11 11:00:28 +02:00 |
|
Krasimir Angelov
|
8827221493
|
git commit the __attribute__ pragma is only for GCC
|
2024-04-11 10:56:59 +02:00 |
|
Krasimir Angelov
|
2f7c65c207
|
update the testsuite
|
2024-04-11 10:48:44 +02:00 |
|
Krasimir Angelov
|
6126d36a54
|
bugfix and dead code elimination
|
2024-04-05 20:11:13 +02:00 |
|
Krasimir Angelov
|
d48a8d06c1
|
much faster grammar loading and dynamic updates
|
2024-03-21 16:42:41 +01:00 |
|
Krasimir Angelov
|
1fd0e9d8e2
|
fetch languages on demand to reduce database references
|
2024-03-14 20:05:19 +01:00 |
|
Krasimir Angelov
|
a8c5a4f93f
|
properly skip unknown languages in pgf_write_pgf
|
2024-03-14 18:08:22 +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
|
f6c736f020
|
make the table of references more compact
|
2024-02-09 20:30:29 +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
|
282c6fc50f
|
bump the version number since the update in the C runtime
|
2024-01-18 12:31:11 +01:00 |
|
Krasimir Angelov
|
577ea67bde
|
potentially speed up the database expansion on Windows and macOS
|
2024-01-18 12:19:38 +01:00 |
|
Krasimir Angelov
|
0a8e287948
|
fix a type error detected on macOS
|
2024-01-12 19:18:16 +01:00 |
|
Krasimir Angelov
|
73b4b68460
|
expose the random generation API
|
2024-01-12 19:08:58 +01:00 |
|
Krasimir Angelov
|
1a840d5cee
|
update after the changes in the pretty printer
|
2024-01-11 09:43:16 +01:00 |
|
Krasimir Angelov
|
cfe6290c01
|
bugfix in the duplication detection
|
2024-01-10 13:56:39 +01:00 |
|