We are happy to announce Dezyne 2.19 which introduces data return, invariants, and directory support for verify and code. This release represents 258 commits over one year.
Recent Blog Posts
Dezyne 2.18.4 released.
August 28, 2025
Dezyne 2.18.4 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.18.3 released.
September 06, 2024
Dezyne 2.18.3 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.18.2 released.
May 02, 2024
Dezyne 2.18.2 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.18.1 released.
March 04, 2024
Dezyne 2.18.1 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.9 released.
March 04, 2024
Dezyne 2.17.9 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.18.0 released.
December 15, 2023
We are happy to announce Dezyne 2.18 which introduces shared interface state.
Dezyne 2.17.8 released.
November 08, 2023
Dezyne 2.17.8 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.7 released.
October 30, 2023
Dezyne 2.17.7 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.6 released.
September 08, 2023
Dezyne 2.17.6 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.16.5 released.
September 08, 2023
Dezyne 2.16.5 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.15.5 released.
September 08, 2023
Dezyne 2.15.5 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.14.1 released.
September 08, 2023
Dezyne 2.14.1 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.5 released.
August 11, 2023
Dezyne 2.17.5 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.4 released.
August 03, 2023
Dezyne 2.17.4 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.3 released.
June 28, 2023
Dezyne 2.17.3 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.2 released.
April 24, 2023
Dezyne 2.17.2 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.16.4 released.
April 24, 2023
Dezyne 2.16.4 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.1 released.
January 27, 2023
Dezyne 2.17.1 is a bug-fix release.
Enjoy!
The Dezyne developers.
Dezyne 2.17.0 released.
January 23, 2023
We are happy to announce Dezyne 2.17 which introduces implicit interface constraints.
Dezyne 2.16.0 released.
August 18, 2022
We are happy to announce Dezyne 2.16 which introduces the defer
keyword: A new language concept for implementing an asynchronous
interface. With defer, the basic semantics are complete.
Dezyne 2.15.0 released as free software!
May 06, 2022
We are proud and relieved to announce Dezyne 2.15 which completes full support for blocking: This finally marks the Grand Unification into single threaded execution semantics.
Dezyne 2.14.0 released as free software!
December 06, 2021
We are thrilled to announce Dezyne 2.14: Dezyne is now being released as free software (FLOSS); thank you verum.com! Of course, Verum will continue to sponsor development of Dezyne, as well as offer the commercial Dezyne-IDE integration.