mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 02:15:19 +00:00
Code Activity
10873 commits 23 branches 48 tags 156 MiB
Commit graph

1004 commits

Author SHA1 Message Date
Nikolaj Bjorner 8d23ad2f7e fix generation of assembly-sign-input to take escape sequences and absolute paths 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-12 10:14:38 -08:00
Nikolaj Bjorner db3e5ce070
Merge pull request #1997 from waywardmonkeys/change-64-bit-configuration-strategy 
Change how 64 bit builds are detected.
 2018-12-12 09:55:13 -08:00
Nikolaj Bjorner 02f01fcef1 adding esrp feature 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-11 17:31:09 -08:00
Nikolaj Bjorner 93c59ffbd9 update script to sign assembly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-12-11 15:48:33 -08:00
Bruce Mitchener 51a947b73d Change how 64 bit builds are detected. 
Instead of doing this at configure time, we look at the actual
compile time status. This also avoids hardcoding checks based on
what CPU architecture is present, which doesn't work when Z3 is
being built on non-x86_64 platforms.
 2018-12-09 16:16:20 +07:00
Mathias Soeken 9a0a1dd818 Changes to NuGet release script. 2018-12-06 16:19:03 +01:00
Travis Nielsen dad58073d3
Fix typo 2018-12-01 16:47:19 -06:00
Nikolaj Bjorner eea9b79035
Merge pull request #1975 from Bronsa/null_wrapped 
Guard against null wrapped functions in OCaml API
 2018-11-27 10:44:20 -08:00
Nicola Mometto ad49c3269a Guard against null wrapped functions in OCaml API 2018-11-27 18:11:29 +00:00
Nicola Mometto 21158d87e3 override n_mk_config in ml bindings to catch exception path 2018-11-27 12:31:00 +00:00
Nikolaj Bjorner f5455ce2ac fix exception handling for #1959 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-22 15:40:08 -08:00
Bruce Mitchener edf8ba44d1 Switch from using Z3_bool to using bool. 
This is a continuation of the work started by using stdbool and
continued by switching from Z3_TRUE|FALSE to true|false.
 2018-11-20 11:27:09 +07:00
Nikolaj Bjorner a076e33037 tweaks to mk_nuget_release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-19 15:35:49 -08:00
Nikolaj Bjorner 76d0a5a6ed tweaks to mk_nuget_release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-19 15:35:42 -08:00
Nikolaj Bjorner e83e9b02df increment version number to 4.8.4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-19 15:17:55 -08:00
Nikolaj Bjorner 5188f4d82e update dist scripts 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-18 10:55:59 -08:00
Nikolaj Bjorner e438de4f8a Merge branch 'master' of https://github.com/z3prover/z3 2018-11-18 10:48:50 -08:00
Nikolaj Bjorner ddf6d48b3e update unix-dist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-18 10:48:45 -08:00
Nikolaj Bjorner fb1287155e fix windows build_dist setting 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-18 08:59:27 -08:00
Nikolaj Bjorner e98da4320b make dotnet core optional for mk_win_dist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-17 15:08:52 -08:00
Nikolaj Bjorner ee7781e602 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-17 15:05:02 -08:00
Nikolaj Bjorner 9ec59fdb93 fix #1934 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-17 15:04:25 -08:00
Nikolaj Bjorner 1a5be0f25e make dotnet core dist optional 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-16 15:14:43 -08:00
Nikolaj Bjorner cfb14c879a make dotnet core dist optional 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-16 13:59:00 -08:00
Nikolaj Bjorner 5ebe342da1 add support for keyfiles 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-16 13:27:58 -08:00
Nikolaj Bjorner f4ced3c164 use netstandard1.4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:40:35 -08:00
Nikolaj Bjorner 4509caf102 build generated files outside of src 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:17:04 -08:00
Nikolaj Bjorner 60d7444c96 build generated files outside of src 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:16:38 -08:00
Nikolaj Bjorner becf5de872 with Mathias on nuget package generation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:16:15 -08:00
Nikolaj Bjorner bb5837791a clean up dotnet core component 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 11:02:49 -08:00
Nikolaj Bjorner 8bfeca063d update example build for dotnet core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 10:36:27 -08:00
Nikolaj Bjorner 6a9c8a8999 remove spurious string 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 19:40:56 -08:00
Nikolaj Bjorner c6c4dc4563 start script on assembling platform binaries to wrap with nuget install 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 16:57:47 -08:00
Nikolaj Bjorner 4f4463b2b7 update for nuget/core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 15:06:24 -08:00
Nikolaj Bjorner 13d1ccfeaf update for nuget/core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 14:59:53 -08:00
Nikolaj Bjorner c372500018 update for nuget/core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 14:51:58 -08:00
Nikolaj Bjorner 84baddf87c Merge branch 'master' of https://github.com/z3prover/z3 2018-11-14 14:07:16 -08:00
Nikolaj Bjorner 1cc2cc0143 add TBD marker 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 14:07:14 -08:00
Nikolaj Bjorner 74db2f2509
Merge pull request #1939 from msoeken/dotnetcore-fix 
Choose runtime for .NET core DLL.
 2018-11-14 14:06:43 -08:00
