1 Mozart 1.4.0

Mozart 1.4.0 is both a development and maintenance release. It contains some substantial changes compared to former releases. It provides some new features, but also discards some former features, making it backwards-incompatible in some cases. This chapter lists the differences between Mozart 1.4.0 and Mozart 1.3.2.

• 1.1 Changes to the language
  • 1.1.1 New distribution features
  • 1.1.2 New fault model
  • 1.1.3 Post-mortem finalization

• 1.2 Changes to the implementation

• 1.3 Bug fixes