Jeremiah Orians eb4ae60ee3 Revise test13 to work 4 年之前
..
.gitignore efbd4f616f Add minimal PPC64LE test for M1+hex2 4 年之前
cleanup.sh efbd4f616f Add minimal PPC64LE test for M1+hex2 4 年之前
hello.M1 efbd4f616f Add minimal PPC64LE test for M1+hex2 4 年之前
hello.sh eb4ae60ee3 Revise test13 to work 4 年之前
proof.answer eb4ae60ee3 Revise test13 to work 4 年之前