GitHub repository: runtimeverification/error-codes-mvn-plugin
Primary language: Java
Description: Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics