Category Topics

Announcements

Release updates and other announcements about and around Dezyne that we think will be useful to everyone.
9
2

Dezyne

All about the language (Dezyne), concepts and expressiveness. Includes links to documentation and tutorials.
7

Tooling

Discuss the tools for Dezyne. dzn (file format), browser, IDE (LSP, VS Code, Emacs and more).
0

Code Generation

Discuss the ins and outs of code generation. Supported languages. Language packs.
1

Verification

Discussion about verification in Dezyne using mCRL2, which identifies issues such as deadlocks, livelocks and interface violations.
0
5

Known Issues

Identified issues and discussion.
2