msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
8,235 Commits 21 Branches 11 Tags
73b52bf4b50264dfb09c63ba77713d2fd683c8c5
Commit Graph

8235 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
krangelov
43f40e701a test cases for the concrete syntax 2021-11-03 11:40:34 +01:00
krangelov
309a16d471 reference counting for concrete syntaxes 2021-11-03 10:48:20 +01:00
krangelov
2320c6b3b0 export alterConcrete too 2021-10-28 19:32:37 +02:00
krangelov
7e0fc159ce use newForeignPtrEnv instead of Foreign.Concurrent.newForeignPtr 2021-10-26 20:24:35 +02:00
krangelov
611fe95322 fix typo 2021-10-26 10:28:33 +02:00
krangelov
a607799bb3 always unlock the mutex in case of failure 2021-10-26 10:22:29 +02:00
krangelov
fd40c204e2 more aggressive cleanup for dead processes 2021-10-26 10:14:16 +02:00
krangelov
00ba552026 ipc_release_file_rwlock should not assume that the file exists 2021-10-26 09:35:56 +02:00
krangelov
157574763f now we use inter-process locking 2021-10-25 19:14:25 +02:00
krangelov
d061403ba2 fix typo in the comment 2021-10-25 18:21:20 +02:00
krangelov
204e645616 update ipc.h 2021-10-25 15:52:32 +02:00
krangelov
186b151a90 rewrite ipc.cxx to support dynamic allocation of rwlocks 2021-10-25 15:51:06 +02:00
krangelov
2acc4be306 better error control 2021-10-25 09:30:22 +02:00
krangelov
d1c25ce1c1 add INCREF in embed() 2021-10-22 09:52:36 +02:00
krangelov
bfc2ab27e6 fix reference counting 2021-10-22 09:42:01 +02:00
krangelov
3f742497e4 restore the embed function 2021-10-22 09:34:19 +02:00
krangelov
19338a8de1 fix typo 2021-10-22 09:20:38 +02:00
krangelov
2889581a45 writeToFile -> writePGF for consistancy with Haskell & C 2021-10-22 09:07:26 +02:00
krangelov
777adaedfc fix the compilation 2021-10-22 09:04:28 +02:00
krangelov
1413c273cc API for adding concrete syntaxes. Garbage collection to be fixed! 2021-10-21 19:18:14 +02:00
krangelov
259ed52a77 fix the compilation of pre 2021-10-21 10:10:04 +02:00
krangelov
38d189f8ef bugfix for predefined operations 2021-10-21 08:55:22 +02:00
krangelov
64ccd82958 make record extension more compact after typechecking 2021-10-20 19:57:42 +02:00