Update Dockerfile to LLVM 12

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

GNU General Public License v3.0

781 stars 137 forks source link

Closed sebastianpoeplau closed 10 months ago

aurelf commented 1 year ago

I added a few more "10"=>"12" we can merge that ?

tokatoka commented 10 months ago

can we use more recent version? like 15?

aurelf commented 10 months ago

It also needs a bump on the Ubuntu version... I'm checking this.