Release 0.9.12

0.9.12

• [CORRECTNESS] Fix lexing of 1./b. This was a critical bug that
  caused the expression to be incorrectly formatted as 1. / b
  (i.e. using / instead of ./).

  The main user-visible problem is that the style rule
  operator_whitespace could then re-write expressions and change
  semantics of the re-written code.

• Fix parsing of [,]. This is a valid expression and is equivalent
  to []. Previously a syntax error was issued.

• Fix parsing of [;;1] and similar expressions where leading or
  trailing semicolons or newlines were present in a matrix or
  cell. Previously a syntax error was issued.

• MH Style has a New rule spurious_row_semicolon which removes
  useless semicolons from matrix or cell expressions.

• MH Style now aligns any continuations in a more sensible way if the
  expression is inside brackets. This works for normal brackets, but
  also matrix and cell expressions:

  potato = [1 0
            0 1];
  kitten = foo(bar, ...
               baz);
  

  There are two new configuration options to control this behaviour:
  align_round_brackets and align_other_brackets for ( and [{
  respectively.

• New configuration option regex_tickets which can be used to
  identify which text strings are tickets in your particular issue
  tracking system. This information is used by MH Metric to produce a
  report on all tickets referenced in justifications.

• MH BMC:
  Started work on an experimental tool for bounded model
  checking. This tool is not usable for anything yet, but is intended
  as a proof-of-concept.

• Also provide the --html option for MH Lint.

• New --json option for MH Style and MH Lint to produce message
  using JSON. In the future the --html option from MH Style and MH
  Lint will disappear and be replaced by a small set of tools that
  render JSON messages in plain text, HTML, or post mesages as gerrit
  review comments. The exact schema of this JSON file is not stable
  yet.