Remove llvm-dsa - Githubissues

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Closed caballa closed 4 years ago

caballa commented 5 years ago

sea-dsa already subsumes llvm-dsa so we should get rid of llvm-dsa once we have tested sea-dsa enough.

caballa commented 4 years ago

Done while porting to llvm 10.