Jeremiah Orians e25c1995aa Make types more proper		2020-12-27 21:51:46 -05:00
..
.gitignore	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
cleanup.sh	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
hello-aarch64.sh	Fix GCC 10 compatibility issue	2020-11-15 20:28:33 -05:00
hello-amd64.sh	Fix GCC 10 compatibility issue	2020-11-15 20:28:33 -05:00
hello-armv7l.sh	Fix GCC 10 compatibility issue	2020-11-15 20:28:33 -05:00
hello-knight-posix.sh	Fix GCC 10 compatibility issue	2020-11-15 20:28:33 -05:00
hello-x86.sh	Fix GCC 10 compatibility issue	2020-11-15 20:28:33 -05:00
proof.answer	Make types more proper	2020-12-27 21:51:46 -05:00