summaryrefslogtreecommitdiff
path: root/tests/micropython
AgeCommit message (Collapse)Author
2014-08-16py: Viper can call functions with native types, and raise exceptions.Damien George
2014-08-15py: Viper can now store to global.Damien George
2014-08-15py: Fix typing of viper locals; allow default types in annotation.Damien George
2014-08-15py: 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-31tests: Add feature test for when heap allocation is disabled.Damien George
2014-05-08py, 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.