| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-08-15 | py: Viper can now store to global. | Damien George |
| 2014-08-15 | py: Fix typing of viper locals; allow default types in annotation. | Damien George |
| 2014-08-15 | py: Allow viper to have type annotations. | Damien George |
| 2014-05-31 | tests: Add feature test for when heap allocation is disabled. | Damien George |
| 2014-05-08 | py, compiler: Add basic support for A=const(123). | Damien George |
