106 Commits

Author	SHA1	Message	Date
Krasimir Angelov	6d856b2ce0	make it possible to control the initial NGF size	2023-01-29 21:04:08 +01:00
Krasimir Angelov	8fca37cfeb	writePGF now allows to select list of languages	2023-01-28 11:59:39 +01:00
Krasimir Angelov	8f7e4c084c	an API to create unique function names	2022-12-05 08:11:43 +01:00
Krasimir Angelov	a88c412e87	"create lin/lincat" should be able to see funs & cats in the current transaction	2022-11-04 22:03:29 +01:00
Krasimir Angelov	d784e2584b	A lower-level transaction API and a transaction command in the shell	2022-10-24 10:44:40 +02:00
Krasimir Angelov	3e0cc91a02	first rudimentary version of a parser	2022-09-16 12:34:46 +02:00
Krasimir Angelov	4d0f33e3c3	make it possible to replace the probabilities while reading a new .pgf	2022-07-14 11:04:45 +02:00
Krasimir Angelov	a66693770c	started with lookupCohorts	2022-07-07 14:03:07 +02:00
Krasimir Angelov	7544e8dfbc	remove duplicated export	2022-06-22 11:29:09 +02:00
Krasimir Angelov	18f70b786f	first draft for lookupMorpho	2022-05-30 21:16:34 +02:00
Krasimir Angelov	fc09bc776b	transactions should always start with the last revision and release it when done	2022-05-23 19:50:41 +02:00
Krasimir Angelov	5594679a83	first draft of the new allocator with transactions support	2022-05-20 13:55:45 +02:00
Krasimir Angelov	4d240f7260	working fullFormLexicon. Slows down loading and compilation	2022-02-08 16:38:30 +01:00
Krasimir Angelov	fc7c1249b0	release the reference when done with it	2022-02-07 12:57:19 +01:00
Krasimir Angelov	78b462c607	partial implementation for fullFormLexicon	2022-01-11 15:07:03 +01:00
Krasimir Angelov	c119349479	remove repeated export	2022-01-11 14:58:33 +01:00
Krasimir Angelov	d87b3ce166	get rid of the destructive updates for seq_ids	2022-01-10 10:27:09 +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	859d6ad5a5	restore categoryFields in the API	2021-12-29 12:06:29 +01:00
krangelov	4ec0c334c3	remove PGF2.Type	2021-12-24 10:53:36 +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	12b4958b99	make it possible to merge PGF files in the compiler	2021-12-22 10:47:22 +01:00
krangelov	a6f9eb15ad	added Data instances for backwards compatibility	2021-12-21 14:38:28 +01:00
krangelov	73c16504d2	added bracketedLinearizeAll	2021-12-10 10:30:25 +01:00
krangelov	3a39fb5f9d	added tabularLinearizeAll	2021-12-10 09:56:51 +01:00
krangelov	494f4c8193	added linearizeAll	2021-12-10 09:13:45 +01:00
krangelov	b0d364f8e8	implement tabularLinearize	2021-12-09 09:51:09 +01:00
krangelov	0069946f42	linearization for HOAS expressions	2021-12-09 08:45:53 +01:00
krangelov	d1b1cd6e8c	an API for constructing HOAS expressions	2021-12-09 07:46:49 +01:00
krangelov	d274f4856e	compile lindef & linref rules	2021-12-06 15:47:57 +01:00
krangelov	a3d680f317	restored graphvizAbstractTree	2021-12-04 16:05:24 +01:00
krangelov	3d1123eed4	restore graphvizParseTree	2021-12-04 14:12:23 +01:00
krangelov	bbff79aaa3	added API for print names	2021-12-03 16:49:36 +01:00
krangelov	baf78528d3	implement bracketedLinearize	2021-12-03 09:44:03 +01:00
krangelov	ae08d42d6e	started the linearizer	2021-11-26 18:44:17 +01:00
krangelov	4a68ea93b3	generate and store the ranges for all linearization rules	2021-11-26 14:05:03 +01:00
krangelov	857e85c8a1	implement pre {..}	2021-11-25 19:04:35 +01:00
krangelov	fa1d7cf859	started on the typechecker	2021-11-19 10:39:06 +01:00
krangelov	06980404a9	correctly distinguish between fun and data judgements	2021-11-18 13:50:09 +01:00
krangelov	aae6123e9e	fix: call symks instead of symvar	2021-11-18 11:17:20 +01:00
krangelov	71020baa5e	added sanity checking in the linearization builder	2021-11-18 10:33:20 +01:00
krangelov	070f63a049	complete showPGF	2021-11-17 14:03:04 +01:00
krangelov	1e3efd9fa4	progress on showPGF	2021-11-16 16:15:22 +01:00
krangelov	10e26575de	started on showPGF	2021-11-16 12:07:38 +01:00
krangelov	5649bc1ef0	started piping PMCFG rules to the runtime	2021-11-16 11:49:02 +01:00
krangelov	9eb88f9281	a number of new API functions for the concrete syntax.	2021-11-09 09:16:20 +01:00
krangelov	a4ad17a478	pgf_create_lin now has access to the abstract function	2021-11-09 08:50:54 +01:00
krangelov	02a84b12da	simplify types	2021-11-09 08:08:14 +01:00
krangelov	1aacc34deb	fix reference counting for concrete revisions	2021-11-09 08:02:20 +01:00