mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-15 00:46:38 +00:00
Code Activity
7901 commits 42 branches 51 tags 169 MiB
Commit graph

62 commits

Author SHA1 Message Date
Nikolaj Bjorner
6ed95718ce fix more warnings with override 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-02-22 08:53:17 +09:00
Nikolaj Bjorner
919989cfe8 fix more warnings with override 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-02-22 08:39:31 +09:00
Nikolaj Bjorner
a4c58ec4c2 fix #1496 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-02-22 08:05:28 +09:00
Nikolaj Bjorner
d70ee71a43 try another build fix 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-02-21 22:38:10 +09:00
Nikolaj Bjorner
763c250734 try another build fix 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-02-21 22:33:44 +09:00
Nikolaj Bjorner
24f56fd74c try another build fix 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-02-21 22:29:22 +09:00
Nikolaj Bjorner
7b6f51941c fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-02-21 22:18:47 +09:00
Bruce Mitchener
76eb7b9ede Use nullptr. 2018-02-12 14:05:55 +07:00
Bruce Mitchener
7167fda1dc Use override rather than virtual. 2018-02-10 09:56:33 +07:00
Bruce Mitchener
757b7c66ef Remove unnecessary value parameter copies. 2018-02-09 16:35:34 +07:00
Lev Nachmanson
c74ad46682 remove a duplicate definition 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2018-02-05 21:22:46 -08:00
Lev Nachmanson
a5caa50606 adding template definitions 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2018-02-05 09:42:56 -08:00
Nikolaj Bjorner
482738bc8a avoid reset_error in dec_ref in bv_val #1443. Add BSD required template instance #1444 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-01-07 15:51:45 -08:00
Bruce Mitchener
11db778442 Remove ignored const qualifiers. 
The `const` qualifier on a scalar value is ignored in return types.
 2018-01-02 23:12:34 +07:00
Lev Nachmanson
62cf6aace7 avoid a warning 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2017-11-16 10:20:21 -08:00
Nuno Lopes
9aa6386be9 fix debug build 2017-10-06 15:27:16 +01:00
Lev Nachmanson
fd3d785a5b add this-> 
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
 2017-10-04 14:49:45 -07:00
Lev Nachmanson
2828126b72 add cancellation checks 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2017-10-03 10:20:49 -07:00
Christoph M. Wintersteiger
db398eca7a Tabs, formatting. 2017-09-17 17:50:05 +01:00
Christoph M. Wintersteiger
56e20da3ce Copyright messages 2017-09-17 17:33:42 +01:00
Christoph M. Wintersteiger
d61b722b68 Partial cleanup of util/lp/* 2017-09-17 16:00:06 +01:00
Christoph M. Wintersteiger
00651f8f21 Tabs, formatting. 2017-09-17 14:54:09 +01:00
Lev Nachmanson
95f86ae2c0 more efficient lar_solver::get_model 
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
 2017-08-03 11:03:52 -07:00
Lev Nachmanson
712619a9cf fix a but in adjusting term indices for implied_bounds 2017-08-03 10:09:00 -07:00
Christoph M. Wintersteiger
79ab8a5a5a Fixed cmake build 2017-08-01 16:16:17 +01:00
Christoph M. Wintersteiger
e315d063c5 renamed LP bound propagator to avoid linker name clashes 2017-08-01 16:07:51 +01:00
Christoph M. Wintersteiger
6bc5209e26 Fixed build problems with .vcxproj 2017-08-01 15:53:55 +01:00
Nikolaj Bjorner
b19f94ae5b make include paths uniformly use path relative to src. #534 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-31 13:24:11 -07:00
Nikolaj Bjorner
70f6280bf1 fix regression reported in #1159 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-25 10:18:21 -07:00
Nikolaj Bjorner
a94f5fb04a fix compiler warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-07-24 12:15:10 -07:00
Lev Nachmanson
dfe15adf7e fix maybe non initialized warning 
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
 2017-06-26 16:32:44 -07:00
Nikolaj Bjorner
7db1847f51 fix bitrot in maxsat example reference management #1116 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-06-26 09:36:53 -07:00
Lev Nachmanson
2a5f1d6e93 add a template instantination 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2017-06-22 10:32:35 -07:00
Dan Liew
4b517b96df [CMake] Move CMake files into their intended location so the 
`contrib/cmake/bootstrap.py` script no longer needs to be executed.

The previous location of the CMake files was a compromise proposed
by @agurfinkel in #461. While this has served us well (allowing progress
to be made) over time limitations of this approach have appeared.

The main problem is that doing many git operations (e.g. pull, rebase)
means the CMake files don't get updated unless the user remembers to
run the script. This can lead to broken and confusing build system
behaviour.

This commit only does the file moving and necessary changes to
`.gitignore`. Other changes will be done in subsequent commits.
 2017-06-12 11:59:00 +01:00
Nikolaj Bjorner
23ff580a67 get rid of timeb dependencies, pull request #1040 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-23 12:16:43 -07:00
Nikolaj Bjorner
2834fea9b3 fix x64 warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-23 08:58:21 -07:00
Lev Nachmanson
1b62592015 change in a comment 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2017-05-18 13:44:00 -07:00
Nikolaj Bjorner
79a8e9aab0 fix build break #1029 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-18 12:09:51 -07:00
Nikolaj Bjorner
4069e76ab0 remove unused column function field, #1021 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-16 21:27:43 -07:00
Lev Nachmanson
07f2fd43bb Merge remote-tracking branch 'upstream/master' 2017-05-11 17:49:33 -07:00
Lev Nachmanson
d0d71a0907 allow more failures in d_solver 
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
 2017-05-11 17:49:27 -07:00
Nikolaj Bjorner
a9e2a1204e add this qualifier for build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-11 16:58:29 -07:00
Nikolaj Bjorner
7b35eacf63 add this qualifier for build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-11 16:52:54 -07:00
Nikolaj Bjorner
2ab0f281f3 add this qualifier for build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-11 16:50:39 -07:00
Nikolaj Bjorner
29a49f4427 convert static random fields to non-static 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-11 16:46:07 -07:00
Lev Nachmanson
cf8b35a6f3 fix init reorder warning 
Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
 2017-05-11 10:54:18 -07:00
Nikolaj Bjorner
431feab1bf fix build warnings part 8 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-11 09:37:01 -07:00
Nikolaj Bjorner
7e004fe331 fix build warnings part 7, disable LRA for regression t201.smt2 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-11 09:28:59 -07:00
Nikolaj Bjorner
49d2b86d35 fix build warnings part 6 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2017-05-11 08:57:17 -07:00
Nikolaj Bjorner
b9a695633d fix build issues part 4 2017-05-11 08:18:20 -07:00