Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
1,025 workflow runs
1,025 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add cases for new parameters for ts build WebAssembly Build #3472: Commit 6893e78 pushed by NikolajBjorner
January 22, 2025 19:59 17m 24s master
master
January 22, 2025 19:59 17m 24s
Expose PARAMETER_INTERNAL and PARAMETER_ZSTRING in case API users acc… WebAssembly Build #3471: Commit bd566f1 pushed by NikolajBjorner
January 22, 2025 19:46 28s master
master
January 22, 2025 19:46 28s
use cmake from PyPI only when system executable is not available (#7514) WebAssembly Build #3470: Commit fc9ff94 pushed by NikolajBjorner
January 21, 2025 22:39 17m 2s master
master
January 21, 2025 22:39 17m 2s
Bump docker/build-push-action from 6.10.0 to 6.12.0 (#7516) WebAssembly Build #3469: Commit 45ff1f4 pushed by NikolajBjorner
January 21, 2025 22:38 17m 8s master
master
January 21, 2025 22:38 17m 8s
move away from sets and into vectors for data associated with Boolean… WebAssembly Build #3468: Commit d944779 pushed by NikolajBjorner
January 21, 2025 22:30 16m 59s master
master
January 21, 2025 22:30 16m 59s
use vector instead of indexed uint set for Boolean var occurrences WebAssembly Build #3467: Commit 92ad285 pushed by NikolajBjorner
January 21, 2025 21:35 17m 17s master
master
January 21, 2025 21:35 17m 17s
don't store full use list of clauses to avoid space overhead WebAssembly Build #3466: Commit eebff13 pushed by NikolajBjorner
January 21, 2025 21:23 17m 16s master
master
January 21, 2025 21:23 17m 16s
use lifted bool WebAssembly Build #3465: Commit fb0eb02 pushed by NikolajBjorner
January 21, 2025 17:13 17m 3s master
master
January 21, 2025 17:13 17m 3s
Performance improvements for seq-sls (#7519) WebAssembly Build #3464: Commit 1553bae pushed by NikolajBjorner
January 21, 2025 16:02 18m 14s master
master
January 21, 2025 16:02 18m 14s
Performance improvements for seq-sls WebAssembly Build #3463: Pull request #7519 opened by CEisenhofer
January 21, 2025 13:38 17m 11s CEisenhofer:eis-sls7
CEisenhofer:eis-sls7
January 21, 2025 13:38 17m 11s
fix build breaks WebAssembly Build #3462: Commit 3cdcd83 pushed by NikolajBjorner
January 21, 2025 04:36 17m 6s master
master
January 21, 2025 04:36 17m 6s
fix #7517 WebAssembly Build #3461: Commit a3f7541 pushed by NikolajBjorner
January 21, 2025 03:04 17m 12s master
master
January 21, 2025 03:04 17m 12s
fix unit tests, add subsampling mode for false literals WebAssembly Build #3460: Commit fb58342 pushed by NikolajBjorner
January 21, 2025 01:35 17m 10s master
master
January 21, 2025 01:35 17m 10s
add clausal lookahead to arithmetic solver as part of portfolio WebAssembly Build #3459: Commit 22e4054 pushed by NikolajBjorner
January 21, 2025 00:16 16m 59s master
master
January 21, 2025 00:16 16m 59s
Bump docker/build-push-action from 6.10.0 to 6.12.0 WebAssembly Build #3458: Pull request #7516 opened by dependabot bot
January 20, 2025 22:30 16m 47s dependabot/github_actions/docker/build-push-action-6.12.0
dependabot/github_actions/docker/build-push-action-6.12.0
January 20, 2025 22:30 16m 47s
reset m_conflict indicator on sls model WebAssembly Build #3456: Commit a941f5a pushed by NikolajBjorner
January 16, 2025 04:56 17m 9s master
master
January 16, 2025 04:56 17m 9s
fix #7499 - add another way to avoid adding user-defined functions to… WebAssembly Build #3455: Commit 557c01a pushed by NikolajBjorner
January 16, 2025 03:52 16m 57s master
master
January 16, 2025 03:52 16m 57s
set lookahead mode to default WebAssembly Build #3454: Commit a5e1e7f pushed by NikolajBjorner
January 16, 2025 03:10 17m 3s master
master
January 16, 2025 03:10 17m 3s
add case for ite WebAssembly Build #3453: Commit 158dea5 pushed by NikolajBjorner
January 16, 2025 03:07 17m 2s master
master
January 16, 2025 03:07 17m 2s
add case for ite WebAssembly Build #3452: Commit eed3fa6 pushed by NikolajBjorner
January 16, 2025 02:54 11m 37s master
master
January 16, 2025 02:54 11m 37s
fix #7510 WebAssembly Build #3451: Commit 5365952 pushed by NikolajBjorner
January 15, 2025 21:12 21m 14s master
master
January 15, 2025 21:12 21m 14s
prepare update stack for Boolean lookaheads WebAssembly Build #3450: Commit a84130e pushed by NikolajBjorner
January 15, 2025 20:33 17m 15s master
master
January 15, 2025 20:33 17m 15s
throw exceptions where sls lacks support WebAssembly Build #3449: Commit 498c9a6 pushed by NikolajBjorner
January 15, 2025 19:20 16m 54s master
master
January 15, 2025 19:20 16m 54s
fix compiler warning WebAssembly Build #3448: Commit 878fd48 pushed by NikolajBjorner
January 15, 2025 00:38 17m 15s master
master
January 15, 2025 00:38 17m 15s
re-introduce option to dump arithmetic lemmas to std-out WebAssembly Build #3447: Commit 31d4ba0 pushed by NikolajBjorner
January 14, 2025 21:55 17m 4s master
master
January 14, 2025 21:55 17m 4s