| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 1072 | logstatsplain |
| -rw-r--r-- | Makefile | 945 | logstatsplain |
| -rw-r--r-- | Makefile.on_marte | 406 | logstatsplain |
| -rw-r--r-- | Makefile.profiled | 1812 | logstatsplain |
| -rw-r--r-- | README | 623 | logstatsplain |
| l--------- | clock.c | 10 | logstatsplain |
| l--------- | cycles.h | 11 | logstatsplain |
| -rw-r--r-- | k1c.inline_50.log | 275 | logstatsplain |
| -rw-r--r-- | main.c | 7110 | logstatsplain |
| -rw-r--r-- | make.proto | 40 | logstatsplain |
| -rw-r--r-- | solver.c | 36071 | logstatsplain |
| -rw-r--r-- | solver.h | 5312 | logstatsplain |
| l--------- | sudoku.sat | 25 | logstatsplain |
| -rw-r--r-- | vec.h | 3170 | logstatsplain |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |