Jeremiah Orians dc82e76d0d Resolved non-standard behavior across locales thanks to dddddd		2019-04-07 17:11:18 -04:00
..
.gitignore	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
basic_args.c	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
cleanup.sh	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
hello-armv7l.sh	Resolved non-standard behavior across locales thanks to dddddd	2019-04-07 17:11:18 -04:00
hello-knight-posix.sh	Resolved non-standard behavior across locales thanks to dddddd	2019-04-07 17:11:18 -04:00
hello-x86.sh	Resolved non-standard behavior across locales thanks to dddddd	2019-04-07 17:11:18 -04:00
proof-armv7l.answer	10/24 working tests for armv7l	2019-03-17 10:08:56 -04:00
proof-knight-posix.answer	Upgraded to 14/24 working tests	2019-02-26 18:04:49 -05:00
proof-x86.answer	Upgraded to 14/24 working tests	2019-02-26 18:04:49 -05:00