Jeremiah Orians a704d133a1 Add support for get_machine to return the Operating system kernel před 6 roky
..
.gitignore 0a930aa473 Fix license headers před 6 roky
cleanup.sh 0a930aa473 Fix license headers před 6 roky
hello.sh a704d133a1 Add support for get_machine to return the Operating system kernel před 6 roky
hex.M1 0a930aa473 Fix license headers před 6 roky
hex0.hex0 0a930aa473 Fix license headers před 6 roky
hex1.hex0 0a930aa473 Fix license headers před 6 roky
proof1.answer db999a350a Create a make as a test AMD64/ELF hex1 implemented in Hex0 před 7 roky
proof2.answer db999a350a Create a make as a test AMD64/ELF hex1 implemented in Hex0 před 7 roky