8418 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Krasimir Angelov	73fa1d98c3	std::exp -> expf	2022-01-09 14:58:36 +01:00
Krasimir Angelov	262e44c208	fix typo	2022-01-09 08:24:41 +01:00
Krasimir Angelov	f5435dba38	restore the rigt order for terms	2022-01-09 08:00:05 +01:00
Krasimir Angelov	99e639c861	handle failed linearization in tabularLinearize	2022-01-09 07:37:03 +01:00
Krasimir Angelov	f3d54a02e3	update the testsuite	2022-01-08 20:04:23 +01:00
Krasimir Angelov	e65a3a06c9	fix the serialization	2022-01-08 20:02:40 +01:00
Krasimir Angelov	00f857559d	restore the sharing of sequences. Shrinks the grammar by ~45%	2022-01-08 19:49:42 +01:00
Krasimir Angelov	cd2c6aa32a	cleanup transient revisions only after a transaction is opened	2021-12-29 14:52:21 +01:00
Krasimir Angelov	f118e644d9	finished 'create lincat'	2021-12-29 14:06:24 +01:00
Krasimir Angelov	daebed0b7b	check the resource and the compiled grammar for compatibility	2021-12-29 12:28:50 +01:00
Krasimir Angelov	859d6ad5a5	restore categoryFields in the API	2021-12-29 12:06:29 +01:00
Krasimir Angelov	dca6611d84	synchronize the mmap sizes between processes	2021-12-29 11:16:21 +01:00
Krasimir Angelov	294ff3251c	fix reference counting	2021-12-29 10:19:21 +01:00
Krasimir Angelov	16b0eea568	code cleanup	2021-12-28 13:38:19 +01:00
Krasimir Angelov	c9b90a509c	first draft of a working "create lin" command	2021-12-28 13:36:53 +01:00
Krasimir Angelov	1959dd4499	added LT_INIT	2021-12-28 13:11:31 +01:00
krangelov	8b602d6c9f	mergePGF now detects when grammars have different abstract syntaxes	2021-12-24 16:19:14 +01:00
krangelov	21d38a7b4a	detect when we load a grammar with a different abstract and don't try to merge	2021-12-24 16:01:42 +01:00
krangelov	39853b3c04	add command "import -resource"	2021-12-24 14:46:07 +01:00
krangelov	cb10e2fe32	add commands to add/remove concrete syntaxes	2021-12-24 13:56:27 +01:00
krangelov	67a7e928f6	the import command can also boot images from .pgf files now	2021-12-24 12:52:29 +01:00
krangelov	cf87f55fa0	remove the trace message	2021-12-24 12:41:02 +01:00
krangelov	f606547209	the import command can now create blank grammars	2021-12-24 12:35:12 +01:00
krangelov	8b05257d6c	restore the web server	2021-12-24 11:41:03 +01:00
krangelov	56824cb645	error -> fail	2021-12-24 11:15:10 +01:00
krangelov	4ec0c334c3	remove PGF2.Type	2021-12-24 10:53:36 +01:00
krangelov	5c16693da3	started create/drop with lin & lincat	2021-12-23 23:04:31 +01:00
krangelov	b000b80159	added commands create cat & drop cat	2021-12-23 19:21:55 +01:00
krangelov	f03779dfed	fix Fun -> Cat	2021-12-23 18:06:08 +01:00
krangelov	f5798350fd	commands "create fun" & "drop fun" in the shell	2021-12-23 14:55:26 +01:00
krangelov	5b5ecc6934	prevent crashes	2021-12-23 14:26:51 +01:00
krangelov	4792665241	back to storing rwlocks in a separate file to avoid moving the lock	2021-12-22 22:19:56 +01:00
krangelov	12b4958b99	make it possible to merge PGF files in the compiler	2021-12-22 10:47:22 +01:00
krangelov	c4bd898dc0	remove dead code	2021-12-22 09:31:11 +01:00
krangelov	d18c6d07ea	use a diferent target name to avoid accidentally removing test.pgf	2021-12-21 19:10:36 +01:00
krangelov	a6f9eb15ad	added Data instances for backwards compatibility	2021-12-21 14:38:28 +01:00
krangelov	13b6d51d43	support records as parameter types	2021-12-21 11:16:01 +01:00
krangelov	5811720d3a	code cleanup	2021-12-21 09:19:18 +01:00
krangelov	0a8b6d2586	make sure that types in ResValue are precomputed	2021-12-21 09:16:53 +01:00
krangelov	f2b6f36e02	generalize the syntax for pre patterns	2021-12-20 15:44:30 +01:00
krangelov	2be3fd7e78	eval pattern macroses	2021-12-20 15:03:15 +01:00
krangelov	ef84adf107	refactoring	2021-12-19 14:18:19 +01:00
krangelov	f6789fdfbf	refactor VC -> VC & VEmpty	2021-12-19 14:13:37 +01:00
krangelov	275f8f37ce	handle pre when it is in the arguments of a Predef function	2021-12-19 10:43:06 +01:00
krangelov	b266c55f8a	narrowing for table [...]	2021-12-17 17:26:23 +01:00
krangelov	2cb4fda502	more clean up	2021-12-17 10:05:20 +01:00
krangelov	2f79892463	clean up imports	2021-12-17 10:01:07 +01:00
krangelov	8e841d8c9b	remove some dead code	2021-12-16 19:04:53 +01:00
krangelov	c8dcc10325	another fix for cc	2021-12-16 14:00:25 +01:00
krangelov	4ed287a809	bug fix and refactoring in the cc command	2021-12-16 13:14:29 +01:00