mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 03:32:28 +00:00
Code Activity
19751 commits 49 branches 53 tags 182 MiB
Commit graph

19751 commits

This branch
This branch
All branches
Author SHA1 Message Date
Peli de Halleux
24d7b05c0d
refactor and optimize git operations for commit messages and failure analysis (#7412) 2024-10-04 16:55:00 -07:00
Nikolaj Bjorner
2ae4ac8d0a fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-04 08:38:52 -07:00
Nikolaj Bjorner
b60e1a2ed2 fixup variables 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-03 20:06:45 -07:00
Nikolaj Bjorner
969511ac00 fixup std-order / inv-order 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-03 19:35:16 -07:00
Nikolaj Bjorner
66bb310966 reset before manager is deallocated 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-03 18:19:14 -07:00
Nikolaj Bjorner
a98c925069 optimize var_subst 2024-10-03 18:14:47 -07:00
Nikolaj Bjorner
f5db6bf92b install Julia for macos build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-03 12:48:15 -07:00
Nikolaj Bjorner
e58eb9f302 fix indentation for mbp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-03 12:47:12 -07:00
Nuno Lopes
3586b613f7 remove default destructors 2024-10-02 22:20:12 +01:00
Nikolaj Bjorner
b170f10148 reorder template definition 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-02 13:41:02 -07:00
dependabot[bot]
6dec943b29
Bump docker/build-push-action from 6.7.0 to 6.9.0 (#7408) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.7.0 to 6.9.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6.7.0...v6.9.0)

---
updated-dependencies:
- dependency-name: docker/build-push-action
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2024-10-02 13:23:39 -07:00
Nikolaj Bjorner
d686e92bfa disambiguate 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-02 10:45:16 -07:00
Nikolaj Bjorner
93ff89bf98 add == for const_ref and ref to disambiguate equality. 2024-10-02 10:45:16 -07:00
Nikolaj Bjorner
c7af97364a fixes for #7402 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-10-01 15:15:47 -07:00
Nikolaj Bjorner
328616b8b2 fix build warnings 2024-09-30 17:25:19 -07:00
Nikolaj Bjorner
8c39863019 fix typo in arch for setup.py 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 16:17:40 -07:00
Nikolaj Bjorner
4cefc513eb add sequoia to os versions #7407 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 16:05:53 -07:00
Nikolaj Bjorner
19f63cd6e3 add sequoia to os versions #7407 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 15:57:49 -07:00
Nikolaj Bjorner
86b97186b0 fix build warnings 2024-09-30 15:51:48 -07:00
Nikolaj Bjorner
551cc53a2f fix un-intialized variable warnings 2024-09-30 15:08:33 -07:00
Nikolaj Bjorner
2c94a3a1b3 fix build warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 13:09:01 -07:00
Nikolaj Bjorner
7da58b9e84 fix build warnings 2024-09-30 10:34:26 -07:00
Nikolaj Bjorner
30b4fe69e4 2nd attempt to use uniform java library location under bin #7406 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 10:05:09 -07:00
Nikolaj Bjorner
b65afd41ed attempt to use uniform java library location under bin #7406 2024-09-30 08:58:21 -07:00
Nikolaj Bjorner
5413018d86 Update euf_ac_plugin.cpp 2024-09-30 08:43:17 -07:00
Nikolaj Bjorner
826835fd7c fixes to build warnings 2024-09-30 08:23:31 -07:00
Nikolaj Bjorner
2ac6f8bb06 increment minor revision number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 07:28:20 -07:00
Nikolaj Bjorner
c2b2626e9b remove --java option 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 07:27:15 -07:00
Nikolaj Bjorner
2123d38371 Update nightly.yaml for Azure Pipelines 2024-09-30 04:16:29 +01:00
Nikolaj Bjorner
fc1c6b48ce try to build java on linux/arm nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-30 04:14:12 +01:00
Nikolaj Bjorner
9a8ff74924 update version number and release notes 2024-09-27 17:49:05 +01:00
Nikolaj Bjorner
11bb19d99b make default tactic cases lazy 2024-09-27 15:11:43 +01:00
Nikolaj Bjorner
40b0210dda fixes to lazy tactic uses 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-27 14:33:09 +01:00
Nikolaj Bjorner
01cf0427b4 fix #7404, relates to #7400. 2024-09-27 11:36:10 +01:00
Nikolaj Bjorner
d047b86439 pypi publish 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 21:35:28 +01:00
Nikolaj Bjorner
f4452a0348 pypi publish 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 21:34:55 +01:00
Nikolaj Bjorner
3df7299d1e update signature of operator== 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 14:47:51 +01:00
Nikolaj Bjorner
649c36aa03 align nightly and release yamls 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 13:59:17 +01:00
Nikolaj Bjorner
8d831a1adf set to macos latest 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 11:22:18 +01:00
Nikolaj Bjorner
b39bcd6a42 remove ubuntu20 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 11:20:54 +01:00
Nikolaj Bjorner
ebdb0374ec fix indent 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 11:01:59 +01:00
Nikolaj Bjorner
c690279912 skip pypi publish during dry run 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-26 10:03:02 +01:00
Kevin Gibbons
77aa5280df
wasm: increase timeout in tests (#7401) 2024-09-25 18:33:14 +01:00
Kevin Gibbons
103c5ad71c
wasm: attempt to GC in tests (#7400) 2024-09-25 15:53:36 +01:00
Nikolaj Bjorner
82eb18674b remove ubuntu build 20 from nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-25 10:40:03 +01:00
Nikolaj Bjorner
eb5d036786 fix #7392 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-25 10:21:54 +01:00
Nikolaj Bjorner
2655301afc comment out simple proofs unit test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-24 23:01:12 +01:00
Páll Haraldsson
8b81bda469
Julia now used the C API. (#7388) 2024-09-24 15:17:11 +01:00
Páll Haraldsson
994056f347
C API now used by Julia. (#7387) 
See: https://github.com/ahumenberger/Z3.jl/releases/tag/v1.0.0
 2024-09-24 15:17:00 +01:00
Nikolaj Bjorner
716a815ce1 update lock file 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-09-24 11:29:35 +01:00