Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |
Viper functions can now be annotated with the type of their arguments and return value. Eg: @micropython.viper def f(x:int) -> int: return x + 1 | |||
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 | |
You can now do: X = const(123) Y = const(456 + X) and the compiler will replace X and Y with their values. See discussion in issue #266 and issue #573. |