| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Stand-alone decider.halt3-1.2 | Kaz Kylheku | 2015-01-13 | 1 | -0/+46 |
| * | Tightening the compilation.halt3-1.1 | Kaz Kylheku | 2015-01-13 | 1 | -1/+6 |
| * | The input to the test case should be .c source. | Kaz Kylheku | 2015-01-13 | 1 | -2/+2 |
| * | Initial revision.halt3-1.0 | Kaz Kylheku | 2015-01-13 | 5 | -0/+152 |
 |
index : halt3 | |
| Stuff related to the three-value halting problem. | kaz@kylheku.com |
| summaryrefslogtreecommitdiffstats |