Mathias Soeken 690bd8502a Choose runtime for .NET core DLL. 2018-11-14 13:47:46 -08:00
Nikolaj Bjorner 2501a875ef update script to generate file directly instead of from makefile 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 13:44:40 -08:00
Nikolaj Bjorner c49d71ba66 Merge branch 'master' of https://github.com/z3prover/z3 2018-11-14 11:43:44 -08:00
Nikolaj Bjorner 139d8b85f0 core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 11:43:41 -08:00
Mathias Soeken 33363aeb58 Fix problem in mk_echo. 2018-11-14 11:27:55 -08:00
Mathias Soeken e39907c481 Fix some problems in mk_echo. 2018-11-14 11:25:18 -08:00
Mathias Soeken d4567a1255 Fix echo command for Windows. 2018-11-14 11:11:25 -08:00
Mathias Soeken 2fbaad15d7 Build example for dotnetcore. 2018-11-14 09:57:47 -08:00
Nikolaj Bjorner ccf6ca310e more dotnet core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-13 19:59:46 -08:00
Nikolaj Bjorner 37ec933c66 more dotnet core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-13 19:58:42 -08:00
Nikolaj Bjorner dbd5ef4526 more dotnet core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-13 19:58:09 -08:00
Nikolaj Bjorner bd78558826 adding dotnetcore handling 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-13 19:51:57 -08:00
Nikolaj Bjorner 225fb82d96 add TBD for dotnet example 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-13 15:54:37 -08:00
Nikolaj Bjorner 4d0bc8c8b3 ignore propagation on units 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-11 15:10:44 -08:00
Nikolaj Bjorner a000747605 fixing mk-win-dist to include redist #1924 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-10 14:13:43 -08:00
Nikolaj Bjorner cea15c8780 use h_file not fullname in error message 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-10 10:13:05 -08:00
Nikolaj Bjorner 82e60ab17a add exception handler for debugging #1925 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-10 10:07:42 -08:00
Nikolaj Bjorner 2c8d942568 add error if library is not included #1924 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-09 18:05:40 -08:00
Nikolaj Bjorner b02c698284 align variable names with dimacs input 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-08 16:52:10 -08:00
Nikolaj Bjorner 1bf934e53a
Merge pull request #1918 from c-cube/ocaml-release-gc 
feat(api/ml): release runtime lock on some long-running functions
 2018-11-06 15:03:30 -08:00
