You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We are looking for a trustworthy C++ library to emulate x86 instructions. Is it possible to use this work? Can the semantics in K be compiled to C/C++? if not, is there a fast C++ K interpreter?
The text was updated successfully, but these errors were encountered:
It should be possible, yes. @dwightguth or @theo25 would know more about the details.
What I'm not sure about is whether this semantics has been updated to use the LLVM backend. Currently it likely supports the OCaml backend. That means the K definition in compiled into OCaml code which implements an x86 interpreter.
If you update it to the LLVM backend (which may or may not be a lot of work), then you will have a much faster x86 interpreter.
Pretty sure this never actually made it off the java backend. So there's a lot of maintenance to do here before you could reasonably use it with modern K. It's probably not worth pursuing if you want an out of the box solution.
We are looking for a trustworthy C++ library to emulate x86 instructions. Is it possible to use this work? Can the semantics in K be compiled to C/C++? if not, is there a fast C++ K interpreter?
The text was updated successfully, but these errors were encountered: