v2.2.0

• Fix issue in experimental analysis for unused optional named arguments where foo(~x=?) was not recognized.

v2.1.0

• Add -experimental command-line to turn on experimental analyses.
• New analysis for unused optional named arguments, under the -experimental flag.
• New analysis for dead modules, under the -experimental flag.

v1.16.0

• Only toplevel values are considered live when they have side-effects.
• Report a warning when a redundant @doesNotRaise annotation is used.

v1.15.0

• Report analysis stats at the end.
• Issue dead exception reports as Warning Dead Exception.
• Dead exception: fix location position for -write.
• Add command-line options -all and -all-cmt to run all the analyses at once.

v1.14.0

• CLI: rename -blacklist to -suppress and -whitelist to -unsuppress. This should clarify the semantics.
• When a generic exception is raised, as in raise(exn) report as if a specific exception of
  name genericException were raised. Can be suppressed just like real exceptions.
• Add new check for dead exceptions: that is exceptions defined but never raised directly or indirectly. An indirect raise (undecidable) is approximated by checking if the value is passed around in any way.

v1.13.0

• Exception Analysis: model functions from Yojson.Basic.Util.
• Exception Analysis: fix issue with OCaml >= 4.08 where raise was not recognized.
• Exception Analysis: fix issue with OCaml >= 4.08 where models of the standard library were not recognized.

v1.12.0

• Exception Analysis: print all the locations where a given exception is raised, not just one.
• DCE: rely on latest Bucklescritpt (7.3.2) and ReasonReact (0.8.0) to remove hack which fixes locations in code generated by the React PPX.

v1.11.0

• Add command-line options -blacklist and -whitelist that apply to all the analyses.
  Example: ../reanalyze.exe -exception -blacklist src -whitelist src/Ex
  will only show results for files src/Ex*.
  The analyses are not affected (e.g. transitively dead code), only the reporting is.

• Exception analysis: add support for @doesNotRaise to indicate that an expression does not raise any exceptions (to suppress possible analysis reports).

• Exception Analysis: add model for Yojson.Basic.from_string.

v1.10.0

• Exception: Add warning when raise or raise_notrace are used not in a direct call.
• Exception: support raise @@ Exn and Exn |> raise.
• Exception: model Js.Json.
• Exception: model bs-json.

v1.9.0

• Exception analysis: Model exceptions for Array, Buffer, Bytes, Char, Filename, Hashtbl, Pervasives, Str, String.