| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add second objection.HEADmaster | Kaz Kylheku | 2015-01-28 | 1 | -1/+51 |
| * | Fix (program, input) argument list to (input, input). | Kaz Kylheku | 2015-01-28 | 1 | -1/+1 |
| * | Substantial revision. | Kaz Kylheku | 2015-01-28 | 1 | -68/+99 |
| * | Fixed error in pseudo-code comment. | Kaz Kylheku | 2015-01-25 | 1 | -1/+1 |
| * | Wording improvements.halt3-1.6 | Kaz Kylheku | 2015-01-15 | 1 | -12/+14 |
| * | Adding proof sketch. | Kaz Kylheku | 2015-01-15 | 1 | -0/+287 |
| * | 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 |