Jeremiah Orians 1975d88581 Fix GCC 10 compatibility issue		2020-11-15 20:28:33 -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	Enable support for C multi-strings	2020-11-15 18:58:25 -05:00