Verum-Dezyne 2.18.3 is a bug-fix release.
We are happy to announce Dezyne 2.18 which introduces shared interface state.
We are happy to announce Verum Dezyne 2.17 which introduces implicit interface constraints, and more.
We are happy to announce Verum-Dezyne 2.16 which introduces the
defer keyword: A new language concept for implementing an
asynchronous interface. With defer, the basic semantics are complete.
We are proud and relieved to announce Verum Dezyne-IDE-2.15 which completes full support for blocking: This finally marks the Grand Unification into single threaded execution semantics.
We are delighted to announce Dezyne 2.13.3: The simulator function including system scope.
We are delighted to announce Dezyne 2.13.1: The simulator function including system scope.
We are delighted to announce Dezyne 2.13.2: The simulator function including system scope.
We are delighted to announce Dezyne 2.13: The simulator function including system scope.
We are delighted to announce Dezyne 2.12: The first release to include a complete state diagram for interfaces, components and systems.
We are delighted to announce Dezyne 2.11: The first standalone release of the Dezyne-IDE that includes simulation and visualization similar to 2.9.
We are delighted to announce Dezyne 2.10: The first standalone release of Dezyne. Dezyne no longer depends on a server to do verification or code or view generation.