Commit Graph

8268 Commits

Author SHA1 Message Date
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
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