summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterAdd second objection.Kaz Kylheku10 years
 
TagDownloadAuthorAge
halt3-1.6halt3-1.6.tar.gz  halt3-1.6.tar.bz2  halt3-1.6.zip  Kaz Kylheku10 years
halt3-1.5halt3-1.5.tar.gz  halt3-1.5.tar.bz2  halt3-1.5.zip  Kaz Kylheku10 years
halt3-1.4halt3-1.4.tar.gz  halt3-1.4.tar.bz2  halt3-1.4.zip  Kaz Kylheku10 years
halt3-1.3halt3-1.3.tar.gz  halt3-1.3.tar.bz2  halt3-1.3.zip  Kaz Kylheku10 years
halt3-1.2halt3-1.2.tar.gz  halt3-1.2.tar.bz2  halt3-1.2.zip  Kaz Kylheku10 years
halt3-1.1halt3-1.1.tar.gz  halt3-1.1.tar.bz2  halt3-1.1.zip  Kaz Kylheku10 years
halt3-1.0halt3-1.0.tar.gz  halt3-1.0.tar.bz2  halt3-1.0.zip  Kaz Kylheku10 years
 
AgeCommit messageAuthorFilesLines
2015-01-14Fix misleading diagnostics in test case program.halt3-1.3Kaz Kylheku1-4/+6
2015-01-13Stand-alone decider.halt3-1.2Kaz Kylheku1-0/+46
2015-01-13Tightening the compilation.halt3-1.1Kaz Kylheku1-1/+6
2015-01-13The input to the test case should be .c source.Kaz Kylheku1-2/+2
2015-01-13Initial revision.halt3-1.0Kaz Kylheku5-0/+152
 
Clone
https://www.kylheku.com/git/halt3
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-22 23:52:45 +0000