package info (click to toggle)
ikos 3.5-2
  • links: PTS, VCS
  • area: non-free
  • in suites: sid
  • size: 11,896 kB
  • sloc: cpp: 102,890; python: 6,471; ansic: 5,860; sh: 2,409; javascript: 348; makefile: 16

Folder: 3.5-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 150 analyzer
d d rwxr-xr-x 101 ar
d d rwxr-xr-x 4,096 cmake
d d rwxr-xr-x 102 core
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 101 doc
d d rwxr-xr-x 25 frontend
d d rwxr-xr-x 82 script
d d rwxr-xr-x 28 test
- - rw-r--r-- 426 .clang-format
- - rw-r--r-- 3,605 .clang-tidy
- - rw-r--r-- 294 .gitignore
- - rw-r--r-- 4,009 CMakeLists.txt
- - rw-r--r-- 369 CONTRIBUTORS.md
- - rw-r--r-- 92,685 LICENSE.pdf
- - rw-r--r-- 14,335 LICENSE.txt
- - rw-r--r-- 9,657 README.md
- - rw-r--r-- 4,400 TROUBLESHOOTING.md