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-28Add second objection.HEADmasterKaz Kylheku1-1/+51
2015-01-28Fix (program, input) argument list to (input, input).Kaz Kylheku1-1/+1
2015-01-28Substantial revision.Kaz Kylheku1-68/+99
2015-01-25Fixed error in pseudo-code comment.Kaz Kylheku1-1/+1
2015-01-15Wording improvements.halt3-1.6Kaz Kylheku1-12/+14
2015-01-15Adding proof sketch.Kaz Kylheku1-0/+287
2015-01-14Support --standalone-only option.halt3-1.5Kaz Kylheku1-12/+37
2015-01-14Include the deciders after the main program.halt3-1.4Kaz Kylheku1-5/+5
2015-01-14Adding license file.Kaz Kylheku1-0/+24
2015-01-14Fix misleading diagnostics in test case program.halt3-1.3Kaz Kylheku1-4/+6
[...]
 
Clone
https://www.kylheku.com/git/halt3
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-05 10:58:25 +0000