Verum-Dezyne 2.17.2 is a bug-fix release.
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.2: 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: 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.