caballa
commented
2 years ago - Explain how to make a good use of configuration priming. For instance, our OCCAM interpreter of LLVM bitcode does not execute library code. FFI will not typically recognize application libraries so configuration priming will be less effective. One solution is to make sure that relevant library code is given as LLVM bitcode. We also plan in the future to extend OCCAM interpreter to execute also application library code.
- Some instructions on how to apply OCCAM on some code + musllvm.