| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Add second objection. | Kaz Kylheku | 10 years | |
| Tag | Download | Author | Age | |
| halt3-1.6 | halt3-1.6.tar.gz halt3-1.6.tar.bz2 halt3-1.6.zip | Kaz Kylheku | 10 years | |
| halt3-1.5 | halt3-1.5.tar.gz halt3-1.5.tar.bz2 halt3-1.5.zip | Kaz Kylheku | 10 years | |
| halt3-1.4 | halt3-1.4.tar.gz halt3-1.4.tar.bz2 halt3-1.4.zip | Kaz Kylheku | 10 years | |
| halt3-1.3 | halt3-1.3.tar.gz halt3-1.3.tar.bz2 halt3-1.3.zip | Kaz Kylheku | 10 years | |
| halt3-1.2 | halt3-1.2.tar.gz halt3-1.2.tar.bz2 halt3-1.2.zip | Kaz Kylheku | 10 years | |
| halt3-1.1 | halt3-1.1.tar.gz halt3-1.1.tar.bz2 halt3-1.1.zip | Kaz Kylheku | 10 years | |
| halt3-1.0 | halt3-1.0.tar.gz halt3-1.0.tar.bz2 halt3-1.0.zip | Kaz Kylheku | 10 years | |
 |
index : halt3 | |
| Stuff related to the three-value halting problem. | kaz@kylheku.com |
| summaryrefslogtreecommitdiffstats |