Initial redline port#92

andreaTP wants to merge 7 commits into

bytecodealliance:mainbytecodealliance/endive:mainfrom

andreaTP:initial-redlineandreaTP/endive:initial-redlineCopy head branch name to clipboard