| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-04-22 | tests: Add more tests for viper, including tests for ViperTypeError's. | Damien George | |
| 2014-09-29 | py: Add casting to viper; add native mem stores to viper. | Damien George | |
| 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. | |||
