mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 08:35:31 +00:00
Code Activity
18770 commits 23 branches 48 tags 157 MiB
Commit graph

18770 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner
988a46dbc4 fix division by 0 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-21 17:32:58 -07:00
Nikolaj Bjorner
f6dd6a38cd update 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-20 11:51:52 -07:00
Nikolaj Bjorner
8b281b625e updates 2024-08-19 16:04:28 -07:00
Nikolaj Bjorner
de8faa231f fixes to ite and other 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-16 16:48:12 -07:00
Nikolaj Bjorner
98f4b5103e refactor basic plugin and clause generation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-15 14:04:03 -07:00
Nikolaj Bjorner
438389771d fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-14 16:20:24 -07:00
Nikolaj Bjorner
7d765ddb6b fixes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-14 15:55:30 -07:00
Nikolaj Bjorner
4978f5a9ac fixes 2024-08-13 21:38:38 -07:00
Nikolaj Bjorner
74c6eafde4 Update sls_test.cpp 2024-08-13 15:20:44 -07:00
Nikolaj Bjorner
afef727b88 bug fixes 2024-08-13 14:50:17 -07:00
Nikolaj Bjorner
920c207a27 fix typo 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-08-12 19:23:11 -07:00
Nikolaj Bjorner
849385c6a1 bugfixes in sls-arith 2024-08-12 17:42:52 -07:00
Nikolaj Bjorner
8dac67d713 evolve sls arith 2024-08-06 15:07:29 -07:00
Nikolaj Bjorner
fce21981c6 fixes to sls 2024-07-27 03:29:54 +02:00
Nikolaj Bjorner
5e62984178 updates to repair logic, mainly arithmetic 2024-07-21 21:03:14 -07:00
Nikolaj Bjorner
5b0d49cd76 testing / debugging arithmetic 2024-07-19 11:31:43 -07:00
Nikolaj Bjorner
ae55d30961 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 22:26:18 -07:00
Nikolaj Bjorner
6bd2a39fb7 fixes and rename sls-cc to sls-euf-plugin 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 21:45:30 -07:00
Nikolaj Bjorner
5767dfac49 fix build of unit test 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 19:39:59 -07:00
Nikolaj Bjorner
c7f67f9a72 remove stale files 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 17:17:39 -07:00
Nikolaj Bjorner
cc208394c3 remove shared attribute 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 14:46:55 -07:00
Nikolaj Bjorner
04ad63c732 fix unit test build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 14:45:36 -07:00
Nikolaj Bjorner
428361b22e merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 14:45:03 -07:00
dependabot[bot]
40a01d7a36 Bump docker/build-push-action from 6.2.0 to 6.3.0 (#7280) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.2.0 to 6.3.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6.2.0...v6.3.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-07-15 14:24:22 -07:00
LiviaSun
265ca2f525 add new ema invariant (#7288) 2024-07-15 14:24:22 -07:00
Nikolaj Bjorner
d24cf68a54 kludge to address #7232, probably superseeded by planned revision to setup/pypi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 14:24:22 -07:00
Nikolaj Bjorner
fd95a0c90c fix #7268 2024-07-15 14:24:22 -07:00
Nikolaj Bjorner
6bd9ea5006 remove macro distinction #7270 2024-07-15 14:24:22 -07:00
Lev Nachmanson
baaad3ae94 trigger the build with a comment change 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2024-07-15 14:24:22 -07:00
Sergey Bronnikov
0961ebb192 Fix a comment for Z3_solver_from_string (#7271) 
Z3_solver_from_string accepts a string buffer with solver
assertions, not a string buffer with filename.
 2024-07-15 14:24:22 -07:00
dependabot[bot]
36686ef31a Bump docker/build-push-action from 6.1.0 to 6.2.0 (#7269) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.1.0 to 6.2.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6.1.0...v6.2.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-07-15 14:24:22 -07:00
Nikolaj Bjorner
962e04ba7f set clean shutdown for local search and re-enable local search when it parallelizes with PB solver 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 14:24:22 -07:00
dependabot[bot]
6168402920 Bump docker/build-push-action from 6.0.0 to 6.1.0 (#7265) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.0.0 to 6.1.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v6.0.0...v6.1.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-07-15 14:24:22 -07:00
Nikolaj Bjorner
706e6291e3 fix compiler errors for gcc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 12:17:10 -07:00
Nikolaj Bjorner
5f4ca8c6fc use template<> syntax 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 11:11:37 -07:00
Nikolaj Bjorner
ff104c4b13 move definitions to cpp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 11:09:59 -07:00
Nikolaj Bjorner
5a9161ed7b use portable ptr-initializer 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 11:00:33 -07:00
Nikolaj Bjorner
f00f92c3b2 updated dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-15 09:45:01 -07:00
Nikolaj Bjorner
16c8836f50 updated dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-14 21:40:07 -07:00
Nikolaj Bjorner
402fdf667d bv updates 2024-07-14 19:34:24 -07:00
Nikolaj Bjorner
1cd95e9db4 add sls-sms solver 2024-07-14 16:51:06 -07:00
Nikolaj Bjorner
586343ce64 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2024-07-14 15:38:56 -07:00
Nikolaj Bjorner
8357ac1cfc adding basic plugin 2024-07-09 19:47:58 -07:00
Nikolaj Bjorner
ef54feec3d porting bv-sls 2024-07-08 13:16:28 -07:00
Nikolaj Bjorner
e7104ebb93 move sat_ddfw to sls, initiate sls-bv-plugin 2024-07-06 20:14:44 -07:00
Nikolaj Bjorner
833f524887 move sat_params to params directory, add op_def repair options 2024-07-06 13:26:39 -07:00
Nikolaj Bjorner
3ff60a4af0 split into base and plugin 2024-07-05 20:09:46 -07:00
Nikolaj Bjorner
52533130f9 na 2024-07-05 19:43:31 -07:00
Nikolaj Bjorner
3e57a9ce1e sls 2024-07-05 17:03:00 -07:00
Nikolaj Bjorner
5ebcc3e447 reorg sls 2024-07-05 16:16:01 -07:00