feature/regs-read-write#15

tperami merged 4 commits intomainrems-project/archsem:mainfrom

feature/regs-read-writerems-project/archsem:feature/regs-read-writeCopy head branch name to clipboard