Jeremiah Orians eb034f51e8 5/24 working tests for ARMv7l		2019-03-16 20:03:56 -04:00
..
.gitignore	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
for.c	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
hello-armv7l.sh	5/24 working tests for ARMv7l	2019-03-16 20:03:56 -04:00
hello-knight-posix.sh	Added working HEAP to knight-posix	2019-02-24 17:46:05 -05:00
hello-x86.sh	Added working HEAP to knight-posix	2019-02-24 17:46:05 -05:00
proof.answer	Added additional functionality such as mixed structs, do while loops,	2018-01-24 20:00:22 -05:00