Stratified synthesis for learning machine code instruction semantics - View it on GitHub