aboutsummaryrefslogtreecommitdiff
path: root/tests/micropython
AgeCommit message (Expand)Author
2014-09-29tests: Add tests for viper binary operations.Damien George
2014-09-29py: Allow viper to use ints as direct conditionals in jumps.Damien George
2014-08-24py: Fix bug where GC collected native/viper/asm function data.Damien George
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
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