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