| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 1093 | logstatsplain |
| -rw-r--r-- | Makefile | 310 | logstatsplain |
| -rw-r--r-- | NEWS | 4665 | logstatsplain |
| -rw-r--r-- | README | 187 | logstatsplain |
| -rw-r--r-- | VERSION | 4 | logstatsplain |
| -rw-r--r-- | app.c | 25279 | logstatsplain |
| -rw-r--r-- | config.h | 154 | logstatsplain |
| -rwxr-xr-x | configure.sh | 3227 | logstatsplain |
| -rw-r--r-- | main.c | 359 | logstatsplain |
| -rwxr-xr-x | mkconfig.sh | 553 | logstatsplain |
| d--------- | onefile | 75 | logstatsplain |
| -rw-r--r-- | picogcnf.c | 5179 | logstatsplain |
| -rw-r--r-- | picomcs.c | 8396 | logstatsplain |
| -rw-r--r-- | picomus.c | 12663 | logstatsplain |
| -rw-r--r-- | picosat.c | 163269 | logstatsplain |
| -rw-r--r-- | picosat.h | 28710 | logstatsplain |
| -rw-r--r-- | small.dat | 14 | logstatsplain |
| -rw-r--r-- | sudoku.sat | 242030 | logstatsplain |
| -rw-r--r-- | tiny.dat | 12 | logstatsplain |
| -rw-r--r-- | version.c | 168 | logstatsplain |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |