SCaml.ml should implement more semantics in OCaml.
Some of fucntions in SCaml.ml
are implemented in OCaml, but
- The others are left unimplemented, i.e.
assert false
- Some of them may be wrong.
Of course it is impossible to implement completely identical semantics as Michelson, we should provide something similar at least.