Fork of the Recoder -- a parser/ast for Java with extensions for KeY-Java dialects.
Version2.12.1compared with
Version Details
| 2.12.0 | 2.12.1 | |
|---|---|---|
| Release date | Aug 18, 2023 | Oct 15, 2023 |
| Licenses | GPL 2.0 | GPL 2.0 |
| Vulnerabilities | None | None |
No dependency changes compared to the selected version.