package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 69,876 kB
  • sloc: cpp: 274,686; sh: 5,833; python: 1,893; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2

Folder: 1.8-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 73 .github
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 cmake
d d rwxr-xr-x 4,096 contrib
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 4,096 examples
d d rwxr-xr-x 80 licenses
d d rwxr-xr-x 31 proofs
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 100 test
- - rw-r--r-- 591 .clang-format
- - rw-r--r-- 156 .gitignore
- - rw-r--r-- 1,517 .mailmap
- - rw-r--r-- 2,008 AUTHORS
- - rw-r--r-- 23,983 CMakeLists.txt
- - rw-r--r-- 2,485 CONTRIBUTING.md
- - rw-r--r-- 5,557 COPYING
- - rw-r--r-- 14,236 INSTALL.md
- - rw-r--r-- 12,685 NEWS
- - rw-r--r-- 3,247 README.md
- - rw-r--r-- 2,085 THANKS
- - rwxr-xr-x 15,086 configure.sh
- - rw-r--r-- 2,059 cvc4autoconfig.h.in