package info
(click to toggle)
picosat 960-1
- links: PTS
- area: main
- in suites: buster, jessie, jessie-kfreebsd, stretch
- size: 544 kB
- ctags: 1,506
- sloc: ansic: 15,668; sh: 136; makefile: 125
Folder: 960-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 111 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
 |
- | rw-r--r-- | 1,093 | LICENSE |
|
- | rw-r--r-- | 4,415 | NEWS |
|
- | rw-r--r-- | 184 | README |
|
- | rw-r--r-- | 4 | VERSION |
|
- | rw-r--r-- | 21,965 | app.c |
|
- | rwxr-xr-x | 2,651 | configure |
|
- | rw-r--r-- | 1,833 | main.c |
|
- | rw-r--r-- | 1,590 | makefile.in |
|
- | rwxr-xr-x | 550 | mkconfig |
|
- | rw-r--r-- | 5,179 | picogcnf.c |
|
- | rw-r--r-- | 8,396 | picomcs.c |
|
- | rw-r--r-- | 12,589 | picomus.c |
|
- | rw-r--r-- | 161,734 | picosat.c |
|
- | rw-r--r-- | 28,293 | picosat.h |
|
- | rw-r--r-- | 168 | version.c |