Skip to content

Actions: KarpelesLab/z3rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,869 workflow runs
1,869 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fuzz Fuzz #7: Scheduled
3m 5s master
master
3m 5s
Fuzz Fuzz #6: Scheduled
4m 14s master
master
4m 14s
chore: release v0.0.9 CI #1257: Pull request #10 synchronize by MagicalTux
2m 35s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 35s
Rewriter: generalize the chained-comparison fold to all ops and const… Release-plz #589: Commit e49ae2a pushed by MagicalTux
42s master
master
42s
Rewriter: generalize the chained-comparison fold to all ops and const… CI #1256: Commit e49ae2a pushed by MagicalTux
3m 11s master
master
3m 11s
chore: release v0.0.9 CI #1255: Pull request #10 synchronize by MagicalTux
2m 34s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 34s
Rewriter: fold a chained strict inequality with a repeated operand to… CI #1254: Commit 4174c73 pushed by MagicalTux
2m 46s master
master
2m 46s
Rewriter: fold a chained strict inequality with a repeated operand to… Release-plz #588: Commit 4174c73 pushed by MagicalTux
39s master
master
39s
chore: release v0.0.9 CI #1253: Pull request #10 synchronize by MagicalTux
2m 39s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 39s
Quant: seed arithmetic binders with 0/1/-1 for enumeration refutation… Release-plz #587: Commit ca556fc pushed by MagicalTux
42s master
master
42s
Quant: seed arithmetic binders with 0/1/-1 for enumeration refutation… CI #1252: Commit ca556fc pushed by MagicalTux
2m 33s master
master
2m 33s
chore: release v0.0.9 CI #1251: Pull request #10 synchronize by MagicalTux
2m 25s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 25s
Fix latent wrong-unsat: don't trust check_model's sat on a nonlinear … CI #1250: Commit fa17474 pushed by MagicalTux
2m 41s master
master
2m 41s
Fix latent wrong-unsat: don't trust check_model's sat on a nonlinear … Release-plz #586: Commit fa17474 pushed by MagicalTux
40s master
master
40s
chore: release v0.0.9 CI #1249: Pull request #10 synchronize by MagicalTux
2m 39s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 39s
Arith: recognize pi and reduce sin/cos/tan arguments by periodicity/p… CI #1248: Commit ff485b2 pushed by MagicalTux
2m 30s master
master
2m 30s
Arith: recognize pi and reduce sin/cos/tan arguments by periodicity/p… Release-plz #585: Commit ff485b2 pushed by MagicalTux
39s master
master
39s
chore: release v0.0.9 CI #1247: Pull request #10 synchronize by MagicalTux
2m 37s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 37s
Rewriter: fold a chained equality with two distinct numeral constants… CI #1246: Commit 09e10c7 pushed by MagicalTux
2m 34s master
master
2m 34s
Rewriter: fold a chained equality with two distinct numeral constants… Release-plz #584: Commit 09e10c7 pushed by MagicalTux
43s master
master
43s
chore: release v0.0.9 CI #1245: Pull request #10 synchronize by MagicalTux
2m 30s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 30s
Decide: SAT witness for a top-level disjunction — decide each disjunc… Release-plz #583: Commit a3e862b pushed by MagicalTux
41s master
master
41s
Decide: SAT witness for a top-level disjunction — decide each disjunc… CI #1244: Commit a3e862b pushed by MagicalTux
2m 34s master
master
2m 34s
chore: release v0.0.9 CI #1243: Pull request #10 synchronize by MagicalTux
2m 26s release-plz-2026-07-11T11-42-36Z
release-plz-2026-07-11T11-42-36Z
2m 26s
FP: fold exact/special FP arithmetic and comparisons of constants und… Release-plz #582: Commit 42a80e7 pushed by MagicalTux
38s master
master
38s