| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 1131 | logstatsplain |
| -rw-r--r-- | example-error-decider.c | 96 | logstatsplain |
| -rw-r--r-- | example-halting-decider.c | 106 | logstatsplain |
| -rwxr-xr-x | genprog.sh | 5434 | logstatsplain |
| -rw-r--r-- | lib.sh | 145 | logstatsplain |
| -rw-r--r-- | proof-sketch.txt | 17989 | logstatsplain |
| -rw-r--r-- | ternary.h | 90 | logstatsplain |
 |
index : halt3 | |
| Stuff related to the three-value halting problem. | kaz@kylheku.com |
| summaryrefslogtreecommitdiffstats |