100644 blob b3753fe19025b8acf821674b818ba4fec1d12b03	Makefile
100644 blob 0e11e938940743f0056e064618f9e64fdd64cc8b	fwrisc_exec_formal.sby
100755 blob 99a404fff13064859bbf510ae98325c88b40b8f3	status.sh