Bump rewriter from `2f9a755` to `5b13cd7` #4635

Annotations

9 warnings

Restore cache failed: Dependencies file is not found in /home/runner/work/fiat-crypto/fiat-crypto. Supported file pattern: go.sum

‘fiat_p256_divstep_precomp’ defined but not used [-Wunused-function]

‘fiat_p256_divstep’ defined but not used [-Wunused-function]

‘fiat_p256_msat’ defined but not used [-Wunused-function]

‘fiat_p256_set_one’ defined but not used [-Wunused-function]

‘fiat_p256_from_bytes’ defined but not used [-Wunused-function]

‘fiat_p256_to_bytes’ defined but not used [-Wunused-function]

‘fiat_p256_to_montgomery’ defined but not used [-Wunused-function]

‘fiat_25519_relax’ defined but not used [-Wunused-function]