Package Details: ikos 3.0-1

Git Clone URL: (read-only, click to copy)
Package Base: ikos
Description: Static analyzer for C and C++ developed by NASA
Upstream URL:
Licenses: custom:NOSA 1.3
Submitter: arthaud
Maintainer: arthaud
Last Packager: arthaud
Votes: 6
Popularity: 0.000000
First Submitted: 2016-05-27 06:44
Last Updated: 2019-12-17 02:10

Latest Comments

GuardedAirplane commented on 2021-06-03 23:57

Package will not build as configured as CMake requests llvm-9 be installed. The current llvm package in the dependency list will install llvm-11 at the time of writing this comment.

EDIT: llvm9 exists in the AUR, so switching to that should allow it to build.