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

146 commits

Author SHA1 Message Date
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
Jamie Collinson 88c3119d8d
Create android-build.yml (#5588) 2021-10-11 09:24:41 -07:00
0152la 3516c5272a
Update coverage github action (#5483) 
* Correctly emits simple and detailed coverage reports using a
  combination of `gcovr` and `llvm-cov gcov`
* Uploads the reports as associated artifacts, with 4 days of retention
* Executes on every `master` push, and daily at 11 UTC

Co-authored-by: Andrei Lascu <andrei.lascu10@imperial.ac.uk>
 2021-08-16 14:13:28 -07:00
Nikolaj Bjorner 7f6f7eff1e
Update coverage.yml 2021-08-02 13:45:17 -07:00
0152la fcb55257be
Improve coverage CI script (#5451) 
* Due to the long duration of the CI execution, execute it at a set time
  daily (currently 11 UTC / 4 PDT)
* Use `Ninja` to build instead of Makefile, due to better compilation
  time
* Execute all the available Z3 tests and examples: `test-z3 -a`,
  `z3test` regression suites (`smt2`, `smt2-debug`, and `smt2-extra`),
  `z3test` coverage tests, and the 4 provided examples
* Upload `gcovr` report as an artifact associated with the CI run

TODOs:
* Fix `gcovr` emitting an empty report
* Potentially take the artifact and upload it somewhere accessible

Co-authored-by: Andrei Lascu <andrei.lascu10@imperial.ac.uk>
 2021-08-02 12:01:41 -07:00
Nikolaj Bjorner e148eea35d
Update wip.yml 2021-07-31 18:54:37 -07:00
Nikolaj Bjorner f5a08cc54e add wip 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-31 17:57:36 -07:00
Nikolaj Bjorner ada873631e
Update coverage.yml 2021-07-31 14:56:20 -07:00
Nikolaj Bjorner 84e628cf74
Update coverage.yml 2021-07-31 13:49:37 -07:00
Nikolaj Bjorner 173257b4a0
Update coverage.yml 2021-07-31 13:15:11 -07:00
Nikolaj Bjorner efa82fa4f0
Update coverage.yml 2021-07-31 13:13:22 -07:00
Nikolaj Bjorner 42b3254c46
Update coverage.yml 2021-07-31 12:36:32 -07:00
Nikolaj Bjorner f17131fd06
Update coverage.yml 2021-07-31 12:01:39 -07:00
Nikolaj Bjorner 8f36287229
Update coverage.yml 2021-07-31 12:00:15 -07:00
Nikolaj Bjorner 2046907aaa
Update coverage.yml 2021-07-31 11:57:03 -07:00
Nikolaj Bjorner 07283ddea9
Update coverage.yml 2021-07-31 11:53:30 -07:00
Nikolaj Bjorner a2bd1d8fa2
Update coverage.yml 2021-07-31 11:51:00 -07:00
Nikolaj Bjorner 8b887cb0b8
Update coverage.yml 2021-07-31 11:46:26 -07:00
Nikolaj Bjorner f6d6d2cc2d
Create coverage.yml 
Move coverage to self-contained github action
 2021-07-31 11:03:14 -07:00