Commit Graph
100 Commits
Author SHA1 Message Date
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
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
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
krangelov b6047463a9 we can finally compile the English RGL 2021-10-20 19:39:02 +02:00
krangelov 0e98c30973 fix space leak in PySequence_AsHypos. PyList_FromHypos->PyTuple_FromHypos 2021-10-16 21:12:16 +02:00
krangelov 0eb6e9f724 fix reference counting 2021-10-16 20:12:53 +02:00
krangelov 5e335a7df2 add unpack & __reduce_ex__ for backward compatibility 2021-10-16 19:57:47 +02:00
krangelov 768cd6ae71 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2021-10-16 19:50:52 +02:00
krangelov 382456415e overload pgf.Type for backward compatibility and support for dependent and simple types 2021-10-16 19:50:01 +02:00
krangelov 5ee960ed7c fix the evaluation for Prod 2021-10-14 10:24:20 +02:00
krangelov 45ee985fda safe error reporting in case of mmap failure 2021-10-13 21:33:55 +02:00
krangelov 27f0ff14a3 VT should preserve its environment 2021-10-13 19:43:01 +02:00
krangelov a909a85537 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2021-10-13 19:15:32 +02:00
krangelov c3eb6973f4 working PMCFG generation 2021-10-13 19:14:56 +02:00
krangelov 2a5434df96 avoid using the wildcard constant 2021-10-12 19:07:21 +02:00
krangelov a2e7d20b7a avoid using EOF in the expression parser 2021-10-12 18:47:04 +02:00
krangelov f9c6e94672 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2021-10-12 12:07:17 +02:00
krangelov 8c721e063c partial support for runtime parameters 2021-10-12 12:06:59 +02:00
Krasimir Angelov 5e65db2e17 Update CompilationOverview.md 2021-10-11 09:47:44 +02:00