Klint - a lint-like tool for K-framework
by Felipe Tanus for Formal Systems Laboratory at UIUC
This project aims to create a stand-alone lint-like tool for K-framework that might be integrated on K compiler frontend.
by Felipe Tanus for Formal Systems Laboratory at UIUC
This project aims to create a stand-alone lint-like tool for K-framework that might be integrated on K compiler frontend.