8000 WebAssembly Build · Workflow runs · Z3Prover/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
984 workflow runs
984 workflow runs 8000

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4054: Pull request #7734 synchronize by Copilot AI
July 12, 2025 08:09 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 08:09 Action required
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4053: Pull request #7734 synchronize by Copilot AI
July 12, 2025 08:09 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 08:09 Action required
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4052: Pull request #7734 synchronize by Copilot AI
July 12, 2025 08:06 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 08:06 Action required
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4051: Pull request #7734 synchronize by Copilot AI
July 12, 2025 08:06 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 08:06 Action required
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4050: Pull request #7734 synchronize by Copilot AI
July 12, 2025 07:57 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 07:57 Action required
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4049: Pull request #7734 synchronize by Copilot AI
July 12, 2025 07:53 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 07:53 Action required
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4048: Pull request #7734 synchronize by Copilot AI
July 12, 2025 07:53 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 07:53 Action required
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings WebAssembly Build #4047: Pull request #7734 opened by Copilot AI
July 12, 2025 07:32 Action required copilot/fix-7621
copilot/fix-7621
July 12, 2025 07:32 Action required
fix #7725 - proofs are only possible if context was created with proo… WebAssembly Build #4046: Commit fd54554 pushed by NikolajBjorner
July 12, 2025 07:14 17m 49s master
master
July 12, 2025 07:14 17m 49s
debug : Add support for selecting LLDB via invoke on macOS (#7726) WebAssembly Build #4045: Commit e575919 pushed by NikolajBjorner
July 12, 2025 07:02 17m 42s master
master
July 12, 2025 07:02 17m 42s
wip - throttle AC completion, enable congruences over bound bodies WebAssembly Build #4041: Commit 0995928 pushed by NikolajBjorner
July 11, 2025 10:49 17m 45s master
master
July 11, 2025 10:49 17m 45s
working on ho-matcher WebAssembly Build #4039: Commit 35b1d09 pushed by NikolajBjorner
July 8, 2025 02:50 17m 50s master
master
July 8, 2025 02:50 17m 50s
update build dependencies WebAssembly Build #4038: Commit 195f3c9 pushed by NikolajBjorner
July 7, 2025 14:50 17m 53s master
master
July 7, 2025 14:50 17m 53s
turn on ho-matcher for completion WebAssembly Build #4037: Commit 0c5b0c3 pushed by NikolajBjorner
July 7, 2025 12:09 1m 12s master
master
July 7, 2025 12:09 1m 12s
fixes to ho-matcher WebAssembly Build #4036: Commit 2d1a42d pushed by NikolajBjorner
July 5, 2025 23:24 18m 8s master
master
July 5, 2025 23:24 18m 8s
make concurrent collect_statistics in a timeout thread safe WebAssembly Build #4035: Commit 3ccf7a6 pushed by NikolajBjorner
July 5, 2025 01:58 17m 55s master
master
July 5, 2025 01:58 17m 55s
ho matcher draft WebAssembly Build #4034: Commit 951554e pushed by NikolajBjorner
July 5, 2025 01:01 17m 51s master
master
July 5, 2025 01:01 17m 51s
Update azure-pipelines.yml for Azure Pipelines WebAssembly Build #4033: Commit 0ee1ee5 pushed by NikolajBjorner
July 4, 2025 21:25 18m 5s master
master
July 4, 2025 21:25 18m 5s
another try to avoid the race with atomic swap WebAssembly Build #4032: Pull request #7721 opened by levnach
July 3, 2025 18:35 18m 29s m_ctx
m_ctx
July 3, 2025 18:35 18m 29s
Fix race condition in smt_tactic::collect_statistics WebAssembly Build #4029: Pull request #7719 opened by Copilot AI
July 2, 2025 23:19 17m 48s copilot/fix-7718
copilot/fix-7718
July 2, 2025 23:19 17m 48s
make sure that we do no access a null m_ctx WebAssembly Build #4028: Pull request #7717 opened by levnach
July 2, 2025 22:21 17m 23s m_ctx
m_ctx
July 2, 2025 22:21 17m 23s
use usize to suppress the data loss warnings WebAssembly Build #4027: Commit d2990e2 pushed by levnach
July 2, 2025 21:43 18m 0s master
master
July 2, 2025 21:43 18m 0s
deal with warnings WebAssembly Build #4026: Commit f544dd4 pushed by NikolajBjorner
July 2, 2025 20:59 17m 49s master
master
July 2, 2025 20:59 17m 49s
Fix O(n²) performance issue in CLI datatype declaration processing (#… WebAssembly Build #4025: Commit 75678fc pushed by NikolajBjorner
July 2, 2025 16:54 18m 4s master
master
July 2, 2025 16:54 18m 4s
trace : Sort and reorder trace tags by tag_class and tag_name (#7714) WebAssembly Build #4024: Commit 53c48f7 pushed by NikolajBjorner
July 2, 2025 16:53 17m 43s master
master
July 2, 2025 16:53 17m 43s
0