mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-27 09:49:23 +00:00
Code Activity
10139 commits 45 branches 52 tags 177 MiB
Commit graph

10139 commits

This branch
This branch
All branches
Author SHA1 Message Date
nilsbecker
c73147d8fa logging checks that can be omitted when GET_CGR is used 2018-10-20 17:24:08 +02:00
Florian Pigorsch
326bf401b9 Fix some spelling errors (mostly in comments). 2018-10-20 17:07:41 +02:00
Christoph M. Wintersteiger
880ce12e2d
Fixed .NET Core API build. 2018-10-20 12:03:47 +01:00
Nikolaj Bjorner
6233dee505 double happiness 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-19 21:05:32 -07:00
Nikolaj Bjorner
7835091a26 good luck! 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-19 21:03:47 -07:00
Nikolaj Bjorner
7cc6d84e6f merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-19 21:02:15 -07:00
Nikolaj Bjorner
eb15f8249a fix backtrack 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-19 21:01:25 -07: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
936312cfd2 fix location of research 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-18 18:15:35 -07:00
Nikolaj Bjorner
2d4a5e0a5e n/a 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-18 18:07:04 -07:00
Nikolaj Bjorner
c0556b2f64 iterative deepening per recursive function 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-18 17:53:11 -07:00
Nikolaj Bjorner
35eb6eccd1 iterative deepening 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-18 17:14:10 -07:00
Nikolaj Bjorner
d22a0d04ed n/a 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-18 10:01:32 -07:00
Nikolaj Bjorner
28a5a515a8 fix #1889 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-18 09:20:12 -07:00
Nikolaj Bjorner
2f5f546990 ctx 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-18 09:02:20 -07:00
Nikolaj Bjorner
bd53fa801e handle case input format 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 21:42:18 -07:00
Nikolaj Bjorner
8a9837a8b5 more refinements for recfun 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 10:02:56 -07:00
Nikolaj Bjorner
566bdf3a82 add self-contained section on where to retrieve binaries 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 09:55:15 -07:00
Nikolaj Bjorner
bbc1afb3a6 Merge branch 'master' of https://github.com/z3prover/z3 2018-10-17 09:47:49 -07:00
Nikolaj Bjorner
a6ad893f54 add instructions as gift for Klaus 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 09:47:44 -07:00
Nikolaj Bjorner
c8187c900e
Merge pull request #1886 from waywardmonkeys/use-bool-literals-more 
Use bool literals instead of 0/1.
 2018-10-17 09:45:10 -07:00
Nikolaj Bjorner
9e780bf46e
Merge pull request #1887 from waywardmonkeys/fix-doxygen-warnings 
Fix doxygen warnings.
 2018-10-17 09:44:19 -07:00
Nikolaj Bjorner
de4a59af40
Merge pull request #1888 from waywardmonkeys/fix-typos 
Fix some typos.
 2018-10-17 09:44:04 -07:00
Bruce Mitchener
372cab2c5b Fix some typos. 2018-10-17 22:49:39 +07:00
Bruce Mitchener
f082735af6 Fix doxygen warnings. 2018-10-17 22:47:39 +07:00
Bruce Mitchener
dda62ae78c Use bool literals instead of 0/1. 2018-10-17 22:42:57 +07:00
Nikolaj Bjorner
48cdd12a47 cleanup 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 05:56:04 -07:00
Nikolaj Bjorner
9dd9d5e18a more integration 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 05:22:43 -07:00
Nikolaj Bjorner
c7d0d4e191 add c-cube's recursive function theory 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-17 04:56:58 -07:00
Nikolaj Bjorner
8431a54190
Merge pull request #1878 from 0xCM/master 
Fixes git error discussed in  https://github.com/Z3Prover/z3/pull/1552
 2018-10-16 17:05:53 -07:00
Nikolaj Bjorner
40ea00be4b
Merge pull request #1884 from janisozaur/const-ret 
Remove superfluous const from returned types
 2018-10-16 17:05:18 -07:00
Nikolaj Bjorner
fe1cf3274d
Merge pull request #1883 from janisozaur/catch-by-ref 
Catch exceptions by const-reference
 2018-10-16 17:04:50 -07:00
Michał Janiszewski
844f400a62 Remove superfluous const from returned types 2018-10-16 19:30:48 +02:00
Michał Janiszewski
cfd0486582 Catch exceptions by const-reference 
Exceptions caught by value incur needless cost in C++, most of them can
be caught by const-reference, especially as nearly none are actually
used. This could allow compiler generate a slightly more efficient code.
 2018-10-16 19:16:07 +02:00
Nikolaj Bjorner
b301a59899
Merge pull request #1881 from Z3Prover/revert-1880-c++17 
Revert "Made Z3 compile for C++17 with MSVC"
 2018-10-15 12:52:38 -07:00
Nikolaj Bjorner
6704a4be02
Revert "Made Z3 compile for C++17 with MSVC" 2018-10-15 12:52:19 -07:00
Nikolaj Bjorner
4916de874b
Merge pull request #1880 from mjp41/c++17 
Made Z3 compile for C++17 with MSVC
 2018-10-15 12:52:07 -07:00
Nikolaj Bjorner
016872a5e0 increment patch 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-15 12:44:19 -07:00
Nikolaj Bjorner
c8d00fb5b4 follow instructions from #1879 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-15 11:44:47 -07:00
Matthew Parkinson
01005a46f6 Made it more legal C++17 2018-10-15 17:25:34 +01:00
Chris Moore
a8f26ae1d8 Fixes the git submodule error discussed in https://github.com/Z3Prover/z3/pull/1552 2018-10-15 10:09:41 -05:00
Nikolaj Bjorner
b1ab473035 add arguments to optimize_check fix #1866 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-14 20:44:46 -07:00
Nikolaj Bjorner
09e40f6e23 add arguments to optimize_check fix #1866 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-14 20:43:35 -07:00
Nikolaj Bjorner
0457b5a73f add arguments to optimize_check fix #1866 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-14 20:39:54 -07:00
Nikolaj Bjorner
5b51e69137 fix #1874 by removing nnf.skolemize option 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-14 18:17:34 -07:00
Nikolaj Bjorner
e9d615e309 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-14 15:16:22 -07:00
Nikolaj Bjorner
0992628124 Merge branch 'csp' of https://github.com/nikolajbjorner/z3 into csp 2018-10-14 13:07:16 -07:00
Nikolaj Bjorner
77e4340470 update parser 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-14 13:06:09 -07:00
Nikolaj Bjorner
70f3fa36c5 remove qualifiers that downlevel compilers complain about 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-13 09:39:48 -07:00
Nikolaj Bjorner
6277ed61c9 pull rounding mode top-level to deal with build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-10-13 02:09:35 -07:00