Skip to content

Actions: prove-rs/z3.rs

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Expose API to convert solver into SMT-LIB2 format Rust #444: Pull request #267 opened by 108anup
November 4, 2023 00:16 49m 34s 108anup:to_smt2
108anup:to_smt2
November 4, 2023 00:16 49m 34s
Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later. Rust #443: Pull request #264 opened by TheVeryDarkness
October 29, 2023 10:46 29m 34s TheVeryDarkness:upload-vcpkg-z3
TheVeryDarkness:upload-vcpkg-z3
October 29, 2023 10:46 29m 34s
Add a warning when static-link-z3 is used. Rust #442: Commit efdc6ec pushed by waywardmonkeys
October 27, 2023 08:18 46m 19s master
master
October 27, 2023 08:18 46m 19s
Rename static-link-z3 to bundled. Rust #441: Pull request #260 synchronize by waywardmonkeys
October 27, 2023 02:42 35m 24s rename-bundled-build-feature
rename-bundled-build-feature
October 27, 2023 02:42 35m 24s
Fix semicolon_if_nothing_returned lints. Rust #440: Commit 849330e pushed by waywardmonkeys
October 27, 2023 01:48 29m 8s master
master
October 27, 2023 01:48 29m 8s
Fix lifetime on Solver::get_assertions() result. Rust #439: Commit 0367252 pushed by waywardmonkeys
October 27, 2023 01:32 28m 30s master
master
October 27, 2023 01:32 28m 30s
Rename static-link-z3 to bundled. Rust #438: Pull request #260 opened by waywardmonkeys
October 26, 2023 09:43 34m 50s rename-bundled-build-feature
rename-bundled-build-feature
October 26, 2023 09:43 34m 50s
ci: Run tests against homebrew Z3 on macOS. Rust #437: Commit a8a4a4f pushed by waywardmonkeys
October 26, 2023 09:12 43m 34s master
master
October 26, 2023 09:12 43m 34s
ci: Run tests against homebrew Z3 on macOS. Rust #436: Pull request #259 opened by waywardmonkeys
October 26, 2023 09:01 45m 31s ci-test-against-homebrew-z3
ci-test-against-homebrew-z3
October 26, 2023 09:01 45m 31s
build.rs: Minor tweaks. Rust #435: Commit c4e21a4 pushed by waywardmonkeys
October 26, 2023 08:55 48m 21s master
master
October 26, 2023 08:55 48m 21s
Update to bindgen 0.68 from 0.66 Rust #434: Commit 8eb68ce pushed by waywardmonkeys
October 26, 2023 06:55 28m 57s master
master
October 26, 2023 06:55 28m 57s
Implement ast::Float::as_f64 Rust #433: Commit c2bff76 pushed by waywardmonkeys
October 25, 2023 17:12 57m 44s master
master
October 25, 2023 17:12 57m 44s
ci: Enable vcpkg build on Linux. Rust #432: Commit 653ebde pushed by waywardmonkeys
October 25, 2023 16:33 46m 34s master
master
October 25, 2023 16:33 46m 34s
ci: Enable vcpkg build on macOS and Linux Rust #431: Pull request #258 synchronize by waywardmonkeys
October 25, 2023 15:48 44m 10s enable-vcpkg-macos
enable-vcpkg-macos
October 25, 2023 15:48 44m 10s
ci: Enable vcpkg build on macOS and Linux Rust #430: Pull request #258 synchronize by waywardmonkeys
October 25, 2023 15:38 35m 8s enable-vcpkg-macos
enable-vcpkg-macos
October 25, 2023 15:38 35m 8s
ci: Enable vcpkg build on macOS and Linux Rust #429: Pull request #258 opened by waywardmonkeys
October 25, 2023 06:19 29m 28s enable-vcpkg-macos
enable-vcpkg-macos
October 25, 2023 06:19 29m 28s
z3-sys: Improve Z3_fpa_* intradoc linking. Rust #428: Commit 5c56442 pushed by waywardmonkeys
October 25, 2023 06:08 33m 23s master
master
October 25, 2023 06:08 33m 23s
Remove usage of extern crate. Rust #427: Commit 8eea453 pushed by waywardmonkeys
October 24, 2023 10:20 34m 16s master
master
October 24, 2023 10:20 34m 16s
Always use num, remove arbitrary-size-numeral feature. Rust #426: Commit 6527daa pushed by waywardmonkeys
October 24, 2023 09:50 29m 41s master
master
October 24, 2023 09:50 29m 41s
Always use num, remove arbitrary-size-numeral feature. Rust #425: Pull request #256 opened by waywardmonkeys
October 23, 2023 07:55 34m 21s always-use-num-crate
always-use-num-crate
October 23, 2023 07:55 34m 21s
Improve CI speed. Rust #424: Commit 1335297 pushed by waywardmonkeys
October 23, 2023 07:29 32m 47s master
master
October 23, 2023 07:29 32m 47s
Improve CI speed. Rust #423: Pull request #255 opened by waywardmonkeys
October 23, 2023 06:33 39m 46s improve-ci-speed
improve-ci-speed
October 23, 2023 06:33 39m 46s
ci: Run clippy on macOS against brew z3. Rust #422: Commit 105b743 pushed by waywardmonkeys
October 23, 2023 06:01 54m 5s master
master
October 23, 2023 06:01 54m 5s
z3: Update to Rust edition 2018. Collapse some imports. Rust #421: Commit 530b6ac pushed by waywardmonkeys
October 23, 2023 05:59 47m 25s master
master
October 23, 2023 05:59 47m 25s