mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00
Code Activity
18631 commits 22 branches 48 tags 156 MiB
Commit graph

18631 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner f9ce332b54 update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-07 09:15:34 -08:00
Nikolaj Bjorner 6254844e2d update release notes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-07 09:14:44 -08:00
Steven Moy 7b7084d373
Add LinuxBuildsArm64 to python wheels in release (#7155) 2024-03-07 09:11:47 -08:00
Steven Moy e873664fe8
Downgrade arm cross compile toolchain to glibc 2.34 (#7153) 2024-03-06 20:14:06 -08:00
Nikolaj Bjorner 364da19122 remove test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-06 13:54:28 -08:00
Nikolaj Bjorner 620efbb67b add aacrhc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-06 13:53:47 -08:00
Steven Moy aad8cbdd9d
Add LinuxBuildsArm64 ci azure-pipelines for testing (#7152) 2024-03-06 13:21:17 -08:00
Steven Moy 017367d7af
Handle cross compile within manylinux (#7150) 2024-03-06 08:27:04 -08:00
Steven Moy e8c8d8aa7d
Put in workaround to rename manylinux_arm64 to manylinux_aarch64 (#7149) 2024-03-05 13:38:12 -08:00
Nikolaj Bjorner d6f522e205 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 531bda39ac fix alias bug 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 657aaf9a0f na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 8679c08010 fix test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 22616da63b updates 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 5be8872d6a na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner dfd5c27fec na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 803f0f0c65 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 5455603910 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 9888d87294 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner f46c3782d6 bugfixes 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner d774f07eb3 add eval field to sls-valuation to track temporary values. 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 8f139e862c updates to multiplication 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 2590d672f4 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 58474df438 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:31 -08:00
Nikolaj Bjorner 0e5b504c30 remove bw setting 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner a328366c7d move to single path mode for search 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 8f85df05ed fb 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner c451e4e50b na 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 63804c5296 na 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 74e73f2b84 reorg to use datatypes 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 48026edd7f move to hide bits 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner acc9c21653 move to hide bits 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner cfa6bd4534 update python build dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 5379fabf9d include thread 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner b14499f230 prepare for sls experiment 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner cf72a916f8 bugfixes, adding plugin solver 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 659e384ee7 bugfixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner cd6382f1c8 fix alias bug 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 9cde4f7e05 bugfixes 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner d7e419b7ed fixes and checks 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner ab0459e5aa bugfixes 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 7dc4ce8259 use tuned gcd to compute mult inverse 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 4391c90960 na 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 991537836b fixes based on unit tests 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 046db662f9 na 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 388b2f5eec n/a 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner ddf2d28350 add tests for evaluation 2024-03-05 12:28:30 -08:00
Nikolaj Bjorner 1cf008dd0a updates 2024-03-05 12:28:29 -08:00
Nikolaj Bjorner bd323d6fab save 2024-03-05 12:28:29 -08:00
Nikolaj Bjorner f39756c74b initial stab at new bv-sls based on repair actions 2024-03-05 12:28:29 -08:00