atom

Recent Blog Posts

Dezyne 2.19.0 released.

October 02, 2025

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.

read more ➔

Dezyne 2.18.4 released.

August 28, 2025

Dezyne 2.18.4 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.18.3 released.

September 06, 2024

Dezyne 2.18.3 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.18.2 released.

May 02, 2024

Dezyne 2.18.2 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.18.1 released.

March 04, 2024

Dezyne 2.18.1 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.9 released.

March 04, 2024

Dezyne 2.17.9 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.18.0 released.

December 15, 2023

We are happy to announce Dezyne 2.18 which introduces shared interface state.

read more ➔

Dezyne 2.17.8 released.

November 08, 2023

Dezyne 2.17.8 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.7 released.

October 30, 2023

Dezyne 2.17.7 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.6 released.

September 08, 2023

Dezyne 2.17.6 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.16.5 released.

September 08, 2023

Dezyne 2.16.5 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.15.5 released.

September 08, 2023

Dezyne 2.15.5 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.14.1 released.

September 08, 2023

Dezyne 2.14.1 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.5 released.

August 11, 2023

Dezyne 2.17.5 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.4 released.

August 03, 2023

Dezyne 2.17.4 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.3 released.

June 28, 2023

Dezyne 2.17.3 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.2 released.

April 24, 2023

Dezyne 2.17.2 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.16.4 released.

April 24, 2023

Dezyne 2.16.4 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.1 released.

January 27, 2023

Dezyne 2.17.1 is a bug-fix release. Enjoy!
The Dezyne developers.

read more ➔

Dezyne 2.17.0 released.

January 23, 2023

We are happy to announce Dezyne 2.17 which introduces implicit interface constraints.

read more ➔

Dezyne 2.16.3 released.

January 13, 2023

Dezyne 2.16.3 is a bug-fix release.

read more ➔

Dezyne 2.16.2 released.

October 17, 2022

Dezyne 2.16.2 is a bug-fix release.

read more ➔

Dezyne 2.16.1 released.

September 13, 2022

Dezyne 2.16.1 is a bug-fix release.

read more ➔

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.

read more ➔

Dezyne 2.15.4 released.

July 13, 2022

Dezyne 2.15.4 is a bug-fix release.

read more ➔

Dezyne 2.15.3 released.

July 01, 2022

Dezyne 2.15.3 is a bug-fix release.

read more ➔

Dezyne 2.15.2 released.

June 20, 2022

Dezyne 2.15.2 is a bug-fix release.

read more ➔

Dezyne 2.15.1 released.

June 02, 2022

Dezyne 2.15.1 is a bug-fix release.

read more ➔

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.

read more ➔

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.

read more ➔

Hello, world!

January 01, 1970

Finally, dezyne.org has been Haunted!

read more ➔