find out LLVM policy for ABI/API compatibility

runtimeverification / rv-predict

Code for improved rv-predict and installer

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

2 stars 3 forks source link

Open gnuoyd opened 7 years ago

gnuoyd commented 7 years ago

If we're going to distribute our instrumentation pass as a dynamically-loaded object, then we need to know what compilers it will be compatible with.

gnuoyd commented 6 years ago

This is more like a backlog development item.