Simon Cruanes 9121c74c9f feat(api/ml): release runtime lock on some long-running functions 2018-11-06 16:23:18 -06:00
Nikolaj Bjorner 0f0287d129 prepare release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-28 17:42:16 -05:00
Nikolaj Bjorner 52801db3fd more dotnet core prepration 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-22 16:28:01 -07:00
Nikolaj Bjorner 540922766d more dotnetcore preparation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-22 12:15:54 -07:00
Nikolaj Bjorner 4616ddf103 more prep for dotnet core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-22 11:50:07 -07:00
Nikolaj Bjorner 7c043dee7d more prep for dotnetcore 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-22 11:07:17 -07:00
Nikolaj Bjorner 163e1e3e55 avoid name clash 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-22 11:03:41 -07:00
Nikolaj Bjorner 8a93f34b4a Merge branch 'master' of https://github.com/z3prover/z3 2018-10-22 11:00:07 -07:00
Nikolaj Bjorner 81a92edb61 prepare to retool 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-22 10:59:51 -07:00
Florian Pigorsch 326bf401b9 Fix some spelling errors (mostly in comments). 2018-10-20 17:07:41 +02:00
Nikolaj Bjorner 694a6a26c9 bump version, add double access 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-19 20:20:08 -07:00
Nikolaj Bjorner 016872a5e0 increment patch 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-15 12:44:19 -07:00
nabice 13183b7c7c Ignore current dir when searching for jni 2018-10-10 17:12:16 +08:00
Andrew Helwer 7941074fd1 Added packaging directions, removed linkresource flag 2018-10-06 18:22:55 -07:00
Nikolaj Bjorner 0c4754d94b rename version.h to z3_version.h to differentiate name in install include directory. Add support for z3_version.h in python build system. #1833 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-09-21 20:13:58 -07:00
Nikolaj Bjorner e041ebbe80 bmc improvements, move fd_solver to self-contained directory 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-08-05 10:00:49 -07:00
Nikolaj Bjorner c247abfc65 prepare js output 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-08-03 22:13:25 -07:00
Nikolaj Bjorner fed977b492 fix #1782 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-08-02 10:08:16 -07:00
Nikolaj Bjorner 1cb3f7c792 fixing #1520 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-07-28 18:03:13 -07:00
Nuno Lopes 8791f61aa7 reduce mem allocation in tactic API 2018-07-02 13:41:44 +01:00
Nikolaj Bjorner 0d4b4b30b1 change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-07-02 02:58:06 -07:00
Nikolaj Bjorner f1d27cd487 workaround non-deterministic behavior of is_irrational_numeral test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-29 18:16:32 -07:00
Nikolaj Bjorner b6c43f6143 move files for build script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-15 15:13:55 -07:00
Nikolaj Bjorner 6e27ad42c8 remove pdr reference from legacy build script 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-06-15 15:02:50 -07:00
Nikolaj Bjorner b37a5b1679 clean up python build files 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-25 10:27:12 -07:00
Nikolaj Bjorner 753b9dd734 fix #1650 fix #1648 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-25 08:56:13 -07:00
Philipp Wendler 3e0506a71b Set the SONAME field of libz3.so to libz3.so. 
This fixes a problem when loading libz3java from Java,
where the dependency on libz3 is not detected as fulfilled
if the latter does not have SONAME set.
 2018-05-25 15:01:07 +02:00
Nikolaj Bjorner f5775f265a fix python build script dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-23 09:21:33 -07:00
Nikolaj Bjorner c963f6f2df merge with master 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-23 08:02:16 -07:00
Nikolaj Bjorner 50c93d1ad4 merge with 4.7.1 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-22 17:10:36 -07:00
Nikolaj Bjorner 3b1b82bef0 bumping version number by 1 for release tagging 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-22 10:19:38 -07:00
Sapan Bhatia c198b12743 Big_int is no longer a part of OCaml's standard library and must be 
included via the num package: https://github.com/ocaml/num
 2018-05-15 04:55:57 +05:30
Nikolaj Bjorner 888699548d
Revert "Specify encoding of source files in mk_util.py" 2018-05-03 11:59:49 -07:00
Nikolaj Bjorner c293d325a9
Merge pull request #1610 from varming/cv/encoding 
Specify encoding of source files in mk_util.py
 2018-05-03 11:51:37 -07:00
Carsten Varming c279fd9f2e Specify encoding of source files in mk_util.py 2018-05-02 23:27:33 -04:00
Nikolaj Bjorner 78b9f0686a merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 07:43:29 -07:00
Nikolaj Bjorner f525f43e43 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 09:30:43 -07:00
Nikolaj Bjorner 859c68c2ac merge with opt 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 08:27:54 -07:00
yxliang01 f7bcf0fd58 Z3 now will also try to find libz3 in PYTHONPATH 2018-04-24 08:17:20 -07:00
Nikolaj Bjorner 2dc92e2b94 merge with pull request #1557 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-07 17:22:49 -07:00
Nikolaj Bjorner 21a3b9c8e2 increment version number due to ABI/API breaking change #1556 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-31 05:20:47 -07:00