Andrius Štikonas 823be93875 Enable riscv32 tests.		2021-12-03 21:33:55 +00:00
..
fseek.c	Close files that were fopen:ed	2020-12-21 16:57:17 +01:00
hello-knight-posix.sh	Add riscv32 port.	2021-12-02 22:41:27 +00:00
proof.answer	Release 1.6.0	2020-04-30 22:35:22 -04:00
question	Release 1.6.0	2020-04-30 22:35:22 -04:00
run_test.sh	Enable riscv32 tests.	2021-12-03 21:33:55 +00:00