/CoreJIT

Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

No issues in this repository yet.