github rems-project/sail 0.16

latest releases: 0.17.1, 0.17
10 months ago

CHANGES:

New documentation backend

A new documentation backend for integrating with Asciidoctor has been
added.

Automatic formatting (EXPERIMENTAL)

The sail -fmt option can be used to automatically format Sail
source. This currently misses some features and can produce ugly
output in some known cases, so is not ready for serious usage yet.

Fixes

Various bugfixes including:

Various mapping issues such as:

As well as other minor issues

The val cast syntax and support for implict casts is now entirely
removed, as mentioned in the previous release changes. The flags are
still allowed (to avoid breaking Makefiles) but no longer do anything.

The pattern completeness checker has been improved and is now context
sensitive in some cases.

Don't miss a new sail release

NewReleases is sending notifications on new releases.