| title | author | |||
|---|---|---|---|---|
JIThm |
|
This is the development of JIThm, a verified JIT compiler with native code generation and speculative instructions.
This is a fork of FM-JIT with some added features of CoreJIT.
See the full README.md in the coqjit directory