| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
need to use power.
|
|
|
|
|
|
neq_range.
|
|
|
|
|
|
exceptions are not permitted so a local mutable variable, ret, is used in ocaml to store the return value. This avoids having to define a new exception type for each function. Ocaml infers the type of the option when it is assigned at the return site.
|
|
taking account of register direction.
|
|
way but standard for C and most hw.
|
|
more correct
|
|
|
|
|
|
converting to integers, allowing them to work on vectors containing undef.
|
|
|
|
|
|
for mips compatibility.
|
|
|
|
|
|
possible to rewrite using arithmetic on big_int which might be faster.
|
|
embedding.
|
|
|
|
interpreter interface
|
|
|
|
(probably) at least for Power.
|
|
variants when there are more than 246 constructors
|
|
|
|
|
|
more library
|
|
Tweak to rewriter to actually rewrite function patterns
|
|
output of such
|
