1
0
forked from GitHub/gf-core

Commit Graph

  • 3134a89307 reduce import symbols krangelov 2021-11-26 15:00:24 +01:00
  • 4a68ea93b3 generate and store the ranges for all linearization rules krangelov 2021-11-26 14:05:03 +01:00
  • 794e15aca3 fix in the PMCFG generation krangelov 2021-11-26 08:32:00 +01:00
  • 857e85c8a1 implement pre {..} krangelov 2021-11-25 19:04:35 +01:00
  • 3fd668e525 fix failure is the printout is empty krangelov 2021-11-25 13:51:19 +01:00
  • f845889702 fix potential crashes krangelov 2021-11-25 11:50:09 +01:00
  • fa1d7cf859 started on the typechecker krangelov 2021-11-19 10:39:06 +01:00
  • 1107b245da remove obsolete code krangelov 2021-11-19 09:38:04 +01:00
  • a5cbf3e894 fix other potential allocation failures krangelov 2021-11-18 18:16:41 +01:00
  • 9dc80f7706 fix the crash in the python testsuite krangelov 2021-11-18 14:11:35 +01:00
  • f8fb64a53e added test case for showPGF krangelov 2021-11-18 13:55:57 +01:00
  • 06980404a9 correctly distinguish between fun and data judgements krangelov 2021-11-18 13:50:09 +01:00
  • 7ff38bfcbe show field names in double quotes krangelov 2021-11-18 11:43:44 +01:00
  • 09731b985c fix showPGF for the case where a category has no fields krangelov 2021-11-18 11:41:24 +01:00
  • 5ada91f026 fix the serialization for empty strings krangelov 2021-11-18 11:36:18 +01:00
  • ad068151f8 simple fix for showPGF krangelov 2021-11-18 11:19:35 +01:00
  • aae6123e9e fix: call symks instead of symvar krangelov 2021-11-18 11:17:20 +01:00
  • dc609d2fff change from curly braces to square brackets krangelov 2021-11-18 10:57:12 +01:00
  • 71020baa5e added sanity checking in the linearization builder krangelov 2021-11-18 10:33:20 +01:00
  • ec76223b41 properly release memory for PgfConcrLincat & PgfConcrLin krangelov 2021-11-18 08:24:24 +01:00
  • 070f63a049 complete showPGF krangelov 2021-11-17 14:03:04 +01:00
  • 6295b32405 generate field names and pipe them to the runtime krangelov 2021-11-17 11:34:31 +01:00
  • 9e00cdd7f4 Update README.md Krasimir Angelov 2021-11-17 08:23:07 +01:00
  • e1f6a24371 Update transactions.md Krasimir Angelov 2021-11-17 08:11:24 +01:00
  • ed6b0f303e Update README.md Krasimir Angelov 2021-11-16 21:45:19 +01:00
  • c4ff30cc34 add libwinpthread-1.dll as well krangelov 2021-11-16 21:42:55 +01:00
  • 0784b00a47 grab the extra .dll dependencies from MinGW as well krangelov 2021-11-16 21:27:20 +01:00
  • 6838aaa1fe add the .dll to the artifact as well krangelov 2021-11-16 21:04:36 +01:00
  • 6b301f916d add msys64 to the artifact path krangelov 2021-11-16 20:53:25 +01:00
  • 83e28f47f9 third guess krangelov 2021-11-16 20:45:50 +01:00
  • 2c11c25940 another attempt to build the artifact krangelov 2021-11-16 20:34:25 +01:00
  • 4750de888a an attempt to upload the windows build as an artifact krangelov 2021-11-16 20:26:58 +01:00
  • f469b9979f no sudo on Windows krangelov 2021-11-16 20:05:08 +01:00
  • f5fea82020 set working directory krangelov 2021-11-16 19:49:08 +01:00
  • e00378c820 attempt to build the Windows runtime krangelov 2021-11-16 19:40:14 +01:00
  • 2c38ba6ca4 test msys krangelov 2021-11-16 19:36:02 +01:00
  • 7797aa6ed5 build instructions for Windows krangelov 2021-11-16 19:19:21 +01:00
  • 30c5109bfd install GCC for MinGW Krasimir Angelov 2021-11-16 19:13:56 +01:00
  • 051eb737f2 Try to setup Windows build Krasimir Angelov 2021-11-16 19:06:32 +01:00
  • 2cbf59d75b fix the include for WINDOWS krangelov 2021-11-16 17:23:03 +01:00
  • 1e3efd9fa4 progress on showPGF krangelov 2021-11-16 16:15:22 +01:00
  • 10e26575de started on showPGF krangelov 2021-11-16 12:07:38 +01:00
  • 5649bc1ef0 started piping PMCFG rules to the runtime krangelov 2021-11-16 11:49:02 +01:00
  • db92bcfff6 fix for MacOS krangelov 2021-11-16 09:53:41 +01:00
  • 4a62ea02f4 destroy the r/w lock if there is no shared file krangelov 2021-11-16 09:48:50 +01:00
  • c26f3b3cd5 an attempt to fix the failure on MacOS krangelov 2021-11-16 09:36:26 +01:00
  • f5e6c695a7 make r/w lock shared only if there is a shared file as well krangelov 2021-11-16 08:53:22 +01:00
  • c80ef3549c fix error reporting when the r/w lock is created krangelov 2021-11-16 08:47:07 +01:00
  • 58b805606b correct mode for pgf_boot_ngf on WIN32 krangelov 2021-11-16 08:33:50 +01:00
  • e0b93a37e2 fix the compilation on Windows again krangelov 2021-11-15 13:39:47 +01:00
  • c1690ffa77 the r/w lock is now in the database itself krangelov 2021-11-15 13:13:00 +01:00
  • 0a204a47f7 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic krangelov 2021-11-13 05:41:20 +01:00
  • 92ecc8cc1d finished porting to Windows krangelov 2021-11-13 05:40:38 +01:00
  • 158666f29a Update README.md Krasimir Angelov 2021-11-11 11:25:22 +01:00
  • 397d22b49b define macro to control dllexport on WINDOWS krangelov 2021-11-10 17:41:59 +01:00
  • 9804d993e4 remove the dependency to pthread on Windows krangelov 2021-11-10 17:27:45 +01:00
  • 68fd5460f4 fix cleanup after exceptions in PgfDB::PgfDB krangelov 2021-11-10 17:10:31 +01:00
  • c806ce2d26 minimal changes to make the runtime compilable on Windows krangelov 2021-11-10 15:52:02 +01:00
  • 81eb2217ac more instructions for Windows krangelov 2021-11-10 15:22:47 +01:00
  • 064136cafd another fix for Windows krangelov 2021-11-10 14:40:45 +01:00
  • 5b7363d5c9 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic krangelov 2021-11-09 19:09:28 +01:00
  • befb61b0e3 first steps towards porting to Windows krangelov 2021-11-09 19:08:49 +01:00
  • 9f84523a63 Instructions for compilation on Windows Krasimir Angelov 2021-11-09 18:43:32 +01:00
  • 9eb88f9281 a number of new API functions for the concrete syntax. krangelov 2021-11-09 09:16:20 +01:00
  • a4ad17a478 pgf_create_lin now has access to the abstract function krangelov 2021-11-09 08:50:54 +01:00
  • 02a84b12da simplify types krangelov 2021-11-09 08:08:14 +01:00
  • 1aacc34deb fix reference counting for concrete revisions krangelov 2021-11-09 08:02:20 +01:00
  • 73b52bf4b5 started on pgf_create_lin krangelov 2021-11-09 02:20:42 +01:00
  • 2bed0b708c PgfVector -> Vector krangelov 2021-11-09 02:10:17 +01:00
  • 6552bcf909 Unify the data model between the C runtime and the Haskell binding krangelov 2021-11-09 02:04:36 +01:00
  • 9f2a3de7a3 Add simpler VSCode extension to editor modes page John J. Camilleri 2021-11-08 12:30:21 +01:00
  • b3ef14c39b another fix for MacOS krangelov 2021-11-08 10:41:09 +01:00
  • d6cf023258 reading & writing grammars in the new format krangelov 2021-11-08 10:39:05 +01:00
  • 02b9915d11 attempt to fix compilation on Mac krangelov 2021-11-07 20:22:41 +01:00
  • 06b59b1f10 fix krangelov 2021-11-07 19:48:35 +01:00
  • aef9c668e5 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic krangelov 2021-11-07 19:46:04 +01:00
  • 3f261c2854 first draft of the data model for the concrete syntax krangelov 2021-11-07 19:45:11 +01:00
  • eaa0e55922 Update LambdaCalculus.md Krasimir Angelov 2021-11-04 19:10:23 +01:00
  • 5342844b33 Update LambdaCalculus.md Krasimir Angelov 2021-11-04 17:26:47 +01:00
  • 6fc3a2177c Update LambdaCalculus.md Krasimir Angelov 2021-11-04 16:42:23 +01:00
  • 86dfebd925 Update LambdaCalculus.md Krasimir Angelov 2021-11-04 12:40:46 +01:00
  • 478287c12f Update LambdaCalculus.md Krasimir Angelov 2021-11-04 12:37:57 +01:00
  • 3351cc224e Update LambdaCalculus.md Krasimir Angelov 2021-11-04 11:03:13 +01:00
  • 82980eb935 Update LambdaCalculus.md Krasimir Angelov 2021-11-04 10:31:20 +01:00
  • 45a8f21df8 Update LambdaCalculus.md Krasimir Angelov 2021-11-04 09:38:15 +01:00
  • 6fcec8f864 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic krangelov 2021-11-04 08:31:43 +01:00
  • e806e94be9 fix typo krangelov 2021-11-04 08:31:31 +01:00
  • 18083c09b1 Update LambdaCalculus.md Krasimir Angelov 2021-11-03 16:33:25 +01:00
  • 02e728ca1e Update LambdaCalculus.md Krasimir Angelov 2021-11-03 16:32:00 +01:00
  • d44ae435c7 Update LambdaCalculus.md Krasimir Angelov 2021-11-03 16:31:28 +01:00
  • eb3baa5c43 Update LambdaCalculus.md Krasimir Angelov 2021-11-03 16:29:10 +01:00
  • 208998d1f9 Update LambdaCalculus.md Krasimir Angelov 2021-11-03 15:08:53 +01:00
  • f96cb85341 Update LambdaCalculus.md Krasimir Angelov 2021-11-03 14:57:29 +01:00
  • 19c3935855 Update transactions.md Krasimir Angelov 2021-11-03 14:16:28 +01:00
  • 547783e50e PgfDB::ref_count must be size_t krangelov 2021-11-03 11:50:21 +01:00
  • 43f40e701a test cases for the concrete syntax krangelov 2021-11-03 11:40:34 +01:00
  • 309a16d471 reference counting for concrete syntaxes krangelov 2021-11-03 10:48:20 +01:00
  • 2320c6b3b0 export alterConcrete too krangelov 2021-10-28 19:32:37 +02:00
  • 7e0fc159ce use newForeignPtrEnv instead of Foreign.Concurrent.newForeignPtr krangelov 2021-10-26 20:24:35 +02:00
  • 611fe95322 fix typo krangelov 2021-10-26 10:28:33 +02:00