chopper icon indicating copy to clipboard operation
chopper copied to clipboard
verified publisher icon davidtr1037

Port to LLVM 3.8

Open roachspray opened this issue 8 years ago • 1 comments

There exists experimental support for Klee on LLVM 3.8.

roachspray avatar Apr 12 '18 14:04 roachspray

I am aware of that. Although I didn't test yet the integration with the DG project (with LLVM 3.8).

davidtr1037 avatar Apr 26 '18 19:04 davidtr1037