Jeremiah Orians 69c319ef6c Added working HEAP to knight-posix		2019-02-24 17:46:05 -05:00
..
.gitignore	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
cc500.c	Minor reordering of tests and the addition of unary - and ! support	2018-01-21 14:42:09 -05:00
cleanup.sh	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
hello.sh	Added working HEAP to knight-posix	2019-02-24 17:46:05 -05:00
proof0.answer	Minor reordering of tests and the addition of unary - and ! support	2018-01-21 14:42:09 -05:00
proof1.answer	Minor reordering of tests and the addition of unary - and ! support	2018-01-21 14:42:09 -05:00