|
Function Name  |
Hit count  |
| fd_bn254.c:fiat_bn254_scalar_add |
0 |
| fd_bn254.c:fiat_bn254_scalar_addcarryx_u64 |
0 |
| fd_bn254.c:fiat_bn254_scalar_cmovznz_u64 |
0 |
| fd_bn254.c:fiat_bn254_scalar_divstep |
0 |
| fd_bn254.c:fiat_bn254_scalar_divstep_precomp |
0 |
| fd_bn254.c:fiat_bn254_scalar_from_bytes |
0 |
| fd_bn254.c:fiat_bn254_scalar_from_montgomery |
0 |
| fd_bn254.c:fiat_bn254_scalar_msat |
0 |
| fd_bn254.c:fiat_bn254_scalar_mul |
0 |
| fd_bn254.c:fiat_bn254_scalar_mulx_u64 |
0 |
| fd_bn254.c:fiat_bn254_scalar_nonzero |
0 |
| fd_bn254.c:fiat_bn254_scalar_opp |
0 |
| fd_bn254.c:fiat_bn254_scalar_selectznz |
0 |
| fd_bn254.c:fiat_bn254_scalar_set_one |
0 |
| fd_bn254.c:fiat_bn254_scalar_square |
0 |
| fd_bn254.c:fiat_bn254_scalar_sub |
0 |
| fd_bn254.c:fiat_bn254_scalar_subborrowx_u64 |
0 |
| fd_bn254.c:fiat_bn254_scalar_to_bytes |
0 |
| fd_bn254.c:fiat_bn254_scalar_to_montgomery |
0 |
| fd_poseidon.c:fiat_bn254_scalar_add |
0 |
| fd_poseidon.c:fiat_bn254_scalar_addcarryx_u64 |
0 |
| fd_poseidon.c:fiat_bn254_scalar_cmovznz_u64 |
0 |
| fd_poseidon.c:fiat_bn254_scalar_divstep |
0 |
| fd_poseidon.c:fiat_bn254_scalar_divstep_precomp |
0 |
| fd_poseidon.c:fiat_bn254_scalar_from_bytes |
0 |
| fd_poseidon.c:fiat_bn254_scalar_from_montgomery |
0 |
| fd_poseidon.c:fiat_bn254_scalar_msat |
0 |
| fd_poseidon.c:fiat_bn254_scalar_mul |
0 |
| fd_poseidon.c:fiat_bn254_scalar_mulx_u64 |
0 |
| fd_poseidon.c:fiat_bn254_scalar_nonzero |
0 |
| fd_poseidon.c:fiat_bn254_scalar_opp |
0 |
| fd_poseidon.c:fiat_bn254_scalar_selectznz |
0 |
| fd_poseidon.c:fiat_bn254_scalar_set_one |
0 |
| fd_poseidon.c:fiat_bn254_scalar_square |
0 |
| fd_poseidon.c:fiat_bn254_scalar_sub |
0 |
| fd_poseidon.c:fiat_bn254_scalar_subborrowx_u64 |
0 |
| fd_poseidon.c:fiat_bn254_scalar_to_bytes |
0 |
| fd_poseidon.c:fiat_bn254_scalar_to_montgomery |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_add |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_addcarryx_u64 |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_cmovznz_u64 |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_divstep |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_divstep_precomp |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_from_bytes |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_from_montgomery |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_msat |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_mul |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_mulx_u64 |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_nonzero |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_opp |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_selectznz |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_set_one |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_square |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_sub |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_subborrowx_u64 |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_to_bytes |
0 |
| fd_vm_syscall_crypto.c:fiat_bn254_scalar_to_montgomery |
0 |
| test_bn254.c:fiat_bn254_scalar_add |
0 |
| test_bn254.c:fiat_bn254_scalar_addcarryx_u64 |
0 |
| test_bn254.c:fiat_bn254_scalar_cmovznz_u64 |
0 |
| test_bn254.c:fiat_bn254_scalar_divstep |
0 |
| test_bn254.c:fiat_bn254_scalar_divstep_precomp |
0 |
| test_bn254.c:fiat_bn254_scalar_from_bytes |
0 |
| test_bn254.c:fiat_bn254_scalar_from_montgomery |
0 |
| test_bn254.c:fiat_bn254_scalar_msat |
0 |
| test_bn254.c:fiat_bn254_scalar_mul |
0 |
| test_bn254.c:fiat_bn254_scalar_mulx_u64 |
0 |
| test_bn254.c:fiat_bn254_scalar_nonzero |
0 |
| test_bn254.c:fiat_bn254_scalar_opp |
0 |
| test_bn254.c:fiat_bn254_scalar_selectznz |
0 |
| test_bn254.c:fiat_bn254_scalar_set_one |
0 |
| test_bn254.c:fiat_bn254_scalar_square |
0 |
| test_bn254.c:fiat_bn254_scalar_sub |
0 |
| test_bn254.c:fiat_bn254_scalar_subborrowx_u64 |
0 |
| test_bn254.c:fiat_bn254_scalar_to_bytes |
0 |
| test_bn254.c:fiat_bn254_scalar_to_montgomery |
0 |
| test_poseidon.c:fiat_bn254_scalar_add |
0 |
| test_poseidon.c:fiat_bn254_scalar_addcarryx_u64 |
0 |
| test_poseidon.c:fiat_bn254_scalar_cmovznz_u64 |
0 |
| test_poseidon.c:fiat_bn254_scalar_divstep |
0 |
| test_poseidon.c:fiat_bn254_scalar_divstep_precomp |
0 |
| test_poseidon.c:fiat_bn254_scalar_from_bytes |
0 |
| test_poseidon.c:fiat_bn254_scalar_from_montgomery |
0 |
| test_poseidon.c:fiat_bn254_scalar_msat |
0 |
| test_poseidon.c:fiat_bn254_scalar_mul |
0 |
| test_poseidon.c:fiat_bn254_scalar_mulx_u64 |
0 |
| test_poseidon.c:fiat_bn254_scalar_nonzero |
0 |
| test_poseidon.c:fiat_bn254_scalar_opp |
0 |
| test_poseidon.c:fiat_bn254_scalar_selectznz |
0 |
| test_poseidon.c:fiat_bn254_scalar_set_one |
0 |
| test_poseidon.c:fiat_bn254_scalar_square |
0 |
| test_poseidon.c:fiat_bn254_scalar_sub |
0 |
| test_poseidon.c:fiat_bn254_scalar_subborrowx_u64 |
0 |
| test_poseidon.c:fiat_bn254_scalar_to_bytes |
0 |
| test_poseidon.c:fiat_bn254_scalar_to_montgomery |
0 |