100644 blob 978c485e160e6a2556bc6a7b1f77c89ed563bf35	Makefile
100644 blob 969dd2f5f52972ac2c5d0c36dce24bf9ddac1620	fwrisc_formal.sby
100755 blob 70ca9214661fb35c6ea4914f8349cfe9ade7b760	status.sh