Commit Graph

  • 9a0a730820 _Rb_tree doesn't exist on Windows and macOS. Go back to using map Krasimir Angelov 2023-03-14 09:40:38 +01:00
  • 92c2840b2b restore the depth flag for gt and gr Krasimir Angelov 2023-03-13 14:01:14 +01:00
  • ed45bf9ebd HOAS in exhaustive generation Krasimir Angelov 2023-03-13 13:30:17 +01:00
  • fc1b560eeb added exhaustive generation Krasimir Angelov 2023-03-11 19:23:19 +01:00
  • 23c0b322ce exhaustive generation without HOAS and depth limit Krasimir Angelov 2023-03-11 19:20:54 +01:00
  • 62d24b9431 the Haskell marshaller/unmarshaller are now statically allocated Krasimir Angelov 2023-03-10 23:34:28 +01:00
  • 4863ab0ec9 PGFs merging should update the probspace only once Krasimir Angelov 2023-03-09 12:59:18 +01:00
  • dfa2c7873b fix merge_pgf after the latest refactory Krasimir Angelov 2023-03-08 19:21:18 +01:00
  • 9dc36a0f5f added the "alter lin" command Krasimir Angelov 2023-03-07 15:29:58 +01:00
  • c7e988dacf added the generator files Krasimir Angelov 2023-03-05 13:32:29 +01:00
  • ee717fb022 added random generation Krasimir Angelov 2023-03-05 13:18:14 +01:00
  • 6a36b486fa Update instructions for Geany Inari Listenmaa 2023-03-03 01:17:28 +01:00
  • 97bb8ae3f6 fix the parsing of large integers Krasimir Angelov 2023-03-02 10:45:51 +01:00
  • f7ca8afa81 fast word completion for functions names in the shell Krasimir Angelov 2023-03-02 10:28:00 +01:00
  • adc8a2fa29 fix space leak Krasimir Angelov 2023-03-02 09:55:11 +01:00
  • a9279511da fix tests Krasimir Angelov 2023-03-02 09:51:41 +01:00
  • aa5566f256 forgot to add probspace.(cxx|h) Krasimir Angelov 2023-03-02 09:46:19 +01:00
  • 8fc73b5d05 introduce probspace and maintain consistency after delete Krasimir Angelov 2023-03-02 09:40:39 +01:00
  • 23a5a3cdef another way to test for big numbers Krasimir Angelov 2023-03-02 09:37:21 +01:00
  • b8c9569f04 fix transaction accounting in pgf_boot_ngf & pgf_checkout_revision Krasimir Angelov 2023-03-02 09:08:14 +01:00
  • 91769c7ff2 if createConcrete/alterConcrete fail, report the error correctly Krasimir Angelov 2023-03-01 15:24:30 +01:00
  • 8190d9fe49 export BindType(..) Krasimir Angelov 2023-03-01 09:57:48 +01:00
  • c9a83e496c try fixing the artifact upload Krasimir Angelov 2023-02-24 08:58:25 +01:00
  • 56d8ecd240 fix the compilation without a server Krasimir Angelov 2023-02-24 08:49:39 +01:00
  • 6e12d7fee9 install happy & alex Krasimir Angelov 2023-02-24 08:41:43 +01:00
  • e879b374a7 remove duplicated module Krasimir Angelov 2023-02-24 08:30:42 +01:00
  • 963dd67c91 try building the compiler Krasimir Angelov 2023-02-24 08:24:26 +01:00
  • 9702d13059 try building the compiler Krasimir Angelov 2023-02-24 08:15:40 +01:00
  • 48fa373dc0 try building the compiler Krasimir Angelov 2023-02-24 08:09:26 +01:00
  • 4da2778776 skip Python 3.6 on macOS Krasimir Angelov 2023-02-24 07:57:02 +01:00
  • 1b2c8ce961 restored the word alignment API Krasimir Angelov 2023-02-23 20:17:23 +01:00
  • 57126f6d28 handle nonExist in parse the tree visualization and reclaim memory Krasimir Angelov 2023-02-23 14:19:48 +01:00
  • 9d330b6fb2 document case_sensitive Krasimir Angelov 2023-02-23 10:30:31 +01:00
  • f40072a5f4 pre now does case insensitive matching if case_sensitive=off is set Krasimir Angelov 2023-02-23 10:21:50 +01:00
  • 35e47b9fac robustness by reinitializing the locks if dead processes are found Krasimir Angelov 2023-02-22 17:41:50 +01:00
  • 476075246d bugfix Krasimir Angelov 2023-02-16 18:53:46 +01:00
  • 88faaa4e04 filter out results in linearize_all when there is a nonExist Krasimir Angelov 2023-02-14 23:06:29 +01:00
  • 310634bbe2 remove the import for Debug.Trace Krasimir Angelov 2023-02-10 12:04:47 +01:00
  • be951d9265 fix the compilation for parameters of type Ints n Krasimir Angelov 2023-02-10 12:04:21 +01:00
  • 810e529e41 another way to fix the one value parameter types Krasimir Angelov 2023-02-10 10:52:09 +01:00
  • 527a4451d3 update to System.Environment (getArgs) Inari Listenmaa 2023-02-10 10:46:10 +08:00
  • 9bedcb038e ellimate parameters with only one possible value Krasimir Angelov 2023-02-08 16:38:05 +01:00
  • bd8e86214a file was closed twice Krasimir Angelov 2023-02-05 10:16:20 +01:00
  • 2c13f529f9 Update INSTALL Krasimir Angelov 2023-02-05 09:40:14 +01:00
  • 6d856b2ce0 make it possible to control the initial NGF size Krasimir Angelov 2023-01-29 21:04:08 +01:00
  • 8ee624bc68 bump version Krasimir Angelov 2023-01-29 14:01:51 +01:00
  • 1e1719239a spotted more potential crashes Krasimir Angelov 2023-01-29 13:44:32 +01:00
  • 5551960698 fix typos Krasimir Angelov 2023-01-29 13:05:41 +01:00
  • 76ebf4d939 remap lseek to _lseeki64 on Windows Krasimir Angelov 2023-01-29 13:04:52 +01:00
  • 36ffc7747f fix the call to CreateFileMapping Krasimir Angelov 2023-01-29 10:39:17 +01:00
  • 8fca37cfeb writePGF now allows to select list of languages Krasimir Angelov 2023-01-28 11:59:39 +01:00
  • 471adbf63a bump the python version Krasimir Angelov 2023-01-27 18:19:36 +01:00
  • 0375f0f36d try --skip-existing Krasimir Angelov 2023-01-27 17:17:52 +01:00
  • cd3372de35 remove basic.ngf when starting test since on Windows we cannot remove files that are still open Krasimir Angelov 2023-01-27 17:01:34 +01:00
  • 1e3eb44843 explicitly close the file before removal Krasimir Angelov 2023-01-27 16:00:29 +01:00
  • 0e81dd7ada fix potential crashes in the reader.cxx Krasimir Angelov 2023-01-27 15:07:31 +01:00
  • e7cd5cd3f2 make the .ngf file read/write on Windows Krasimir Angelov 2023-01-27 15:07:04 +01:00
  • a2df7ed2a6 another fix Krasimir Angelov 2023-01-27 10:44:51 +01:00
  • 2d2af272a7 fix compilation Krasimir Angelov 2023-01-27 10:28:01 +01:00
  • 057cb7a3a6 fix the marshaller as well Krasimir Angelov 2023-01-27 09:40:43 +01:00
  • 660dd95cf2 fix the marshaller for integers on Windows Krasimir Angelov 2023-01-27 09:31:25 +01:00
  • bd11364234 prevent possible crash Krasimir Angelov 2023-01-27 08:34:17 +01:00
  • 2bf3fcfc9c fix transactions on Windows Krasimir Angelov 2023-01-27 08:33:04 +01:00
  • bdb9a20f7e fix int->size_t types Krasimir Angelov 2023-01-26 21:53:59 +01:00
  • 213de48eb1 reenable testing on windows Krasimir Angelov 2023-01-26 19:31:53 +01:00
  • d32ba0538d fix the read/write lock on Windows Krasimir Angelov 2023-01-26 19:30:24 +01:00
  • dc2a3cb3d4 temporary export even for embeded runtime Krasimir Angelov 2023-01-26 14:36:46 +01:00
  • 6faab424dd forgot closing the file Krasimir Angelov 2023-01-26 14:35:29 +01:00
  • ea99bb8ad8 another fix Krasimir Angelov 2023-01-26 11:49:22 +01:00
  • 9c07ab73ca upgrade version for actions/download-artifact Krasimir Angelov 2023-01-26 11:22:01 +01:00
  • 20efd1578f fix artefact name Krasimir Angelov 2023-01-26 11:20:32 +01:00
  • 05e5c1692a temporary disable testing on Windows Krasimir Angelov 2023-01-26 11:10:01 +01:00
  • 618e627352 make the path an argument to pytest Krasimir Angelov 2023-01-26 09:45:53 +01:00
  • 8cac0610f8 make tests executable from a different path Krasimir Angelov 2023-01-26 09:44:36 +01:00
  • 64d439601d test Krasimir Angelov 2023-01-26 09:25:25 +01:00
  • bec841878a annother attempt Krasimir Angelov 2023-01-26 09:18:32 +01:00
  • 7ee92b5116 normalize / to \ for Windows Krasimir Angelov 2023-01-26 09:17:47 +01:00
  • 7fa3c5c221 try cibuildwheel on Windows again Krasimir Angelov 2023-01-26 09:10:52 +01:00
  • 74e0880eca silence some warnings for MSVC Krasimir Angelov 2023-01-26 09:07:41 +01:00
  • c327b7e1d9 restore type signatures that accidentally changed Krasimir Angelov 2023-01-26 08:57:14 +01:00
  • 5d72714ef3 use strunct PgfConcrLin for consistency Krasimir Angelov 2023-01-26 08:51:59 +01:00
  • 60fa0b6314 disable warning C4200 for MSVC Krasimir Angelov 2023-01-26 08:51:00 +01:00
  • 86f8562d36 add EXTERN_C for all API function for MSVC Krasimir Angelov 2023-01-26 08:44:47 +01:00
  • 14d8b14827 rename strdup to _strdup for MSVC Krasimir Angelov 2023-01-26 08:42:42 +01:00
  • 7c13168bff use pragmas on when compiled with GCC Krasimir Angelov 2023-01-26 08:40:27 +01:00
  • 42c522954d use struct instead of class for consistency Krasimir Angelov 2023-01-26 08:40:02 +01:00
  • 8926a4f4c2 alloca.h -> malloc.h Krasimir Angelov 2023-01-26 08:35:11 +01:00
  • 54d594aa07 use struct PgfSequenceItor for consistency Krasimir Angelov 2023-01-26 08:33:24 +01:00
  • b138d0c89b use alloca for compatibility with MSVC Krasimir Angelov 2023-01-26 08:31:44 +01:00
  • ee96bcbb1c define PgfDB as class for C++ and as struct for C Krasimir Angelov 2023-01-26 08:22:14 +01:00
  • 69c70694aa define COMPILING_STATIC_PGF for MSVC Krasimir Angelov 2023-01-26 08:20:14 +01:00
  • 1d5dffa7a6 printf annotation compatible with MSVC Krasimir Angelov 2023-01-26 07:28:43 +01:00
  • e689a35ee5 setup the include directory for MSVC Krasimir Angelov 2023-01-26 00:22:04 +01:00
  • 58e686c901 define ssize_t for MSVC Krasimir Angelov 2023-01-26 00:18:08 +01:00
  • 8cefedd8ef fix Krasimir Angelov 2023-01-26 00:14:30 +01:00
  • a1df64987e rename _open,_lseek,_close Krasimir Angelov 2023-01-26 00:09:51 +01:00
  • 7432569578 include <io.h> for MSVC Krasimir Angelov 2023-01-26 00:04:11 +01:00
  • 57a3f1d02a detach Python(Windows) from Runtime(MinGW64) Krasimir Angelov 2023-01-25 23:57:08 +01:00
  • 89a9806925 PGF_API->PGF_API_DECL Krasimir Angelov 2023-01-25 23:47:38 +01:00
  • ed5d0269ac PGF_INTERNAL->PGF_INTERNAL_DECL Krasimir Angelov 2023-01-25 23:35:25 +01:00