Skip to content

Commit e9dac3b

Browse files
dpgeorgedpgeorge
committed
py: Add casting to viper; add native mem stores to viper.
Viper can now do the following: def store(p:ptr8, c:int): p[0] = c This does a store of c to the memory pointed to by p using a machine instructions inline in the code.
1 parent 44c96b2 commit e9dac3b

5 files changed

Lines changed: 271 additions & 82 deletions

File tree

0 commit comments

Comments
 (0)