Search Criteria
Package Details: genmc 0.10.2-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/genmc.git (read-only, click to copy) |
|---|---|
| Package Base: | genmc |
| Description: | Generic model checker for concurrent C programs |
| Upstream URL: | https://plv.mpi-sws.org/genmc |
| Licenses: | GPL3, custom:Apache 2.0 with LLVM Exception |
| Submitter: | Forty-Bot |
| Maintainer: | Forty-Bot |
| Last Packager: | Forty-Bot |
| Votes: | 1 |
| Popularity: | 0.47 |
| First Submitted: | 2024-11-10 02:57 (UTC) |
| Last Updated: | 2024-11-10 02:57 (UTC) |
Dependencies (3)
- hwloc
- llvm-libs (llvm-libs-rocm-gitAUR, llvm-libs-gitAUR)
- llvm (llvm-rocm-gitAUR, llvm-gitAUR, llvm-minimal-gitAUR) (make)