halt3 - Stuff related to the three-value halting problem.

	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	1	-0/+123