Releases¶
Release notes for VeriLib application components. Each product line has an index page listing releases with a short summary; follow the link for full notes.
Product lines¶
| Line | Repository | Release index |
|---|---|---|
| Frontend | verilib-frontend | Frontend releases |
| Backend (atomizer / processor) | verilib-atomizer | Backend releases |
Cross-cutting¶
- Changelog — combined high-level changelog (when maintained)
- Migration guides — upgrade paths across versions
- Compatibility matrix — supported version combinations