Search Criteria
Package Details: ikos-git 3.0.r409.72c70c7-1
Git Clone URL: | https://aur.archlinux.org/ikos-git.git (read-only, click to copy) |
---|---|
Package Base: | ikos-git |
Description: | Static analyzer for C and C++ developed by NASA |
Upstream URL: | https://github.com/nasa-sw-vnv/ikos |
Licenses: | |
Provides: | |
Submitter: | arthaud |
Maintainer: | arthaud |
Last Packager: | arthaud |
Votes: | 1 |
Popularity: | 0.000007 |
First Submitted: | 2019-06-12 17:21 |
Last Updated: | 2019-12-17 02:17 |
Dependencies (12)
- apron (apron-svn, apron-git)
- boost-libs (boost171, boost-libs-git)
- clang (clang-pypy-stm, clang39, clang38, llvm-tce, clang8, llvm-git, llvm-minimal-git, llvm-toolchain-nightly-bin)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- intel-tbb (intel-tbb-gcc6, tbb)
- llvm (llvm-pypy-stm, llvm39, llvm-asserts, llvm38, llvm-tce, llvm11, llvm11-libs, llvm11-ocaml, llvm-minimal-git, llvm8, llvm-toolchain-nightly-bin)
- llvm-libs (llvm-libs-pypy-stm, llvm39-libs, llvm-asserts-libs, llvm-libs38, llvm-tce-libs, llvm11, llvm11-libs, llvm11-ocaml, llvm-libs-git, llvm-libs-minimal-git)
- python (python-dbg)
- python-pygments
- sqlite (sqlite-fossil, sqlite-replication, sqlite-fts3-parenthesis, sqlite-minimal-git)
- boost (boost-git) (make)
- cmake (cmake-git) (make)