Search Criteria
Package Details: cbmc-git 5.11.r1339.gabbb38942-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/cbmc-git.git (read-only, click to copy) |
|---|---|
| Package Base: | cbmc-git |
| Description: | Bounded Model Checking for ANSI-C |
| Upstream URL: | http://www.cprover.org/cbmc/ |
| Licenses: | custom |
| Conflicts: | cbmc, cbmc-bin |
| Provides: | cbmc-git |
| Submitter: | PythonShell |
| Maintainer: | PythonShell |
| Last Packager: | PythonShell |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-09-04 11:51 (UTC) |
| Last Updated: | 2019-02-11 07:28 (UTC) |
Dependencies (9)
- bison (byacc-bisonAUR, bison-gitAUR)
- flex (flex-gitAUR)
- cmake (cmake-gitAUR) (make)
- doxygen (doxygen-gitAUR, doxygen-yapAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- make (make-gitAUR) (make)
- patch (patch-gitAUR) (make)
- perl-libwww (make)
- perl-lwp-protocol-https (make)
Latest Comments
PythonShell commented on 2017-12-02 02:07 (UTC)
derektbrown commented on 2017-12-01 01:32 (UTC)