closes PR #620, #621, #624#627

proccaserra wants to merge 2 commits into

developISA-tools/isa-api:developfrom

dev-prsISA-tools/isa-api:dev-prsCopy head branch name to clipboard