mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 01:54:08 +00:00
Code Activity
11533 commits 23 branches 48 tags 156 MiB
Commit graph

11533 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner 3669543553 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 23:06:48 -08:00
Nikolaj Bjorner 429fc7c408 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 23:02:44 -08:00
Nikolaj Bjorner 2673235dc3 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 22:55:37 -08:00
Nikolaj Bjorner f7a6f3fa28 fix #2718 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 22:40:33 -08:00
Nikolaj Bjorner c7248a65e4 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 22:31:45 -08:00
Nikolaj Bjorner dc4adcb147 doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 21:51:28 -08:00
Nikolaj Bjorner 4522e7a97a rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 21:39:11 -08:00
Nikolaj Bjorner 53a01a07bd rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 21:32:35 -08:00
Nikolaj Bjorner 48554f0fb6 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 21:07:12 -08:00
Nikolaj Bjorner b50f8508f2 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 20:50:53 -08:00
Nikolaj Bjorner e9d9792524 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 20:39:04 -08:00
Nikolaj Bjorner 3ab9a1c88c remove deprecated USE_OPENMP, rename API_LOG_SYNC to Z3_API_LOG_SYNC (tiny part of #2709) 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 20:24:29 -08:00
Nikolaj Bjorner 3729458d14 enable pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 19:20:15 -08:00
Nikolaj Bjorner dde8da853e fix bug introduced when fixing #2721 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 13:55:55 -08:00
Nikolaj Bjorner 9b72b60949 block unsound itos solutions. #2721 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 13:44:12 -08:00
Nikolaj Bjorner 29e1fb67d2 fix #2720, unsound preprocessing in elim_uncnstr_tactic where datatype properties of eliminated subterms is forgotten 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 13:34:45 -08:00
Nikolaj Bjorner 05ad90c976 fix for null symbol #2712 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 12:55:24 -08:00
Andrew Helwer 37382d22c4 Updated references to Z3 icon 2019-11-18 12:24:39 -08:00
Andrew Helwer dd4905e377 Publishing SNK file private key for reproducible builds 2019-11-18 12:24:39 -08:00
Nikolaj Bjorner 215edcf888 fix; disable rewrite. fix #2715 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 12:23:03 -08:00
Nikolaj Bjorner fe0b3d6648 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 12:03:59 -08:00
Nikolaj Bjorner 3c6dceae7c fix #2717 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 12:03:59 -08:00
Nikolaj Bjorner d95b549ff8 fix #2707 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-16 17:47:29 -08:00
Nuno Lopes f0b8da42ad typo 2019-11-16 19:27:10 +00:00
Nikolaj Bjorner 2bf595cb8f update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-16 10:21:06 -08:00
Nikolaj Bjorner cbac860387 fix #2706 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-16 09:06:58 -08:00
Nuno Lopes b9bc6975e9 fix crash in BV internalizer due to unknown bv_neg symbol 2019-11-16 16:24:24 +00:00
Nikolaj Bjorner cb600a9329 consolidate model.compact and model_compress #2704 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-15 11:07:08 -08:00
Nikolaj Bjorner 1a9dfc5e80 inherit weights 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-14 09:32:55 -08:00
Nikolaj Bjorner 784e2721dd print weight if it is different from default #2667 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-13 19:24:59 -08:00
Nikolaj Bjorner 5f90e72d85 ensure generation is increased #2667 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-13 19:18:54 -08:00
Nikolaj Bjorner 12819640b7 fix E instantiation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-11 17:10:47 -08:00
Nikolaj Bjorner 74cfcc4730 clang warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-11 07:19:20 -08:00
Nikolaj Bjorner 20598e3bd2 address clang warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-11 07:16:46 -08:00
Nikolaj Bjorner 0c1b68b598 remove unused variable 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-11 07:13:04 -08:00
Nikolaj Bjorner c73a87c19c remove assert 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-11 07:11:52 -08:00
Nikolaj Bjorner 779183da06 fixing smtfd 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-10 18:23:32 -08:00
Nikolaj Bjorner d23230ec15 fix declaration sorts of auxiliary functions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-10 18:23:32 -08:00
Nikolaj Bjorner dd827cae1c remove IS_GNU 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-08 14:49:35 -08:00
Nikolaj Bjorner 4fabaf95aa remove deprecated and bind1st and unused warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-08 13:26:50 -08:00
Nikolaj Bjorner 984db3047b deal with warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-08 13:18:56 -08:00
Nikolaj Bjorner 4527a99f64 fix #2675 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-08 11:05:49 +01:00
Nikolaj Bjorner 1fec4bbe94 fix output 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-07 18:17:06 +01:00
Nikolaj Bjorner 0a8b924481 remove print 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-07 10:17:35 +01:00
Nikolaj Bjorner b76dee7a7a na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-06 18:47:06 +01:00
Nikolaj Bjorner 1e0c1cefd6 add definitions for under-specified cases of arithmetic operators #2663 #2676 #2679 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-06 18:24:22 +01:00
Nikolaj Bjorner 6cf7d8e523 adding div0 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-06 11:23:19 +01:00
Nikolaj Bjorner 1048abfd9f
Merge pull request #2683 from fpoli/fix-static-linking 
Link pthread using the --whole-archive option
 2019-11-06 11:22:52 +01:00
Nikolaj Bjorner ac60269c3e
Merge branch 'master' into fix-static-linking 2019-11-06 11:22:28 +01:00
Federico Poli 7eb6731ac2 Link pthread with --whole-archive option on Linux 
This fixes a SIGSEGV on Ubuntu 16.04 when running z3 compiled with `--staticbin` (issue #2457). It seems that without the --whole-archive option the linker does not statically link all pthread symbols.

The fix is described here: https://stackoverflow.com/a/45271521/2491528
 2019-11-06 11:18:32 +01:00