diff options
| author | Gabriel Kerneis | 2014-02-12 17:03:37 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-12 17:03:37 +0000 |
| commit | 46da9326ddd64e123294ebaa50265db4d1ba9835 (patch) | |
| tree | f9edee8f99a387ab2b1921b5a19cf66a3c07c55f /src/finite_map.ml | |
| parent | cdcd5880a27ff16fdafb82bdaab57ab361e1f546 (diff) | |
More library functions for interpreter
There is now enough stuff to decode and execute a very basic Branch
instruction (encoding everything as little-endian rather than big-
endian among many other work-arounds).
Diffstat (limited to 'src/finite_map.ml')
0 files changed, 0 insertions, 0 deletions