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
|
d7ecaa2ebb
|
add stub for certificate #1926
|
2018-11-10 09:56:44 -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
|
671e7f7786
|
Merge pull request #1915 from sburuiana/master
Fixed documentation of Z3_param_descrs_get_name method
|
2018-11-06 07:56:28 -08:00 |
|
Nikolaj Bjorner
|
1a030bb722
|
add missing inline fix #1917
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-06 07:50:42 -08:00 |
|
Andrei Sebastian BURUIANA
|
83aa2ab39d
|
fixed documentation of Z3_param_descrs_get_name
|
2018-11-06 13:50:52 +02:00 |
|
Andrei Sebastian BURUIANA
|
4c4ca7d3b8
|
fixed documentation of Z3_param_descrs_get_name
|
2018-11-06 13:41:18 +02:00 |
|
Nikolaj Bjorner
|
f699ac0353
|
fixing bugs uncovered by repro in #1914
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-05 13:54:23 -08:00 |
|
Nikolaj Bjorner
|
cf4bf7b591
|
more consistent use of parallel mode when enabled, takes care of example test from #1898 that didn't trigger parallel mode
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-02 18:44:53 -05:00 |
|
Nikolaj Bjorner
|
d9e77ba443
|
fix model extraction for 0-ary recursive function declarations
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-01 09:55:27 -05:00 |
|
Nikolaj Bjorner
|
e75d07c1c1
|
add missing override
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-01 09:40:19 -05:00 |
|
Nikolaj Bjorner
|
b02fec91cc
|
fixing python build errors
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-01 09:34:42 -05:00 |
|
Nikolaj Bjorner
|
2a6fa4af39
|
deal with compiler warnings
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-31 16:30:42 -05:00 |
|
Nikolaj Bjorner
|
eef2ac0ff5
|
Merge pull request #1906 from NikolajBjorner/csp
integrate native support for recursive definitions
|
2018-10-31 14:41:51 -05:00 |
|
Nikolaj Bjorner
|
a775d1f518
|
newline
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-31 14:40:13 -05:00 |
|
Nikolaj Bjorner
|
bcf896bd03
|
display'
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-30 18:25:03 -05:00 |
|
Nikolaj Bjorner
|
22d2458c93
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-30 18:23:10 -05:00 |
|
Nikolaj Bjorner
|
719bc5cd5d
|
merge
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-30 17:23:31 -05:00 |
|
Nikolaj Bjorner
|
2b14ec215b
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-30 17:22:55 -05:00 |
|
Nikolaj Bjorner
|
3c1c3d5987
|
fix #1908
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-30 14:15:29 -05: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
|
43d9159a74
|
merge
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-27 16:20:39 -05:00 |
|
Nikolaj Bjorner
|
7db58be904
|
add recfuns to python API
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-27 16:14:20 -05:00 |
|
Nikolaj Bjorner
|
80acf8ed79
|
add recfuns to model
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-27 13:26:32 -05:00 |
|
Nikolaj Bjorner
|
51a0022450
|
add recfun to API
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-27 11:41:18 -05:00 |
|
Nikolaj Bjorner
|
c5cbf985ca
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-26 10:11:03 -05:00 |
|
Nikolaj Bjorner
|
5d06fa2347
|
fix #1901
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-25 17:29:09 -05:00 |
|
Nikolaj Bjorner
|
67077d960e
|
working with incremental depth
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-23 14:16:07 -07:00 |
|
Nikolaj Bjorner
|
2aeb814f4e
|
Merge branch 'master' of https://github.com/z3prover/z3
|
2018-10-23 14:08:36 -07:00 |
|
Nikolaj Bjorner
|
184ae7211e
|
fix #1897
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-23 10:00:57 -07:00 |
|
Nikolaj Bjorner
|
aa6e1badf2
|
recfun
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-23 08:16:26 -07: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 |
|
Nikolaj Bjorner
|
fac114872f
|
Merge branch 'master' of https://github.com/z3prover/z3 into csp
|
2018-10-22 07:25:39 -07:00 |
|
Nikolaj Bjorner
|
5c80b142c5
|
fix build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 07:22:58 -07:00 |
|
Nikolaj Bjorner
|
66f2a7636b
|
depth
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 04:59:51 -07:00 |
|
Nikolaj Bjorner
|
cd9c752834
|
guard
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-21 20:46:12 -07:00 |
|
Nikolaj Bjorner
|
b5676413e4
|
recfun
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-21 18:25:27 -07:00 |
|
Nikolaj Bjorner
|
918a5b9e8c
|
updates to recfun_decl_plugin
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-21 13:15:51 -07:00 |
|
Nikolaj Bjorner
|
536c2b6ce5
|
bypass warning size_t/unsigned
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-21 13:15:14 -07:00 |
|