HF RL Explorer

Update Solidity integer type mapping to use exact bit-width types

Update Solidity integer type mapping to use exact bit-width types: a task in LegoFlow-SWE (Harbor dataset). The current Solidity type system loses information about integer sizes when translating to Rust types. For instance, both uint24 and uint32 expand to the same Rust type u32 . This breaks the…

The task

The current Solidity type system loses information about integer sizes when translating to Rust types. For instance, both `uint24` and `uint32` expand to the same Rust type `u32`. This breaks the expected 1:1 correspondence between Solidity bit-widths and their Rust representations, causing issues for integrations…

Part of Lego-X/LegoFlow-SWE.