Search Criteria
Package Details: kani-verifier 0.50.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/kani-verifier.git (read-only, click to copy) |
|---|---|
| Package Base: | kani-verifier |
| Description: | Bit-precise model checker for Rust |
| Upstream URL: | https://github.com/model-checking/kani |
| Licenses: | Apache-2.0 OR MIT |
| Conflicts: | cargo-kani, kani |
| Provides: | cargo-kani, kani |
| Submitter: | SandaruKasa |
| Maintainer: | SandaruKasa |
| Last Packager: | SandaruKasa |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2023-12-16 13:55 (UTC) |
| Last Updated: | 2024-04-23 15:56 (UTC) |
Dependencies (7)
- gcc-libs (gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-gitAUR)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-eacAUR)
- cargo (rust-nightly-binAUR, cargo-gitAUR, rustup-gitAUR, rust, rustup) (make)
- coreutils (coreutils-gitAUR, busybox-coreutilsAUR, coreutils-hybrid-gitAUR, coreutils-hybridAUR, coreutils-selinuxAUR) (make)
- gcc (gccrs-gitAUR, gcc11AUR, gcc-gitAUR) (make)
- rust (rust-nightlyAUR, rust-nightly-binAUR, rust-gitAUR, rustup-gitAUR, rustup) (make)
- sed (busybox-coreutilsAUR, sed-gitAUR) (make)