mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity
19051 commits 49 branches 53 tags 182 MiB
Commit graph

19051 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner
d0a59f3740 intblast with lazy expansion of shl, ashr, lshr 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-16 15:12:57 -08:00
Bruce Mitchener
50e0fd3ba6
Use noexcept more. (#7058) 2023-12-16 12:14:53 +00:00
Nikolaj Bjorner
b44ab2f620 add rewriters for and 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-15 14:55:02 -08:00
Nikolaj Bjorner
4778f27b46 revert to standard solver 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-15 14:33:23 -08:00
Nikolaj Bjorner
9293923b8a Add intblast solver 2023-12-15 13:50:38 -08:00
Nikolaj Bjorner
0520558fc0 port updated pdd from polysat 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-15 08:54:03 -08:00
Christoph M. Wintersteiger
2e83352d42
Fix bug in fp.round_to_integral (#7060) 2023-12-15 08:34:27 -08:00
Bruce Mitchener
e90a844508
Use override more. (#7059) 2023-12-15 08:44:57 +00:00
Lev Nachmanson
f6e69d43a3 Merge branch 'master' of https://github.com/z3prover/z3 2023-12-14 08:21:21 -10:00
Christoph M. Wintersteiger
a2b490baa6
Disable Python compilation cache during build (#7057) 
* Disable Python compilation cache during build

* More pythonic check for none
 2023-12-14 07:26:52 -08:00
Nikolaj Bjorner
7c2e4f2f9c fiddle with what gets added to win-arm64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-13 20:43:17 -08:00
Nikolaj Bjorner
f7d9a5ba93
Revert "Disable Python compilation cache during build (#7052)" (#7054) 
This reverts commit 8293be859f.
 2023-12-13 19:32:00 -08:00
Nikolaj Bjorner
b40e3015ef fix #7053 2023-12-13 19:25:18 -08:00
Nikolaj Bjorner
c20b8cb978 nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-13 18:46:20 -08:00
Nikolaj Bjorner
995b40865b remove readme reference, add arm64 build to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-13 18:44:11 -08:00
Christoph M. Wintersteiger
8293be859f
Disable Python compilation cache during build (#7052) 
* Disable Python compilation cache during build

* Fix var name
 2023-12-13 18:05:33 -08:00
Bruce Mitchener
3ebec56880
tptr.h: Include <cstdint> once rather than twice. (#7051) 2023-12-13 09:36:41 -08:00
Lev Nachmanson
536f4f84bb Merge branch 'master' of https://github.com/z3prover/z3 2023-12-12 15:23:43 -10:00
Nikolaj Bjorner
0f4e96ac5d fix character 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 20:50:32 -08:00
Nikolaj Bjorner
5fc039d6ea nuget spec: does this work? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 12:33:29 -08:00
Nikolaj Bjorner
5732c3c980 add readme under content 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 11:11:37 -08:00
Nikolaj Bjorner
91837c3aee try adding readme again 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-10 10:22:41 -08:00
Nikolaj Bjorner
70d4f32ffd port updates from poly/polysat 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-09 13:00:43 -08:00
Nikolaj Bjorner
e580c384b8 import updates to rational from polysat 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-09 12:46:06 -08:00
Nikolaj Bjorner
575538d325 follow error message to put dependencies in setup args 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-08 18:38:29 -08:00
Nikolaj Bjorner
4123405d17 add version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-08 15:50:09 -08:00
Nikolaj Bjorner
6282f40255 try add name to project 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-08 14:57:45 -08:00
Nikolaj Bjorner
7e716f7cfe try fix suggested in #7041 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-08 13:12:05 -08:00
Nikolaj Bjorner
8e26c2af17 fix #7049 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-08 13:05:21 -08:00
Nikolaj Bjorner
6cd619d377 kludge to fixup osver in python for Mac 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-08 11:39:55 -08:00
Nikolaj Bjorner
4d1d067d42 fix divergence reported by Guido Martinez 2023-12-07 13:34:35 -08:00
Nikolaj Bjorner
6afed0819c update minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-06 07:13:07 -08:00
Nikolaj Bjorner
dce2f3d88f add release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-06 07:10:56 -08:00
Nikolaj Bjorner
b3ef74c86d remove readme for dist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 18:50:23 -08:00
Nikolaj Bjorner
fc3a7655a5 try to put readme in root 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 18:06:17 -08:00
Nikolaj Bjorner
2c8d33851a add README path to mk_nuget_task 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 16:38:35 -08:00
Nikolaj Bjorner
8111d879cd add README path to mk_nuget_task 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 16:37:48 -08:00
Nikolaj Bjorner
1fde3e9fb8 update release 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 16:16:27 -08:00
Nikolaj Bjorner
1d6616afac make var-queue a template 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 15:41:35 -08:00
Nikolaj Bjorner
156426a0cf use / for package path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 15:10:13 -08:00
Nikolaj Bjorner
111ce01702 update path reference to readme 2023-12-05 13:47:05 -08:00
Nikolaj Bjorner
d566eb3df7 include readme in package 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 13:04:25 -08:00
Nikolaj Bjorner
76c05f171a specify a readme file with the nuget package 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 12:32:30 -08:00
Nikolaj Bjorner
426d7f5810 remove reference to readme in nuget task 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 12:11:29 -08:00
Asger Hautop Drewsen
a9513c1998
Improve BoolRef addition (#7045) 2023-12-05 09:12:25 -08:00
NikolajBjorner
7c81ee0890 fix case of README.md in nuget 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 09:02:08 -08:00
NikolajBjorner
669f665f24 update release pipeline 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 08:19:20 -08:00
NikolajBjorner
aa2e54c5a4 update release pipeline 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 08:18:33 -08:00
NikolajBjorner
23fcb4376f readme 
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
 2023-12-05 08:03:28 -08:00
NikolajBjorner
f5ae8c324c make a readme file 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2023-12-05 08:01:59 -08:00