| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Support --standalone-only option.halt3-1.5 | Kaz Kylheku | 2015-01-14 | 1 | -12/+37 |
| * | Include the deciders after the main program.halt3-1.4 | Kaz Kylheku | 2015-01-14 | 1 | -5/+5 |
| * | Adding license file. | Kaz Kylheku | 2015-01-14 | 1 | -0/+24 |
| * | Fix misleading diagnostics in test case program.halt3-1.3 | Kaz Kylheku | 2015-01-14 | 1 | -4/+6 |
| * | 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 |