Category | Topics |
---|---|
AnnouncementsRelease updates and other announcements about and around Dezyne that we think will be useful to everyone.
|
2
|
DezyneAll about the language (Dezyne), concepts and expressiveness. Includes links to documentation and tutorials.
|
5
|
ToolingDiscuss the tools for Dezyne. dzn (file format), browser, IDE (LSP, VS Code, Emacs and more).
|
0
|
Code GenerationDiscuss the ins and outs of code generation. Supported languages. Language packs.
|
0
|
VerificationDiscussion about verification in Dezyne using mCRL2, which identifies issues such as deadlocks, livelocks and interface violations.
|
0
|
2
|