Home » org.key-project » recoder » 2.12.1

Projects » 2.12.1

Fork of the Recoder -- a parser/ast for Java with extensions for KeY-Java dialects.
LicenseGPL 2.0
HomePage https://key-project.org/ 🔍 Inspect URL
Links
DateOct 15, 2023
Filespom (2 KB)jar (873 KB)View All
RepositoriesCentral
Ranking
#315236in MvnRepository
💡
Newer Version Available
2.12.1→2.12.3
(5 changes)

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Licenses

LicenseURL
GNU General Public License (GPL), Version 2 https://www.gnu.org/licenses/old-licenses/gpl-2.0.html

Developers

NameEmailDev IdRolesOrganization
KeY Developerssupport<at>key-project.orgkey