mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity
17047 commits 23 branches 48 tags 157 MiB
Commit graph

15 commits

Author SHA1 Message Date
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
Kevin Gibbons db09d38134
bump emscripten version used to build wasm artifact (#6136) 2022-07-05 12:39:43 -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] 96e317620c
Bump actions/setup-node from 2 to 3 (#6067) 2022-06-02 09:56:41 +01:00
dependabot[bot] b8367247f5
Bump actions/checkout from 2 to 3 (#6066) 2022-06-02 09:14:08 +01: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 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