Hi, We now have a simple dashboard to track the evolution of Alive2 reports on the LLVM unit tests. Some of the reports are bugs in Alive2, others bugs in LLVM, and others might be undecided due to unclear semantics. Please note that sometimes the number of reports increases when we add support for another LLVM feature in Alive2, which then makes it find bugs that were previously hidden. The page is temporarily here: https://web.ist.utl.pt/nuno.lopes/alive2/ For now this page tracks the number of reports over time, and shows the reports for the last 5 runs. Thanks to everybody that has helped triaging & fixing bugs so far! Let's get LLVM to zero bugs! :) Nuno