krangelov
|
92ecc8cc1d
|
finished porting to Windows
|
2021-11-13 05:40:38 +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 |
|
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 |
|