Recognise LLVM11 as supported README.MD

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

GNU General Public License v3.0

773 stars 135 forks source link

Closed zipy124 closed 3 years ago

zipy124 commented 3 years ago

As in title, update the README to recognise that LLVM 11 is now supported.

sebastianpoeplau commented 3 years ago

Totally valid, thanks!