8258 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
krangelov	4a62ea02f4	destroy the r/w lock if there is no shared file	2021-11-16 09:48:50 +01:00
krangelov	c26f3b3cd5	an attempt to fix the failure on MacOS	2021-11-16 09:36:26 +01:00
krangelov	f5e6c695a7	make r/w lock shared only if there is a shared file as well	2021-11-16 08:53:22 +01:00
krangelov	c80ef3549c	fix error reporting when the r/w lock is created	2021-11-16 08:47:07 +01:00
krangelov	58b805606b	correct mode for pgf_boot_ngf on WIN32	2021-11-16 08:33:50 +01:00
krangelov	e0b93a37e2	fix the compilation on Windows again	2021-11-15 13:39:47 +01:00
krangelov	c1690ffa77	the r/w lock is now in the database itself	2021-11-15 13:13:00 +01:00
krangelov	0a204a47f7	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2021-11-13 05:41:20 +01:00
krangelov	92ecc8cc1d	finished porting to Windows	2021-11-13 05:40:38 +01:00
Krasimir Angelov	158666f29a	Update README.md	2021-11-11 11:25:22 +01:00
krangelov	397d22b49b	define macro to control dllexport on WINDOWS	2021-11-10 17:41:59 +01:00
krangelov	9804d993e4	remove the dependency to pthread on Windows	2021-11-10 17:27:45 +01:00
krangelov	68fd5460f4	fix cleanup after exceptions in PgfDB::PgfDB	2021-11-10 17:10:31 +01:00
krangelov	c806ce2d26	minimal changes to make the runtime compilable on Windows	2021-11-10 15:52:02 +01:00
krangelov	81eb2217ac	more instructions for Windows	2021-11-10 15:22:47 +01:00
krangelov	064136cafd	another fix for Windows	2021-11-10 14:40:45 +01:00
krangelov	5b7363d5c9	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2021-11-09 19:09:28 +01:00
krangelov	befb61b0e3	first steps towards porting to Windows	2021-11-09 19:08:49 +01:00
Krasimir Angelov	9f84523a63	Instructions for compilation on Windows	2021-11-09 18:43:32 +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
krangelov	73b52bf4b5	started on pgf_create_lin	2021-11-09 02:20:42 +01:00
krangelov	2bed0b708c	PgfVector -> Vector	2021-11-09 02:10:17 +01:00
krangelov	6552bcf909	Unify the data model between the C runtime and the Haskell binding	2021-11-09 02:04:36 +01:00
krangelov	b3ef14c39b	another fix for MacOS	2021-11-08 10:41:09 +01:00
krangelov	d6cf023258	reading & writing grammars in the new format	2021-11-08 10:39:05 +01:00
krangelov	02b9915d11	attempt to fix compilation on Mac	2021-11-07 20:22:41 +01:00
krangelov	06b59b1f10	fix	2021-11-07 19:48:35 +01:00
krangelov	aef9c668e5	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2021-11-07 19:46:04 +01:00
krangelov	3f261c2854	first draft of the data model for the concrete syntax	2021-11-07 19:45:11 +01:00
Krasimir Angelov	eaa0e55922	Update LambdaCalculus.md	2021-11-04 19:10:23 +01:00
Krasimir Angelov	5342844b33	Update LambdaCalculus.md	2021-11-04 17:26:47 +01:00
Krasimir Angelov	6fc3a2177c	Update LambdaCalculus.md	2021-11-04 16:42:23 +01:00
Krasimir Angelov	86dfebd925	Update LambdaCalculus.md	2021-11-04 12:40:46 +01:00
Krasimir Angelov	478287c12f	Update LambdaCalculus.md	2021-11-04 12:37:57 +01:00
Krasimir Angelov	3351cc224e	Update LambdaCalculus.md	2021-11-04 11:03:13 +01:00
Krasimir Angelov	82980eb935	Update LambdaCalculus.md	2021-11-04 10:31:20 +01:00
Krasimir Angelov	45a8f21df8	Update LambdaCalculus.md	2021-11-04 09:38:15 +01:00
krangelov	6fcec8f864	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2021-11-04 08:31:43 +01:00
krangelov	e806e94be9	fix typo	2021-11-04 08:31:31 +01:00
Krasimir Angelov	18083c09b1	Update LambdaCalculus.md	2021-11-03 16:33:25 +01:00
Krasimir Angelov	02e728ca1e	Update LambdaCalculus.md	2021-11-03 16:32:00 +01:00
Krasimir Angelov	d44ae435c7	Update LambdaCalculus.md	2021-11-03 16:31:28 +01:00
Krasimir Angelov	eb3baa5c43	Update LambdaCalculus.md	2021-11-03 16:29:10 +01:00
Krasimir Angelov	208998d1f9	Update LambdaCalculus.md	2021-11-03 15:08:53 +01:00
Krasimir Angelov	f96cb85341	Update LambdaCalculus.md	2021-11-03 14:57:29 +01:00
Krasimir Angelov	19c3935855	Update transactions.md	2021-11-03 14:16:28 +01:00
krangelov	547783e50e	PgfDB::ref_count must be size_t	2021-11-03 11:50:21 +01:00