Release Notes: This release turns Lava into a language that completely prevents inadvertent access to uninitialized variables and null objects at programming time by complete static initialization checks. The new optional initialize clause of the declare construct will facilitate the creation/initialization of collections of Lava objects with mutual/circular/forward references. The semi-automatic Lava GUI generator allows you to assign event handlers to certain basic GUI events.
Release Notes: This release supports further Unix platforms. Event handling by callbacks has been completely revised. Class Object provides a new "recursive zombify" method. The NullSoft NSIS installer is used now for the binary Windows version. The build process allows you to benefit from GCC precompiled headers.
Release Notes: This version has an interactive run time and post-mortem debugger, and supports binary and text stream files.
Release Notes: This release fully supports "Design By Contract" after the model of the Eiffel language.
Release Notes: Expressive means for performing "design by contract" (after the model of the Eiffel language) have been implemented in LavaPE, namely pre- and post-conditions of methods and class invariants. These means are not yet executed by the Lava interpreter, however.