Skip to content

v1.5.1

Choose a tag to compare

@IvanRublev IvanRublev released this 12 Dec 21:29
· 29 commits to master since this release
  • Fix to detect mix compile with more reliable Code.can_await_module_compilation?

  • Fix to make benchmark run again as sub-project

  • Make :maybe_filter_precond_errors option to lift precondition error messages from the nested structs