8308 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
krangelov	03a5353c08	implement CAPIT & ALL_CAPIT	2021-12-01 13:56:52 +01:00
krangelov	0562d3fbdb	various small bugfixes	2021-12-01 13:56:14 +01:00
krangelov	8e19b7d31c	fix the memory leaks in the linearizer	2021-12-01 10:30:08 +01:00
krangelov	483f93822c	fix in the PMCFG generation	2021-12-01 10:13:01 +01:00
krangelov	9ed74d7772	basic linearization is working	2021-11-30 17:54:36 +01:00
krangelov	ae08d42d6e	started the linearizer	2021-11-26 18:44:17 +01:00
krangelov	3134a89307	reduce import symbols	2021-11-26 15:00:24 +01:00
krangelov	4a68ea93b3	generate and store the ranges for all linearization rules	2021-11-26 14:05:03 +01:00
krangelov	794e15aca3	fix in the PMCFG generation	2021-11-26 08:32:00 +01:00
krangelov	857e85c8a1	implement pre {..}	2021-11-25 19:04:35 +01:00
krangelov	3fd668e525	fix failure is the printout is empty	2021-11-25 13:51:19 +01:00
krangelov	f845889702	fix potential crashes	2021-11-25 11:50:09 +01:00
krangelov	fa1d7cf859	started on the typechecker	2021-11-19 10:39:06 +01:00
krangelov	1107b245da	remove obsolete code	2021-11-19 09:38:04 +01:00
krangelov	a5cbf3e894	fix other potential allocation failures	2021-11-18 18:16:41 +01:00
krangelov	9dc80f7706	fix the crash in the python testsuite	2021-11-18 14:11:35 +01:00
krangelov	f8fb64a53e	added test case for showPGF	2021-11-18 13:55:57 +01:00
krangelov	06980404a9	correctly distinguish between fun and data judgements	2021-11-18 13:50:09 +01:00
krangelov	7ff38bfcbe	show field names in double quotes	2021-11-18 11:43:44 +01:00
krangelov	09731b985c	fix showPGF for the case where a category has no fields	2021-11-18 11:41:24 +01:00
krangelov	5ada91f026	fix the serialization for empty strings	2021-11-18 11:36:18 +01:00
krangelov	ad068151f8	simple fix for showPGF	2021-11-18 11:19:35 +01:00
krangelov	aae6123e9e	fix: call symks instead of symvar	2021-11-18 11:17:20 +01:00
krangelov	dc609d2fff	change from curly braces to square brackets	2021-11-18 10:57:12 +01:00
krangelov	71020baa5e	added sanity checking in the linearization builder	2021-11-18 10:33:20 +01:00
krangelov	ec76223b41	properly release memory for PgfConcrLincat & PgfConcrLin	2021-11-18 08:24:24 +01:00
krangelov	070f63a049	complete showPGF	2021-11-17 14:03:04 +01:00
krangelov	6295b32405	generate field names and pipe them to the runtime	2021-11-17 11:34:31 +01:00
Krasimir Angelov	9e00cdd7f4	Update README.md	2021-11-17 08:23:07 +01:00
Krasimir Angelov	e1f6a24371	Update transactions.md	2021-11-17 08:11:24 +01:00
Krasimir Angelov	ed6b0f303e	Update README.md	2021-11-16 21:45:19 +01:00
krangelov	c4ff30cc34	add libwinpthread-1.dll as well	2021-11-16 21:42:55 +01:00
krangelov	0784b00a47	grab the extra .dll dependencies from MinGW as well	2021-11-16 21:27:20 +01:00
krangelov	6838aaa1fe	add the .dll to the artifact as well	2021-11-16 21:04:36 +01:00
krangelov	6b301f916d	add msys64 to the artifact path	2021-11-16 20:53:25 +01:00
krangelov	83e28f47f9	third guess	2021-11-16 20:45:50 +01:00
krangelov	2c11c25940	another attempt to build the artifact	2021-11-16 20:34:25 +01:00
krangelov	4750de888a	an attempt to upload the windows build as an artifact	2021-11-16 20:26:58 +01:00
krangelov	f469b9979f	no sudo on Windows	2021-11-16 20:05:08 +01:00
krangelov	f5fea82020	set working directory	2021-11-16 19:49:08 +01:00
krangelov	e00378c820	attempt to build the Windows runtime	2021-11-16 19:40:14 +01:00
krangelov	2c38ba6ca4	test msys	2021-11-16 19:36:02 +01:00
krangelov	7797aa6ed5	build instructions for Windows	2021-11-16 19:19:21 +01:00
Krasimir Angelov	30c5109bfd	install GCC for MinGW	2021-11-16 19:13:56 +01:00
Krasimir Angelov	051eb737f2	Try to setup Windows build	2021-11-16 19:06:32 +01:00
krangelov	2cbf59d75b	fix the include for WINDOWS	2021-11-16 17:23:03 +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	db92bcfff6	fix for MacOS	2021-11-16 09:53:41 +01:00