feat!: multiple concurrent protosyn#1

tianrui-wei wants to merge 1 commit into

UCSBarchlab:openpiton-devUCSBarchlab/openpiton:openpiton-devfrom

tianrui-wei:protosyn-fixtianrui-wei/openpiton:protosyn-fixCopy head branch name to clipboard