Commit Graph
2221 Commits
Author SHA1 Message Date
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
Krasimir Angelov 9fd68cd592 in debug mode print some productions that I missed before 2024-01-10 11:50:52 +01:00
Krasimir Angelov ea9cd82428 initialize transaction_object = 0; 2024-01-10 11:19:40 +01:00
Krasimir Angelov bbbdb7093c another memory leak patch 2024-01-10 11:13:17 +01:00
Krasimir Angelov 0078be88c7 fix memory leaks in the parser.cxx 2024-01-09 20:11:33 +01:00
Krasimir Angelov f647f43274 fix all space leaks in PgfLRTableMaker 2024-01-09 11:12:19 +01:00
Krasimir Angelov dee0047ba6 remove redundant method name 2024-01-05 12:29:06 +01:00
Krasimir Angelov 8e605eac88 revert some unintended changes 2024-01-05 11:05:11 +01:00
Krasimir Angelov b5ed0dd0ea implement pre and support more syntagmatic words 2024-01-05 11:03:17 +01:00