| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Stand-alone decider.halt3-1.2 | Kaz Kylheku | 2015-01-13 | 1 | -0/+46 |
| | | | | | | | | | Generate an additional program which wraps just the decider in a simple driver main which lets the program be run independently, with both its inputs specified through the command line. The result of the decider is reported to standard output. | ||||
| * | Tightening the compilation.halt3-1.1 | Kaz Kylheku | 2015-01-13 | 1 | -1/+6 |
| | | | | | | - Provide prototypes for the deciders, so they are diagnosed if incorrect. - Add some compiler language and diagnostic options. | ||||
| * | 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 |