caballa opened this issue 5 years ago · 1 comments
sea-dsa already subsumes llvm-dsa so we should get rid of llvm-dsa once we have tested sea-dsa enough.
Done while porting to llvm 10.