| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-09-29 | tests: Add tests for viper binary operations. | Damien George |
| 2014-09-29 | py: Allow viper to use ints as direct conditionals in jumps. | Damien George |
| 2014-08-24 | py: Fix bug where GC collected native/viper/asm function data. | Damien George |
| 2014-08-16 | py: Viper can call functions with native types, and raise exceptions. | Damien George |
| 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 |
