Update features list#1090

automergerpr-permission-manager[bot] merged 5 commits into

masterruntimeverification/mir-semantics:masterfrom

mk/status-updateruntimeverification/mir-semantics:mk/status-updateCopy head branch name to clipboard