2 ms·

Does anybody know what .k files are? I see them in the repo but haven't seen them before. And for reference (from the page), their repo is here... but their fi

Does anybody know what .k files are? I see them in the repo but haven't seen them before. And for reference (from the page), their repo is here... but their file names contain colons, and hence can't be checked out on Windows: https://github.com/sdasgup3/binary-decompilation https://github.com/sdasgup3/binary-decompilation

sidereal 8y ago
They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page http://www.kframework.org/index.php/Main_Page
- mehrdadn 8y ago
  Thank you!