- 29 Sep, 2014 1 commit
-
-
Damien George authored
Viper can now do the following: def store(p:ptr8, c:int): p[0] = c This does a store of c to the memory pointed to by p using a machine instructions inline in the code.
-
- 06 Sep, 2014 1 commit
-
-
Damien George authored
-
- 30 Aug, 2014 1 commit
-
-
Damien George authored
Part of code cleanup, working towards resolving issue #50.
-
- 28 Aug, 2014 1 commit
-
-
Damien George authored
This way, the native glue code is only compiled if native code is enabled (which makes complete sense; thanks to Paul Sokolovsky for the idea). Should fix issue #834.
-