3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Commit graph

10021 commits

Author SHA1 Message Date
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 eb682c3e39
Merge pull request #1935 from ahelwer/master
Updated nuget package spec and directions
2018-11-13 12:28:51 -08:00
Andrew Helwer c59b331c1f Updated nuget package spec and directions 2018-11-13 12:19:20 -08:00
Nikolaj Bjorner ef9b46b2e5 fix #1922 - incorrect pretty printing of datatypes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-11-12 09:21:51 -08:00
Nikolaj Bjorner 8847898a7d add multiline lisp style comments #1932
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-11-12 08:52:51 -08:00
Nikolaj Bjorner 72400f1869 fix #1927
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-11-12 03:43:04 -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 6a72a4fc00 Merge branch 'master' of https://github.com/z3prover/z3 2018-11-11 09:50:59 -08:00
Nikolaj Bjorner 69e2f33ecf undefine min/max #1927
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-11-11 09:50:52 -08:00
Nikolaj Bjorner cc4b26f738
Merge pull request #1930 from agurfinkel/deep_space
print certificate
2018-11-11 09:31:38 -08:00
Nikolaj Bjorner 9bd7e8ea7e
Merge pull request #1931 from waywardmonkeys/fix-more-typos
Fix typos.
2018-11-11 09:29:45 -08:00
Bruce Mitchener 1082fad27a Fix typos. 2018-11-11 22:21:43 +07:00
Arie Gurfinkel d4e476d764 Work around unexpected behaviour in generalizer 2018-11-11 09:06:36 -05:00
Arie Gurfinkel 6cc6ffcde2 Fix display_certificate in spacer
This is expected to work now
(query q1 :print-certificate true)
2018-11-11 09:06:22 -05:00
Arie Gurfinkel 58d93d8907 Fix add external lemmas to solver even if use_bg_invs=false
spacer.use_bg_invs controls how user-supplied invariants are used.
However, the user expects them to be used independent of the option.
2018-11-11 08:41:22 -05: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 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