P-TOKEN-HOTFIX: Conversions between [u8;8] and u64 - #697

Closed

Stevengre wants to merge 9 commits into

feature/p-tokenfrom

bytes-u64-roundtrip

Commits on Sep 24, 2025

P-TOKEN-HOTFIX: Conversions between [u8;8] and u64
Stevengre
committed
3753c54

Commits on Sep 25, 2025

add symbolic attribute to => castAux rules
Stevengre
committed
2e86a00
constraint symbolic with symbolic(VAL)
Stevengre
committed
2aa8c0c
add concrete Bs
Stevengre
committed
efb8dd9
remove the rule for `Transmute from [u8; 8] to u64`
Stevengre
committed
e802c88
`no-evaluators` for castAux
Stevengre
committed
ec7b4b8
simplify MaybeTypeInfo
Stevengre
committed
59b756c
delete the rule that causes the long CI problem
Stevengre
committed
026f3ba

Commits on Sep 26, 2025

remove the useless `symbolic` attribute.
Stevengre
committed
4527a09