Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis)
#5150
Annotations
9 warnings
|
Set up Go
Restore cache failed: Dependencies file is not found in /home/runner/work/fiat-crypto/fiat-crypto. Supported file pattern: go.sum
|
|
BoringSSL bedrock2 test
‘fiat_p256_divstep_precomp’ defined but not used [-Wunused-function]
|
|
BoringSSL bedrock2 test
‘fiat_p256_divstep’ defined but not used [-Wunused-function]
|
|
BoringSSL bedrock2 test
‘fiat_p256_msat’ defined but not used [-Wunused-function]
|
|
BoringSSL bedrock2 test
‘fiat_p256_set_one’ defined but not used [-Wunused-function]
|
|
BoringSSL bedrock2 test
‘fiat_p256_from_bytes’ defined but not used [-Wunused-function]
|
|
BoringSSL bedrock2 test
‘fiat_p256_to_bytes’ defined but not used [-Wunused-function]
|
|
BoringSSL bedrock2 test
‘fiat_p256_to_montgomery’ defined but not used [-Wunused-function]
|
|
BoringSSL bedrock2 test
‘fiat_25519_relax’ defined but not used [-Wunused-function]
|
The logs for this run have expired and are no longer available.
Loading