3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
Commit graph

831 commits

Author SHA1 Message Date
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
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
Bruce Mitchener 16a2ad9afd Use stdint.h for int64_t / uint64_t in API.
Now that we can use stdint.h, we can use it to portably define
64 bit integer types for use in the API.
2018-03-30 23:06:24 +07:00
Nikolaj Bjorner 76dec85c93 use stdbool #1526 instead of int
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-27 15:41:53 -07:00
Nikolaj Bjorner 3765bde5e9 updated OSX build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-22 20:19:08 -07:00
Nikolaj Bjorner 4529ad933a add vstsmac
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 15:19:05 -07:00
Nikolaj Bjorner 931dbd5933 remove python doc test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 13:37:04 -07:00
Nikolaj Bjorner 8c4ea7983f use vc path in 2013
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 12:59:42 -07:00
Nikolaj Bjorner 6ee4efe93a remove python tests from x86 build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 12:48:21 -07:00
Nikolaj Bjorner f7dfc39984 add vstsvs2013 outline
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 12:20:40 -07:00
Nikolaj Bjorner db7844bef7 adding build definition
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 09:33:23 -07:00
Nikolaj Bjorner 0d13a2812e add error checking and command argument
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 09:26:39 -07:00
Nikolaj Bjorner eb6bbd390a vsts script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 08:33:09 -07:00
Pierre Pronchery 5f7bd993de Add support for NetBSD
Originally from David Holland <dholland@NetBSD.org>.
2018-03-13 21:59:35 +01:00
Nikolaj Bjorner 3d9139f6ef bump revision
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-10 12:07:55 -08:00
Nikolaj Bjorner 0ce2001449 fix build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-10 11:39:22 -08:00
Bruce Mitchener 878a6ca14f Fix typos. 2018-03-09 14:30:43 +07:00
Christoph M. Wintersteiger 0ef33a98c4
Revert "Fix encoding error" 2018-02-13 14:08:55 +00:00
Virgile ROBLES fddc4e311f
Fix encoding error
The encode/decode is not needed and fails if any non-ASCII character is returned by g++ or clang++
2018-01-26 00:30:59 +01:00
Nikolaj Bjorner 1992749e78 to ascii or not to ascii #1447
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-01-07 18:52:00 -08:00
Christoph M. Wintersteiger 63951b815d Bumped version number. 2017-12-18 18:58:21 +00:00
Ivan Gotovchits 49678065bd fixes compilation flags for OCaml plugins
The `-linkall` option is needed for a plugin to be standalone,
otherwise it will miss those dependencies that are not used.
2017-12-13 14:45:06 -05:00
Nikolaj Bjorner b96dacfff2 set version, fix build of test files
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-30 08:42:01 -08:00
Nikolaj Bjorner 161b6a9983 increase minor version, update java/.net apis
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-28 11:51:37 -08:00
Nikolaj Bjorner 89971e2a98 remove smtlib1 dependencies
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-28 10:37:30 -08:00
Nikolaj Bjorner 61d149a724 fix java build problem with bool arrays
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-15 16:18:18 -08:00
Nikolaj Bjorner 795e0c641a add method to create bit-vectors directly from an array of Booleans
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-15 14:44:59 -08:00
Christoph M. Wintersteiger 7c63a5cc1d Fixed MSYS/MinGW build. Fixes #1335. 2017-11-11 16:38:53 +00:00
Christoph M. Wintersteiger 45975bec65 Improved support for MSYS/MINGW. Fixes #969. 2017-11-11 15:11:54 +00:00
Christoph M. Wintersteiger 19f43713c9 Fixed Windows build of C example. 2017-11-08 21:16:03 +00:00
Christoph M. Wintersteiger 17bcb37cf1 Fixed error handlers in Python API. 2017-11-08 20:09:18 +00:00
Christoph M. Wintersteiger bec6c3f9e2 Fixed C example build. 2017-11-08 18:22:17 +00:00
Christoph M. Wintersteiger a8b52419f5 Fixed C example build. 2017-11-08 18:14:42 +00:00
Christoph M. Wintersteiger bf563bbd5f Fixed default library path order in Python API. 2017-11-08 17:29:40 +00:00
Christoph M. Wintersteiger ef800d7b93 Fixed library path order in Python API. 2017-11-08 17:20:25 +00:00
Christoph M. Wintersteiger d2c5e0e76a Fixed problems arising from unfortunate object destruction order in the Python API. Fixes #989. 2017-11-08 16:36:47 +00:00
Paul Ehrlich 2a459c5ff6 MSYS offers a MINGW shell as well. (uses different os.uname()) 2017-11-01 12:02:48 +01:00
Christoph M. Wintersteiger e50470f2c4 Added support for MSYS2 2017-10-30 18:24:38 +00:00
Nikolaj Bjorner 60b970b9ba add proofs dependency to solver
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-28 16:23:13 -07:00
Nikolaj Bjorner db65cc007a move more proof utils
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-24 10:27:48 -07:00
Nikolaj Bjorner d67f3c1466 create proofs folder, move proof-post-order utility to proofs directory, fix regression with proofs
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-10-24 03:08:56 -07:00
Christoph M. Wintersteiger 9a464dded4 Removed -std=c++11 from OCaml stubs build command. Fixes #1263. 2017-09-27 14:22:59 +01:00
Nikolaj Bjorner 597f77cd77 initial sketch for dominator based simplifiation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-08-28 20:03:31 -07:00
Nicolas Braud-Santoni 4cb7f72509 First version of the inj. tactic 2017-08-22 17:10:20 +00:00