Skip to content

Actions: prove-rs/z3.rs

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
403 workflow runs
403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: add simple top-level example Rust #905: Pull request #437 opened by toolCHAINZ
September 6, 2025 21:28 50m 33s simple-example
simple-example
September 6, 2025 21:28 50m 33s
changed!: APIs accepting Bool no longer accept bool Rust #904: Pull request #436 synchronize by toolCHAINZ
September 6, 2025 14:05 49m 45s assert-borrow
assert-borrow
September 6, 2025 14:05 49m 45s
changed!: APIs accepting Bool no longer accept bool Rust #903: Pull request #436 synchronize by toolCHAINZ
September 6, 2025 11:24 50m 13s assert-borrow
assert-borrow
September 6, 2025 11:24 50m 13s
changed!: APIs accepting Bool no longer accept bool Rust #902: Pull request #436 opened by toolCHAINZ
September 6, 2025 11:20 6h 0m 20s assert-borrow
assert-borrow
September 6, 2025 11:20 6h 0m 20s
chore: release Rust #901: Pull request #434 synchronize by toolCHAINZ
September 4, 2025 09:27 51m 7s release-plz-2025-09-04T09-18-07Z
release-plz-2025-09-04T09-18-07Z
September 4, 2025 09:27 51m 7s
Add nostd tags (#435) Rust #900: Commit 8778c44 pushed by toolCHAINZ
September 4, 2025 09:25 51m 30s master
master
September 4, 2025 09:25 51m 30s
chore: mark z3-sys as no-std on crates.io Rust #899: Pull request #435 opened by toolCHAINZ
September 4, 2025 09:25 50m 35s mark-z3-sys-nostd
mark-z3-sys-nostd
September 4, 2025 09:25 50m 35s
chore: release Rust #898: Pull request #434 opened by toolCHAINZ
September 4, 2025 09:18 49m 52s release-plz-2025-09-04T09-18-07Z
release-plz-2025-09-04T09-18-07Z
September 4, 2025 09:18 49m 52s
feat: add consuming solutions iterator (#433) Rust #897: Commit 66dcc18 pushed by toolCHAINZ
September 4, 2025 09:17 6h 0m 21s master
master
September 4, 2025 09:17 6h 0m 21s
feat: add consuming solution iterator Rust #896: Pull request #433 opened by toolCHAINZ
September 4, 2025 09:14 50m 58s into-solutions
into-solutions
September 4, 2025 09:14 50m 58s
chore: release (#432) Rust #895: Commit 63693cd pushed by toolCHAINZ
September 3, 2025 14:56 51m 50s master
master
September 3, 2025 14:56 51m 50s
chore: release Rust #894: Pull request #432 synchronize by toolCHAINZ
September 3, 2025 14:54 50m 32s release-plz-2025-09-03T14-49-56Z
release-plz-2025-09-03T14-49-56Z
September 3, 2025 14:54 50m 32s
chore: release Rust #893: Pull request #432 opened by toolCHAINZ
September 3, 2025 14:50 50m 23s release-plz-2025-09-03T14-49-56Z
release-plz-2025-09-03T14-49-56Z
September 3, 2025 14:50 50m 23s
feat: Add the ability to iterate over solutions from a Solver (#431) Rust #892: Commit 46b763c pushed by toolCHAINZ
September 3, 2025 14:48 50m 35s master
master
September 3, 2025 14:48 50m 35s
feat: Add the ability to iterate over solutions from a Solver Rust #891: Pull request #431 synchronize by toolCHAINZ
September 3, 2025 14:10 51m 17s solver-iterator
solver-iterator
September 3, 2025 14:10 51m 17s
feat: Add the ability to iterate over solutions from a Solver Rust #890: Pull request #431 synchronize by toolCHAINZ
September 3, 2025 13:53 50m 58s solver-iterator
solver-iterator
September 3, 2025 13:53 50m 58s
feat: Add the ability to iterate over solutions from a Solver Rust #889: Pull request #431 synchronize by toolCHAINZ
September 3, 2025 13:42 51m 0s solver-iterator
solver-iterator
September 3, 2025 13:42 51m 0s
feat: Add the ability to iterate over solutions from a Solver Rust #888: Pull request #431 synchronize by toolCHAINZ
September 3, 2025 13:42 50m 59s solver-iterator
solver-iterator
September 3, 2025 13:42 50m 59s
feat: Add the ability to iterate over solutions from a Solver Rust #887: Pull request #431 synchronize by toolCHAINZ
September 3, 2025 13:14 52m 36s solver-iterator
solver-iterator
September 3, 2025 13:14 52m 36s
chore: release Rust #886: Pull request #426 synchronize by toolCHAINZ
September 3, 2025 09:55 52m 4s release-plz-2025-08-27T09-31-07Z
release-plz-2025-08-27T09-31-07Z
September 3, 2025 09:55 52m 4s
feat: Add the ability to iterate over solutions from a Solver Rust #885: Pull request #431 synchronize by toolCHAINZ
September 3, 2025 09:44 50m 54s solver-iterator
solver-iterator
September 3, 2025 09:44 50m 54s
feat: Add the ability to iterate over solutions from a Solver Rust #884: Pull request #431 opened by toolCHAINZ
September 3, 2025 09:36 51m 11s solver-iterator
solver-iterator
September 3, 2025 09:36 51m 11s
chore: release Rust #883: Pull request #426 synchronize by toolCHAINZ
September 3, 2025 08:54 48m 33s release-plz-2025-08-27T09-31-07Z
release-plz-2025-08-27T09-31-07Z
September 3, 2025 08:54 48m 33s
changed: rename _eq to eq and *_real_* to *_rational_* (#305) Rust #882: Commit 41e9a0b pushed by toolCHAINZ
September 3, 2025 08:52 47m 59s master
master
September 3, 2025 08:52 47m 59s
changed: rename _eq to eq and *_real_* to *_rational_* Rust #881: Pull request #305 synchronize by toolCHAINZ
August 30, 2025 21:51 48m 6s dragazo:name-fixes
dragazo:name-fixes
August 30, 2025 21:51 48m 6s