In AArch64 environment, copilot verifier fails to run due to an error raised from llvm-pretty-bc-parser package.
See here for more details.
This has been fixed in the latest version (0.5.1.0) of llvm-pretty-bc-parser, and crux-llvm package has been updated (0.10~) to use the latest release as well.
However, since the copilot-verifier does not allow the latest crux-llvm as dependency (0.9 ~ 0.10), I cannot build the verifier with the latest packages and thus cannot proceed to verification.
Is there any plan to bump the dependency versions?
In AArch64 environment, copilot verifier fails to run due to an error raised from
llvm-pretty-bc-parserpackage.See here for more details.
This has been fixed in the latest version (0.5.1.0) of
llvm-pretty-bc-parser, andcrux-llvmpackage has been updated (0.10~) to use the latest release as well.However, since the
copilot-verifierdoes not allow the latestcrux-llvmas dependency (0.9 ~ 0.10), I cannot build the verifier with the latest packages and thus cannot proceed to verification.Is there any plan to bump the dependency versions?