5726 Commits

Author	SHA1	Message	Date
Krasimir Angelov	9a6d5a99bf	partial implementation for deserialization with daison	2023-09-01 11:56:23 +02:00
Krasimir Angelov	034fe569c4	added hasLinearization	2023-08-31 22:05:02 +02:00
Krasimir Angelov	a33f64d236	added lookupMorpho	2023-08-31 19:51:51 +02:00
Krasimir Angelov	e0c820be17	update checkoutBranch	2023-08-26 07:58:12 +02:00
Krasimir Angelov	d1e9454dfa	add documentation and type information for VS Code	2023-08-25 18:10:30 +02:00
Krasimir Angelov	7c93a594e0	fix an out of date comment	2023-08-25 18:09:47 +02:00
Krasimir Angelov	22c41367ec	fix typo	2023-08-25 18:09:16 +02:00
Krasimir Angelov	1a17234a9c	progress on the parser	2023-06-02 11:52:47 +02:00
Krasimir Angelov	58b1a9a535	added hashing for expressions	2023-05-31 09:15:33 +02:00
Krasimir Angelov	fb0f1db74d	fix the pretty printer for expression states	2023-05-11 12:34:47 +02:00
Krasimir Angelov	8f1e7a908f	fix another space leak	2023-05-11 08:45:03 +02:00
Krasimir Angelov	92cedfb479	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2023-05-11 05:54:30 +02:00
Krasimir Angelov	53e7cd5609	fix space leaks from the LR table maker	2023-05-11 05:53:58 +02:00
Krasimir Angelov	98165bd8b5	fix warnings detected by MSVC	2023-05-11 05:52:39 +02:00
Krasimir Angelov	a514500bba	try fixing the linkage error with MSVC	2023-05-11 05:28:11 +02:00
Krasimir Angelov	392f002124	int -> size_t to silence warnings with MSVC	2023-05-10 14:01:46 +02:00
Krasimir Angelov	18d995af52	enable the compilation with MSVC which doesn't define ssize_t	2023-05-10 13:32:11 +02:00
Krasimir Angelov	7eac9ea2ab	first draft of an LR parser	2023-05-10 12:01:48 +02:00
Krasimir Angelov	54352b507a	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2023-05-09 09:49:31 +02:00
Krasimir Angelov	aa090607d8	restore the priority after each pattern matching	2023-05-09 09:45:33 +02:00
Krasimir Angelov	028625988f	remove incorrect optimization	2023-04-17 21:13:49 +02:00
Krasimir Angelov	a8630ddcd2	fix: [] + "ser" == "ser"	2023-04-06 11:36:21 +02:00
Krasimir Angelov	4d83be454f	second bump	2023-03-31 10:52:51 +02:00
Krasimir Angelov	7a54889d14	bump the version	2023-03-31 10:41:16 +02:00
Krasimir Angelov	95b916339d	yet another detail with (+)	2023-03-30 12:05:44 +02:00
Krasimir Angelov	22c45d8d34	fix how (+) interacts with special tokens	2023-03-30 11:55:47 +02:00
Krasimir Angelov	848142b353	fix the signature for pgf_parse	2023-03-25 09:19:11 +01:00
Krasimir Angelov	51be26a3fe	yet another windows fix	2023-03-24 13:22:40 +01:00
Krasimir Angelov	2465abd7c7	the PGF finder should be last not first	2023-03-24 13:20:00 +01:00
Krasimir Angelov	3b4729f3db	another windows fix	2023-03-24 13:04:58 +01:00
Krasimir Angelov	973807247b	fix the compilatin with VC++	2023-03-24 12:57:00 +01:00
Krasimir Angelov	beef722f2c	.ngf files should have priority when importing a grammar module	2023-03-24 12:43:05 +01:00
Krasimir Angelov	5d205a06e8	a custom module finder makes it possible to load grammars directly	2023-03-24 12:32:07 +01:00
Krasimir Angelov	eb104e162d	for the memoisation to be effective we need a custom comparator	2023-03-18 10:35:14 +01:00
Krasimir Angelov	f6d62c3d9b	a refactoring to make it easier to use C++ closures	2023-03-18 10:16:18 +01:00
Krasimir Angelov	edbfe25f87	try to fix the compilation with VC++	2023-03-17 14:28:56 +01:00
Krasimir Angelov	8bda030854	respect the depth in the exhaustive generator	2023-03-17 11:38:13 +01:00
Krasimir Angelov	6c3a4f5dcd	random generation always produces something if possible	2023-03-16 17:22:42 +01:00
Krasimir Angelov	de5f027bde	fix potential race condition	2023-03-15 17:09:25 +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	af7b504e36	allow the generation of literals under lambdas	2023-03-14 12:12:14 +01:00
Krasimir Angelov	9a0a730820	_Rb_tree doesn't exist on Windows and macOS. Go back to using map	2023-03-14 09:40:38 +01:00
Krasimir Angelov	92c2840b2b	restore the depth flag for gt and gr	2023-03-13 14:01:14 +01:00
Krasimir Angelov	ed45bf9ebd	HOAS in exhaustive generation	2023-03-13 13:30:17 +01:00
Krasimir Angelov	fc1b560eeb	added exhaustive generation	2023-03-11 19:23:19 +01:00
Krasimir Angelov	23c0b322ce	exhaustive generation without HOAS and depth limit	2023-03-11 19:20:54 +01:00
Krasimir Angelov	62d24b9431	the Haskell marshaller/unmarshaller are now statically allocated	2023-03-10 23:34:28 +01:00
Krasimir Angelov	4863ab0ec9	PGFs merging should update the probspace only once	2023-03-09 12:59:18 +01:00
Krasimir Angelov	dfa2c7873b	fix merge_pgf after the latest refactory	2023-03-08 19:21:18 +01:00