• Damien George's avatar
    py/viper: Allow casting of Python integers to viper pointers. · 3e02b1d1
    Damien George authored
    This allows you to pass a number (being an address) to a viper function
    that expects a pointer, and also allows casting of integers to pointers
    within viper functions.
    
    This was actually the original behaviour, but it regressed due to native
    type identifiers being promoted to 4 bits in width.
    3e02b1d1