Skip to content

Actions: prove-rs/z3.rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add new_const and fresh_const functions to Dynamic Rust #469: Commit ab67534 pushed by waywardmonkeys
December 18, 2023 23:37 39m 6s master
master
December 18, 2023 23:37 39m 6s
sort: fix array_range and array_domain lifetimes Rust #468: Commit ad6273f pushed by waywardmonkeys
December 18, 2023 23:35 38m 48s master
master
December 18, 2023 23:35 38m 48s
add new_const and fresh_const functions to Dynamic Rust #467: Pull request #281 opened by Philipp15b
December 18, 2023 17:58 30m 12s Philipp15b:dynamic-constructors
Philipp15b:dynamic-constructors
December 18, 2023 17:58 30m 12s
sort: fix array_range and array_domain lifetimes Rust #466: Pull request #280 opened by Philipp15b
December 18, 2023 17:53 24m 34s Philipp15b:fix-sort-lifetimes
Philipp15b:fix-sort-lifetimes
December 18, 2023 17:53 24m 34s
Support for more regular expression operations Rust #465: Pull request #275 synchronize by Pat-Lafon
December 14, 2023 22:08 24m 29s Pat-Lafon:master
Pat-Lafon:master
December 14, 2023 22:08 24m 29s
Support for more regular expression operations Rust #464: Pull request #275 synchronize by Pat-Lafon
December 14, 2023 21:58 24m 41s Pat-Lafon:master
Pat-Lafon:master
December 14, 2023 21:58 24m 41s
Update bundled Z3 to z3 4.12.3. Rust #463: Pull request #279 opened by waywardmonkeys
December 5, 2023 16:16 17m 30s update-bundled-z3
update-bundled-z3
December 5, 2023 16:16 17m 30s
z3-sys: Use pkg-config when using system libs. Rust #462: Commit 50331a4 pushed by waywardmonkeys
November 25, 2023 02:21 28m 47s master
master
November 25, 2023 02:21 28m 47s
z3-sys: Use pkg-config when using system libs. Rust #461: Pull request #277 opened by waywardmonkeys
November 25, 2023 01:58 28m 50s pkg-config
pkg-config
November 25, 2023 01:58 28m 50s
Add an environment variable EMSCRIPTEN_ROOT for emscripten installed with brew and add supports for other wasm targets. Rust #460: Pull request #276 opened by TheVeryDarkness
November 23, 2023 11:44 29m 36s TheVeryDarkness:emscripten-root
TheVeryDarkness:emscripten-root
November 23, 2023 11:44 29m 36s
Update bindgen from 0.68 to 0.69. Rust #459: Commit 985bf03 pushed by waywardmonkeys
November 20, 2023 23:39 30m 51s master
master
November 20, 2023 23:39 30m 51s
Support for more regular expression operations Rust #458: Pull request #275 opened by Pat-Lafon
November 20, 2023 21:29 24m 46s Pat-Lafon:master
Pat-Lafon:master
November 20, 2023 21:29 24m 46s
Update bindgen from 0.68 to 0.69. Rust #457: Pull request #274 opened by waywardmonkeys
November 20, 2023 16:18 31m 16s update-bindgen
update-bindgen
November 20, 2023 16:18 31m 16s
z3-sys: Add more recent regular expression func bindings. Rust #456: Commit 36b8743 pushed by waywardmonkeys
November 18, 2023 08:59 6h 0m 23s master
master
November 18, 2023 08:59 6h 0m 23s
z3-sys: Add more recent regular expression func bindings. Rust #455: Pull request #273 opened by waywardmonkeys
November 18, 2023 08:35 30m 40s add-missing-re-funcs
add-missing-re-funcs
November 18, 2023 08:35 30m 40s
Fix doc comment typo. Rust #454: Commit 91d9e91 pushed by waywardmonkeys
November 18, 2023 08:34 31m 34s master
master
November 18, 2023 08:34 31m 34s
Into i64 Rust #453: Pull request #271 opened by Pat-Lafon
November 10, 2023 23:09 43m 53s Pat-Lafon:into_i64
Pat-Lafon:into_i64
November 10, 2023 23:09 43m 53s
Allow creating Int from i32 Rust #452: Pull request #270 opened by Salt-Factory
November 9, 2023 21:08 31m 54s Salt-Factory:master
Salt-Factory:master
November 9, 2023 21:08 31m 54s
Implement += for Solver Rust #451: Commit 26ddf7f pushed by waywardmonkeys
November 8, 2023 17:28 28m 43s master
master
November 8, 2023 17:28 28m 43s
Expose API to convert solver into SMT-LIB2 format (#267) Rust #450: Commit 977c587 pushed by waywardmonkeys
November 8, 2023 17:26 33m 21s master
master
November 8, 2023 17:26 33m 21s
Implement += for Solver Rust #449: Pull request #269 opened by Pat-Lafon
November 7, 2023 23:20 30m 21s Pat-Lafon:AddAssign
Pat-Lafon:AddAssign
November 7, 2023 23:20 30m 21s
Expose API to convert solver into SMT-LIB2 format Rust #448: Pull request #267 synchronize by 108anup
November 7, 2023 21:36 50m 43s 108anup:to_smt2
108anup:to_smt2
November 7, 2023 21:36 50m 43s
z3-sys: Bind Z3_optimize_assert_and_track. Rust #447: Commit c40e860 pushed by waywardmonkeys
November 7, 2023 16:13 48m 29s master
master
November 7, 2023 16:13 48m 29s
Add doc comment to Z3_solver_get_unsat_core. Rust #446: Commit 69b785e pushed by waywardmonkeys
November 4, 2023 16:57 32m 42s master
master
November 4, 2023 16:57 32m 42s
Expose API to convert solver into SMT-LIB2 format Rust #445: Pull request #267 synchronize by 108anup
November 4, 2023 00:18 55m 40s 108anup:to_smt2
108anup:to_smt2
November 4, 2023 00:18 55m 40s