Ziyang Xu

Hi @andreybokhanko , We have noticed this problem and will update the Dockerfile with the proper Python dependencies soon. In the meanwhile, if you are more interested in using CPF...

### To Compile - For Ubuntu 20.04, which has the newer glibc, a patch is needed to compile LLVM 9, which is included here: https://github.com/PrincetonUniversity/cpf/blob/master/bootstrap/diff-llvm-on-glibc231.patch You just need to apply...

@andreybokhanko Awesome! Also note that there's a dockerfile now in the master branch. You can try to use that to build the latest CPF.

Thank you for the feedback! Were you using the Dockerfile? It seems like a setup issue, the latest regression is passing https://github.com/PrincetonUniversity/cpf/runs/2725055202?check_suite_focus=true. We will double check the compilation inside docker....

In general, maybe we should do a sanitizer pass of CPF to check for all bugs like this.

Step 1: Build the master CPF with the Dockerfile Step 2: Create a benchmark under `/tests/regression/{bmark}`, put the source code under `{bmark}/src` and create an `execInfo` file under `{bmark}`, the...

@andreybokhanko Thank you for the feedback. We will work on a detailed explanation of each step and put it in the Wiki (https://github.com/PrincetonUniversity/cpf/wiki) by the end of this week.

Might be related to regression-watchdog

A modified version pgo-icall-prom can promote all functions: A standalone pass to check existing behavior: https://github.com/vgene/check-indirect-call-pass

Susan identified the proble to be reduxremed being turned off and is in the process of getting that back to life.