8892 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Krasimir Angelov	2fd2948e6e	yet another attempt to fix CI	2024-01-11 09:24:03 +01:00
Krasimir Angelov	ad65cb8c3e	yet annother attempt to fix CI	2024-01-11 09:17:10 +01:00
Krasimir Angelov	42755f0ce8	yet another attempt to fix CI	2024-01-11 07:52:36 +01:00
Krasimir Angelov	eea4dbbf78	yet another attempt to fix CI	2024-01-11 07:45:14 +01:00
Krasimir Angelov	e0b74a143c	another attempt to fix CI	2024-01-11 07:39:26 +01:00
Krasimir Angelov	546d9ea65d	restore build-majestic	2024-01-11 07:34:58 +01:00
Krasimir Angelov	7c34a5a481	try fixing the CI	2024-01-11 07:32:58 +01:00
Krasimir Angelov	d8e953e7e6	try fixing the failure of actions/upload-artifact	2024-01-11 07:29:23 +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
Krasimir Angelov	24b96ba874	support CAPIT & ALLCAPIT	2024-01-04 10:37:25 +01:00
Krasimir Angelov	c327cf063e	support for BIND/SOFT_BIND/SOFT_SPACE	2024-01-04 10:34:55 +01:00
Krasimir Angelov	68da9226b1	support syntagmatic words	2024-01-02 16:31:22 +01:00
Krasimir Angelov	51ea3926a5	bugfixes	2023-12-30 23:08:17 +01:00
Krasimir Angelov	87b6094ade	introduce a version of namespace_iter with a lambda function	2023-12-28 10:50:08 +01:00
Krasimir Angelov	d78aea4170	bug fixes	2023-12-28 10:12:39 +01:00
Krasimir Angelov	da9e037b62	bugfixes	2023-12-23 18:53:54 +01:00
Krasimir Angelov	31b52adfa7	fix most space leaks in the LRTableMaker	2023-12-23 15:31:28 +01:00
Krasimir Angelov	ba19ff1f63	bugfix	2023-12-21 11:17:45 +01:00
Krasimir Angelov	93e47b6409	bugfix	2023-12-20 10:18:54 +01:00
Krasimir Angelov	4c701e68e2	more general and simpler implementation for gluing	2023-12-16 12:29:13 +01:00
Krasimir Angelov	9313b45a4f	store the index with every production	2023-12-15 10:25:09 +01:00
Krasimir Angelov	f2d269ff65	restore epsilons while parsing	2023-12-14 18:16:10 +01:00
Krasimir Angelov	ad57f73298	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2023-12-05 15:03:27 +01:00
Krasimir Angelov	85f3aa3eca	add const specifier to make md5 more general	2023-12-05 15:02:49 +01:00
Krasimir Angelov	d0e3c30ea6	remove phrasetable_lookup_epsilons which is no longer in use	2023-12-05 14:01:11 +01:00
Krasimir Angelov	86315bc8c2	remove a premature optimization that caused problems	2023-12-05 13:56:56 +01:00
Krasimir Angelov	2631f0af8f	partial implementation for type inference with records	2023-12-01 15:26:24 +01:00
Krasimir Angelov	8540e44e9d	small fixes	2023-11-29 08:47:40 +01:00
Krasimir Angelov	5232364a9e	typechecking without Value<->Term conversion	2023-11-28 21:21:34 +01:00
Krasimir Angelov	1d64d166be	fix the so command in case of dependent types	2023-11-28 14:07:09 +01:00
Krasimir Angelov	54e06b5371	refactoring	2023-11-28 10:25:27 +01:00
Krasimir Angelov	6b9bda3328	fully restore the parser	2023-11-28 07:39:54 +01:00
Krasimir Angelov	eb71557627	ensure that metavariable IDs are always in sync	2023-11-27 13:46:21 +01:00
Krasimir Angelov	65002fb586	allow Exp instead of Exp1 for the source commands	2023-11-24 09:41:23 +01:00
Krasimir Angelov	4f28d2b3a3	the evaluator and the typechecker now share the same monad	2023-11-24 09:40:28 +01:00
Krasimir Angelov	bd9bd8b32f	the experimental typechecker is almost converted to the new evaluator	2023-11-24 08:35:11 +01:00
Krasimir Angelov	e996d78b18	make "cc", "so", "create lin", "create lincat" usable even without loaded grammar	2023-11-23 20:26:48 +01:00
Krasimir Angelov	511fdeee44	the normalForm for terms now compresses variants	2023-11-23 19:35:18 +01:00
Krasimir Angelov	fcc80b545d	started porting the experimental type checker to the new evaluator	2023-11-20 14:53:36 +01:00
Krasimir Angelov	da135bea8b	started node.js binding	2023-10-03 09:11:42 +02:00
Krasimir Angelov	46ccde4abc	more details in the LR graph	2023-09-20 18:05:40 +02:00
Krasimir Angelov	7d42e7cfc9	extend the LR(0) visualization	2023-09-20 13:42:20 +02:00