GitHub repository: metalift/metalift
Primary language: LLVM
Created: 2019-07-08T04:51:57Z
Description: A program synthesis framework for verified lifting applications