Implementation of TACAS 2021 paper, "Extrapolating CFGs from RNNs"
Primary LanguagePython
No issues in this repository yet.