Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "declare all LLVM function imports unsafe: executing thread wi…
…ll block" This reverts commit 207d6b1. The branch crashed in a proof with 16x parallelism, trying with `Safe` calls again to narrow down why.
- Loading branch information