Skip to content

Actions: Z3Prover/z3

Actions

RISC V and PowerPC 64

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cross-build.yml
1,567 workflow runs
1,567 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reorder fields RISC V and PowerPC 64 #3350: Commit d422f7b pushed by NikolajBjorner
January 14, 2024 01:14 17m 28s poly
poly
January 14, 2024 01:14 17m 28s
fix srem encoding RISC V and PowerPC 64 #3349: Commit b7306f3 pushed by NikolajBjorner
January 14, 2024 01:04 17m 34s poly
poly
January 14, 2024 01:04 17m 34s
put ensure concat on a list RISC V and PowerPC 64 #3348: Commit 01c5a09 pushed by NikolajBjorner
January 13, 2024 21:45 18m 0s poly
poly
January 13, 2024 21:45 18m 0s
fix axiomatization for sdiv RISC V and PowerPC 64 #3347: Commit 477db7d pushed by NikolajBjorner
January 13, 2024 21:10 17m 57s poly
poly
January 13, 2024 21:10 17m 57s
get-theory-id RISC V and PowerPC 64 #3346: Commit 0ca94b9 pushed by NikolajBjorner
January 13, 2024 20:22 17m 25s poly
poly
January 13, 2024 20:22 17m 25s
add placeholder for tracking theory justifications in EUF RISC V and PowerPC 64 #3345: Commit 1f23ffb pushed by NikolajBjorner
January 13, 2024 19:59 3m 9s poly
poly
January 13, 2024 19:59 3m 9s
propagate values in euf_bv_plugin over extract RISC V and PowerPC 64 #3344: Commit 73b032a pushed by NikolajBjorner
January 13, 2024 19:46 17m 47s poly
poly
January 13, 2024 19:46 17m 47s
expose smt_params_helper from settings to make it more direct to cont… RISC V and PowerPC 64 #3343: Commit 488f7ae pushed by NikolajBjorner
January 13, 2024 19:28 17m 32s test_g
test_g
January 13, 2024 19:28 17m 32s
add measurement options to nla_core RISC V and PowerPC 64 #3342: Commit ae49675 pushed by NikolajBjorner
January 13, 2024 19:15 17m 36s test_g
test_g
January 13, 2024 19:15 17m 36s
added other measurement to nla_core RISC V and PowerPC 64 #3341: Commit 46f2c8f pushed by NikolajBjorner
January 13, 2024 18:51 17m 21s test_g
test_g
January 13, 2024 18:51 17m 21s
arithmetic RISC V and PowerPC 64 #3340: Commit 93be3d2 pushed by NikolajBjorner
January 13, 2024 18:29 17m 21s poly
poly
January 13, 2024 18:29 17m 21s
handle the assert RISC V and PowerPC 64 #3339: Commit 462f8be pushed by levnach
January 13, 2024 17:11 17m 22s test_g
test_g
January 13, 2024 17:11 17m 22s
test gomory options RISC V and PowerPC 64 #3338: Commit 65e7097 pushed by levnach
January 13, 2024 17:05 17m 29s test_g
test_g
January 13, 2024 17:05 17m 29s
fix quot-rem axioms: cannot be rewritten because it looses information RISC V and PowerPC 64 #3337: Commit 33c43a4 pushed by NikolajBjorner
January 13, 2024 03:28 17m 38s poly
poly
January 13, 2024 03:28 17m 38s
fix missing handling of axiom RISC V and PowerPC 64 #3336: Commit 211aff4 pushed by NikolajBjorner
January 13, 2024 02:15 17m 21s poly
poly
January 13, 2024 02:15 17m 21s
avoid duplicate explanations RISC V and PowerPC 64 #3335: Commit 2eadcf0 pushed by levnach
January 13, 2024 01:49 17m 18s master
master
January 13, 2024 01:49 17m 18s
add explanations and fix polarity RISC V and PowerPC 64 #3334: Commit 7d7fef0 pushed by levnach
January 13, 2024 01:40 17m 6s master
master
January 13, 2024 01:40 17m 6s
bugbash RISC V and PowerPC 64 #3333: Commit aefbfc6 pushed by NikolajBjorner
January 12, 2024 23:09 17m 30s poly
poly
January 12, 2024 23:09 17m 30s
bugfix RISC V and PowerPC 64 #3332: Commit 22103c0 pushed by NikolajBjorner
January 12, 2024 22:00 17m 41s poly
poly
January 12, 2024 22:00 17m 41s
deleted parameter RISC V and PowerPC 64 #3331: Commit ddf2eb5 pushed by NikolajBjorner
January 12, 2024 18:42 17m 14s master
master
January 12, 2024 18:42 17m 14s
fix offset bug in explain RISC V and PowerPC 64 #3330: Commit abc0cf3 pushed by NikolajBjorner
January 12, 2024 18:04 17m 43s poly
poly
January 12, 2024 18:04 17m 43s
spell check from https://github.com/microsoft/z3guide/pull/165 RISC V and PowerPC 64 #3329: Commit 3381fd2 pushed by NikolajBjorner
January 12, 2024 17:57 3m 21s master
master
January 12, 2024 17:57 3m 21s
Update sat_params.pyg RISC V and PowerPC 64 #3328: Commit 2717159 pushed by NikolajBjorner
January 12, 2024 17:49 17m 30s master
master
January 12, 2024 17:49 17m 30s
create as_bin as_hex wrappers for display RISC V and PowerPC 64 #3327: Commit 59b18d4 pushed by NikolajBjorner
January 12, 2024 17:19 17m 58s master
master
January 12, 2024 17:19 17m 58s
comment RISC V and PowerPC 64 #3326: Commit 70d2057 pushed by JakobR
January 12, 2024 15:35 17m 47s poly
poly
January 12, 2024 15:35 17m 47s
ProTip! You can narrow down the results and go further in time using created:<2024-01-12 or the other filters available.