Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
519 workflow run results
519 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/upload-artifact from 3 to 4 WebAssembly Build #2559: Pull request #7065 opened by dependabot bot
December 18, 2023 22:16 11m 42s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 18, 2023 22:16 11m 42s
fix typos WebAssembly Build #2558: Commit 6d23847 pushed by NikolajBjorner
December 18, 2023 17:33 11m 28s master
master
December 18, 2023 17:33 11m 28s
port Jakob's update to bv_internalize WebAssembly Build #2557: Commit d008dbe pushed by NikolajBjorner
December 18, 2023 17:32 11m 15s master
master
December 18, 2023 17:32 11m 15s
port Jakob's update to union_find from polysat branch WebAssembly Build #2556: Commit 085b5e2 pushed by NikolajBjorner
December 18, 2023 17:26 11m 32s master
master
December 18, 2023 17:26 11m 32s
Merge shared parts from polysat branch WebAssembly Build #2555: Pull request #7063 synchronize by JakobR
December 18, 2023 11:32 11m 39s JakobR:polysat-backports
JakobR:polysat-backports
December 18, 2023 11:32 11m 39s
Merge shared parts from polysat branch WebAssembly Build #2554: Pull request #7063 opened by JakobR
December 18, 2023 11:14 11m 21s JakobR:polysat-backports
JakobR:polysat-backports
December 18, 2023 11:14 11m 21s
fixes to intblast encoding and more arithmetic rewriters WebAssembly Build #2553: Commit 2f2bf74 pushed by NikolajBjorner
December 18, 2023 02:15 11m 25s master
master
December 18, 2023 02:15 11m 25s
fix bugs in elim-unconstr2 and fix bugs in intblast_solver WebAssembly Build #2552: Commit bb99f44 pushed by NikolajBjorner
December 18, 2023 01:43 11m 29s master
master
December 18, 2023 01:43 11m 29s
remove windowsArm64 from nightly WebAssembly Build #2551: Commit 4867073 pushed by NikolajBjorner
December 17, 2023 18:04 11m 21s master
master
December 17, 2023 18:04 11m 21s
intblast with lazy expansion of shl, ashr, lshr WebAssembly Build #2550: Commit d0a59f3 pushed by NikolajBjorner
December 16, 2023 23:13 11m 31s master
master
December 16, 2023 23:13 11m 31s
Use noexcept more. (#7058) WebAssembly Build #2549: Commit 50e0fd3 pushed by nunoplopes
December 16, 2023 12:14 11m 30s master
master
December 16, 2023 12:14 11m 30s
Use noexcept more. WebAssembly Build #2548: Pull request #7058 synchronize by waywardmonkeys
December 16, 2023 03:07 11m 18s waywardmonkeys:more-noexcept
waywardmonkeys:more-noexcept
December 16, 2023 03:07 11m 18s
add rewriters for and WebAssembly Build #2546: Commit b44ab2f pushed by NikolajBjorner
December 15, 2023 22:55 11m 23s master
master
December 15, 2023 22:55 11m 23s
revert to standard solver WebAssembly Build #2545: Commit 4778f27 pushed by NikolajBjorner
December 15, 2023 22:33 11m 30s master
master
December 15, 2023 22:33 11m 30s
Add intblast solver WebAssembly Build #2544: Commit 9293923 pushed by NikolajBjorner
December 15, 2023 21:50 42s master
master
December 15, 2023 21:50 42s
port updated pdd from polysat WebAssembly Build #2543: Commit 0520558 pushed by NikolajBjorner
December 15, 2023 16:54 11m 47s master
master
December 15, 2023 16:54 11m 47s
Fix bug in fp.round_to_integral (#7060) WebAssembly Build #2542: Commit 2e83352 pushed by NikolajBjorner
December 15, 2023 16:34 11m 17s master
master
December 15, 2023 16:34 11m 17s
Fix bug in fp.round_to_integral WebAssembly Build #2541: Pull request #7060 opened by wintersteiger
December 15, 2023 12:57 11m 39s wintersteiger:cwinter_round_to_int_fix
wintersteiger:cwinter_round_to_int_fix
December 15, 2023 12:57 11m 39s
Use override more. (#7059) WebAssembly Build #2540: Commit e90a844 pushed by nunoplopes
December 15, 2023 08:45 11m 19s master
master
December 15, 2023 08:45 11m 19s
Use noexcept more. WebAssembly Build #2538: Pull request #7058 synchronize by waywardmonkeys
December 15, 2023 01:50 11m 10s waywardmonkeys:more-noexcept
waywardmonkeys:more-noexcept
December 15, 2023 01:50 11m 10s
Merge branch 'master' of https://github.com/z3prover/z3 WebAssembly Build #2537: Commit f6e69d4 pushed by levnach
December 14, 2023 18:21 11m 17s master
master
December 14, 2023 18:21 11m 17s
Disable Python compilation cache during build (#7057) WebAssembly Build #2536: Commit a2b490b pushed by NikolajBjorner
December 14, 2023 15:26 11m 14s master
master
December 14, 2023 15:26 11m 14s
Use noexcept more. WebAssembly Build #2534: Pull request #7058 opened by waywardmonkeys
December 14, 2023 15:15 11m 42s waywardmonkeys:more-noexcept
waywardmonkeys:more-noexcept
December 14, 2023 15:15 11m 42s
fiddle with what gets added to win-arm64 WebAssembly Build #2532: Commit 7c2e4f2 pushed by NikolajBjorner
December 14, 2023 04:43 11m 36s master
master
December 14, 2023 04:43 11m 36s
Revert "Disable Python compilation cache during build (#7052)" (#7054) WebAssembly Build #2531: Commit f7d9a5b pushed by NikolajBjorner
December 14, 2023 03:32 11m 11s master
master
December 14, 2023 03:32 11m 11s