mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-20 02:00:22 +00:00
Code Activity
19888 commits 57 branches 52 tags 176 MiB
Commit graph

5 commits

Author SHA1 Message Date
Nikolaj Bjorner
4542fc0b3b update version number to 4.15.4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-17 17:09:56 -07:00
Nikolaj Bjorner
2f2289eaff update minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-06-25 09:14:13 -07:00
Nikolaj Bjorner
e1661759db update version to 4.15.2 2025-06-10 15:55:54 -07:00
Nikhil Idiculla
bcedb66911
Expose z3_static target for Bazel build (#7660) 2025-06-03 11:51:18 +02:00
Steffen Smolka
0b26f7e0ee
Add support for building Z3 using Bazel. (#7646) 
Signed-off-by: Steffen Smolka <smolkaj@google.com>
 2025-05-15 08:47:29 -07:00