Skip to content

Actions: prove-rs/z3.rs

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
533 workflow runs
533 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add with method to Tactic Rust #1080: Pull request #511 opened by longlinh123456
1m 34s longlinh123456:tactic-params
longlinh123456:tactic-params
1m 34s
feat: Move Z3 cmake build to its own crate Rust #1079: Pull request #510 opened by toolCHAINZ
53m 51s z3-src-crate
z3-src-crate
53m 51s
chore(z3): release v0.19.11 (#507) Rust #1078: Commit b532c13 pushed by toolCHAINZ
33m 32s master
master
33m 32s
chore(z3): release v0.19.11 Rust #1077: Pull request #507 synchronize by toolCHAINZ
34m 15s release-plz-2026-02-27T08-39-01Z
release-plz-2026-02-27T08-39-01Z
34m 15s
added: FusedIterator and ExactSizeIterator for model/SortIter (#509) Rust #1076: Commit 026cd51 pushed by toolCHAINZ
33m 33s master
master
33m 33s
added: FusedIterator and ExactSizeIterator for model/SortIter Rust #1075: Pull request #509 opened by toolCHAINZ
32m 52s sort-iter-impls
sort-iter-impls
32m 52s
chore(z3): release v0.19.11 Rust #1074: Pull request #507 synchronize by toolCHAINZ
33m 36s release-plz-2026-02-27T08-39-01Z
release-plz-2026-02-27T08-39-01Z
33m 36s
fix: standardize AstVector display/debug impl (#508) Rust #1073: Commit 582e193 pushed by toolCHAINZ
32m 33s master
master
32m 33s
fix: standardize AstVector display/debug impl Rust #1072: Pull request #508 opened by toolCHAINZ
32m 59s ast-vec-debug
ast-vec-debug
32m 59s
chore(z3): release v0.19.11 Rust #1071: Pull request #507 opened by toolCHAINZ
30m 58s release-plz-2026-02-27T08-39-01Z
release-plz-2026-02-27T08-39-01Z
30m 58s
feat: add high-level API for model sorts/sort universes (#506) Rust #1070: Commit b18d4a6 pushed by toolCHAINZ
32m 47s master
master
32m 47s
feat: add high-level API for model sorts/sort universes Rust #1069: Pull request #506 opened by toolCHAINZ
33m 14s model-sort-universes
model-sort-universes
33m 14s
WIP: Add bindings to the user propagator Rust #1068: Pull request #344 synchronize by toolCHAINZ
1m 37s puyral:user-propagator
puyral:user-propagator
1m 37s
chore: release (#503) Rust #1067: Commit 97f57a9 pushed by toolCHAINZ
21m 25s master
master
21m 25s
chore: release Rust #1066: Pull request #503 synchronize by toolCHAINZ
5m 45s release-plz-2026-02-24T09-31-11Z
release-plz-2026-02-24T09-31-11Z
5m 45s
chore: release Rust #1065: Pull request #503 synchronize by toolCHAINZ
5m 4s release-plz-2026-02-24T09-31-11Z
release-plz-2026-02-24T09-31-11Z
5m 4s
chore: bump Z3 default version to 4.16.0 (#504) Rust #1064: Commit 5631a0f pushed by toolCHAINZ
23m 56s master
master
23m 56s
chore: bump Z3 default version to 4.16.0 Rust #1063: Pull request #504 opened by toolCHAINZ
3m 59s bump-upstream-z3
bump-upstream-z3
3m 59s
chore: release Rust #1062: Pull request #503 opened by toolCHAINZ
5m 18s release-plz-2026-02-24T09-31-11Z
release-plz-2026-02-24T09-31-11Z
5m 18s
feat: algebraic numbers, polynomials, enhanced floats, AST vectors, a… Rust #1061: Commit 3d11d74 pushed by toolCHAINZ
23m 19s master
master
23m 19s
feat: algebraic numbers, polynomials, enhanced floats, AST vectors, and quantifier elimination Rust #1060: Pull request #500 synchronize by toolCHAINZ
4m 56s api-extensions
api-extensions
4m 56s
feat: algebraic numbers, polynomials, enhanced floats, AST vectors, and quantifier elimination Rust #1059: Pull request #500 synchronize by toolCHAINZ
1m 57s api-extensions
api-extensions
1m 57s
feat: algebraic numbers, polynomials, enhanced floats, AST vectors, and quantifier elimination Rust #1058: Pull request #500 synchronize by toolCHAINZ
1m 36s api-extensions
api-extensions
1m 36s
feat: algebraic numbers, polynomials, enhanced floats, AST vectors, and quantifier elimination Rust #1057: Pull request #500 synchronize by toolCHAINZ
4m 19s api-extensions
api-extensions
4m 19s
feat: algebraic numbers, polynomials, enhanced floats, AST vectors, and quantifier elimination Rust #1056: Pull request #500 synchronize by toolCHAINZ
4m 38s api-extensions
api-extensions
4m 38s