Update to latest wiki version, fix bug in prty pseudocode
[soc.git] / libreriscv
1