mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
Code Activity
18242 commits 23 branches 48 tags 156 MiB
Commit graph

68 commits

Author SHA1 Message Date
dependabot[bot] a10c93e203
Bump docker/build-push-action from 5.0.0 to 5.1.0 (#7008) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 5.0.0 to 5.1.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v5.0.0...v5.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>
 2023-11-23 17:54:45 +01:00
dependabot[bot] f07c46a396
Bump actions/setup-node from 3 to 4 (#6961) 
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 3 to 4.
- [Release notes](https://github.com/actions/setup-node/releases)
- [Commits](https://github.com/actions/setup-node/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/setup-node
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-10-24 09:24:29 +01:00
dependabot[bot] 345d6ec8a5
Bump docker/login-action from 2 to 3 (#6911) 
Bumps [docker/login-action](https://github.com/docker/login-action) from 2 to 3.
- [Release notes](https://github.com/docker/login-action/releases)
- [Commits](https://github.com/docker/login-action/compare/v2...v3)

---
updated-dependencies:
- dependency-name: docker/login-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-09-18 17:49:00 -07:00
dependabot[bot] 17a38b7ae0
Bump docker/metadata-action from 4 to 5 (#6910) 
Bumps [docker/metadata-action](https://github.com/docker/metadata-action) from 4 to 5.
- [Release notes](https://github.com/docker/metadata-action/releases)
- [Upgrade guide](https://github.com/docker/metadata-action/blob/master/UPGRADE.md)
- [Commits](https://github.com/docker/metadata-action/compare/v4...v5)

---
updated-dependencies:
- dependency-name: docker/metadata-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-09-18 17:48:35 -07:00
dependabot[bot] 3b78c6318c
Bump docker/build-push-action from 4.2.1 to 5.0.0 (#6909) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 4.2.1 to 5.0.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v4.2.1...v5.0.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-09-18 17:48:16 -07:00
dependabot[bot] e718bb6473
Bump docker/build-push-action from 4.1.1 to 4.2.1 (#6896) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 4.1.1 to 4.2.1.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v4.1.1...v4.2.1)

---
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>
 2023-09-12 08:09:01 +01:00
dependabot[bot] 3aea4ebf42
Bump actions/checkout from 3 to 4 (#6888) 
Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-09-05 16:58:47 -07:00
dependabot[bot] 7c4d098f65
Bump docker/build-push-action from 4.0.0 to 4.1.1 (#6772) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 4.0.0 to 4.1.1.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v4.0.0...v4.1.1)

---
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>
 2023-06-24 10:20:56 +01:00
dependabot[bot] 151a62338c
Bump docker/build-push-action from 3.3.0 to 4.0.0 (#6562) 2023-02-01 12:13:09 +00:00
dependabot[bot] 6c9358ce41
Bump docker/build-push-action from 3.2.0 to 3.3.0 (#6540) 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 3.2.0 to 3.3.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v3.2.0...v3.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>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-01-24 13:22:41 -08:00
dependabot[bot] 8757778404
Bump mymindstorm/setup-emsdk from 11 to 12 (#6541) 
Bumps [mymindstorm/setup-emsdk](https://github.com/mymindstorm/setup-emsdk) from 11 to 12.
- [Release notes](https://github.com/mymindstorm/setup-emsdk/releases)
- [Commits](https://github.com/mymindstorm/setup-emsdk/compare/v11...v12)

---
updated-dependencies:
- dependency-name: mymindstorm/setup-emsdk
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-01-24 13:22:12 -08:00
Nikolaj Bjorner 6b60a3dbed fix syntax 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-12-11 14:06:08 -08:00
Nikolaj Bjorner 2520dcb04b merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2022-12-11 14:03:22 -08:00
dependabot[bot] f6d554118f
Bump docker/build-push-action from 3.1.1 to 3.2.0 (#6405) 2022-10-19 21:14:43 +01:00
Nikolaj Bjorner aadb1a2d44
Update msvc-static-build.yml 
move "permissions" to same location as wasm actions
 2022-09-24 09:56:45 -07:00
Nikolaj Bjorner b3c2169838
Update msvc-static-build.yml 2022-09-24 09:55:15 -07:00
gmh5225 b0d0c36b11
Add option 'MSVC_STATIC' (#6358) 
* Add option 'MSVC_STATIC'

* Update CMakeLists.txt

* Update CMakeLists.txt

* Upload msvc-static-build.yml
 2022-09-22 15:55:40 -05:00
Alex 00cf5ed4c7
GitHub Workflows security hardening (#6353) 
* build: harden wasm-release.yml permissions
Signed-off-by: Alex <aleksandrosansan@gmail.com>

* build: harden wasm.yml permissions
Signed-off-by: Alex <aleksandrosansan@gmail.com>
 2022-09-22 15:03:59 -05:00
Eric Kilmer ea8b118eb1
Android CI: Configure with CMAKE_ANDROID_API (#6284) 
CMAKE_ANDROID_API will set CMAKE_SYSTEM_VERSION if it's not defined.

Also remove setting CMake variable values that don't affect the ability
to successfully configure in CI.
 2022-08-19 11:02:26 -07:00
dependabot[bot] 681ed957d2 Bump docker/build-push-action from 3.1.0 to 3.1.1 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 3.1.0 to 3.1.1.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v3.1.0...v3.1.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-15 12:24:41 -07:00
dependabot[bot] 053c3ec9e8 Bump docker/build-push-action from 3.0.0 to 3.1.0 
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 3.0.0 to 3.1.0.
- [Release notes](https://github.com/docker/build-push-action/releases)
- [Commits](https://github.com/docker/build-push-action/compare/v3.0.0...v3.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>
 2022-08-02 09:27:27 +03:00
Eric Kilmer 44100a3a08
CI: Fix Android NDK home environment variable (#6198) 2022-07-28 05:07:18 +02:00
Nuno Lopes 63ea7bd569 Revert "Bump docker/build-push-action from 3.0.0 to 3.1.0 (#6192)" 
This reverts commit 32bb60ea01.
 2022-07-26 15:21:52 +01:00
dependabot[bot] 32bb60ea01
Bump docker/build-push-action from 3.0.0 to 3.1.0 (#6192) 2022-07-26 15:17:58 +01:00
Kevin Gibbons db09d38134
bump emscripten version used to build wasm artifact (#6136) 2022-07-05 12:39:43 -07:00
AndreiL 940d10ae6d
Update coverage CI (#6099) 
Ignore errors withing `gcov` when using `gcovr`, as per
https://github.com/gcovr/gcovr/issues/627.

Co-authored-by: Andrei Lascu <al2510@bencher14.nms.kcl.ac.uk>
 2022-06-20 11:38:38 -07:00
Olaf Tomalka 7fdcbbaee9
Add high level bindings for js (#6048) 
* [Draft] Added unfinished code for high level bindings for js

* * Rewrote structure of js api files
* Added more high level apis

* Minor fixes

* Fixed wasm github action

* Fix JS test

* Removed ContextOptions type

* * Added Ints to JS Api
* Added tests to JS Api

* Added run-time checks for contexts

* Removed default contexts

* Merged Context and createContext so that the api behaves the sames as in other constructors

* Added a test for Solver

* Added Reals

* Added classes for IntVals and RealVals

* Added abillity to specify logic for solver

* Try to make CI tests not fail

* Changed APIs after a round of review

* Fix test

* Added BitVectors

* Made sort into getter

* Added initial JS docs

* Added more coercible types

* Removed done TODOs
 2022-06-14 09:55:58 -07:00
dependabot[bot] a7b6f30b29
Bump docker/metadata-action from 3 to 4 (#6086) 2022-06-07 19:41:36 +01:00
dependabot[bot] c05c75c109
Bump docker/login-action from 1 to 2 (#6068) 2022-06-02 09:57:17 +01:00
dependabot[bot] f54e8e55de
Bump docker/build-push-action from 2.7.0 to 3.0.0 (#6069) 2022-06-02 09:57:00 +01:00
dependabot[bot] 96e317620c
Bump actions/setup-node from 2 to 3 (#6067) 2022-06-02 09:56:41 +01:00
dependabot[bot] 05c1d6d5d1
Bump actions/upload-artifact from 2 to 3 (#6065) 2022-06-02 09:16:02 +01:00
dependabot[bot] b8367247f5
Bump actions/checkout from 2 to 3 (#6066) 2022-06-02 09:14:08 +01:00
Naveen 8384c321fc
chore: Set permissions for GitHub actions (#6063) 
Restrict the GitHub token permissions only to the required ones; this way, even if the attackers will succeed in compromising your workflow, they won’t be able to do much.

- Included permissions for the action. https://github.com/ossf/scorecard/blob/main/docs/checks.md#token-permissions

https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions

https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs

[Keeping your GitHub Actions and workflows secure Part 1: Preventing pwn requests](https://securitylab.github.com/research/github-actions-preventing-pwn-requests/)

Signed-off-by: naveen <172697+naveensrinivasan@users.noreply.github.com>
 2022-06-01 20:02:45 -07:00
Naveen b81b771055
chore: Included githubactions in the dependabot config (#6064) 
This should help with keeping the GitHub actions updated on new releases. This will also help with keeping it secure.

Dependabot helps in keeping the supply chain secure https://docs.github.com/en/code-security/dependabot

GitHub actions up to date https://docs.github.com/en/code-security/dependabot/working-with-dependabot/keeping-your-actions-up-to-date-with-dependabot

https://github.com/ossf/scorecard/blob/main/docs/checks.md#dependency-update-tool
Signed-off-by: naveen <172697+naveensrinivasan@users.noreply.github.com>
 2022-06-01 20:02:30 -07:00
Kevin Gibbons dc18b47967
automatically release wasm build (#5997) 2022-04-24 18:06:36 +01:00
Nikolaj Bjorner 6c4780a845
Update cross-build.yml 2022-03-16 07:32:05 -07:00
Han Gao 3d87d86c28
github action: add riscv64/aarch64/powerpc64 cross compile (#5897) 
* github action: add riscv64/aarch64/powerpc64 cross compile

Signed-off-by: Han Gao <rabenda.cn@gmail.com>

* fix: build on non-x86 platform

Signed-off-by: Revy <rabenda.cn@gmail.com>
 2022-03-16 07:30:20 -07:00
Kevin Gibbons 2b934b601d
Add WebAssembly/TypeScript bindings (#5762) 
* Add TypeScript bindings

* mark Z3_eval_smtlib2_string as async
 2022-01-09 17:16:38 -08:00
Nikolaj Bjorner 010bccf353
Update wasm.yml 
add some more limited retention
 2022-01-09 11:35:50 -08:00
Nikolaj Bjorner ec3e296050
Update docker-image.yml (#5739) 
* Update docker-image.yml

towards tweaking script to use ghcr

* Update docker-image.yml

* Update docker-image.yml

* Update docker-image.yml

change usr/pwd to names that are more descriptive

* Update docker-image.yml

rename back to use DOCKER prefix
it remains to bind to ghcr.io instead of docker.io

* Update ubuntu-20-04.Dockerfile

try to use ghcr instead of docker.io

* Update docker-image.yml

try with chcr token

* Update docker-image.yml

* Update docker-image.yml

* Update docker-image.yml

* Update ubuntu-20-04.Dockerfile

* Update docker-image.yml
 2021-12-25 17:33:35 -08:00
Nikolaj Bjorner 6b0dc6d144
Create docker-image.yml 
thanks #5735
 2021-12-23 14:43:12 -08:00
Nikolaj Bjorner a11ca1a1b7
Update wasm.yml 2021-10-29 17:51:20 +02:00
Nikolaj Bjorner 933bb4f1f0
Update wasm.yml 2021-10-29 17:03:04 +02:00
Nikolaj Bjorner dfba177813
Update wasm.yml 2021-10-29 17:02:15 +02:00
Nikolaj Bjorner f61e6abb35
Update wasm.yml 2021-10-29 16:10:40 +02:00
Nikolaj Bjorner f83226df9c
Update wasm.yml 2021-10-29 16:07:04 +02:00
Nikolaj Bjorner fe0e1cce30
Update wasm.yml 2021-10-29 16:03:22 +02:00
Leonardo e7a54db8b0
Use emscripten to create a wasm build (#5634) 2021-10-29 16:01:06 +02:00
Nikolaj Bjorner 780761a29e
Create wasm.yml 
initial wasm
 2021-10-29 15:27:49 +02:00