Finding Simple Rewrite Rules for the JIT with Z3The article discusses the use of Z3 and Python-API to find local peephole rewrite rules in PyPy's JIT traces, inspired by John Regehr's work on compiler correctness.