aronisstav/otp

Issues

• Dialyzer: Unknown type line number

  #14 opened 4 years ago by aronisstav
  0

• XDG_HOME

  #13 opened 4 years ago by aronisstav
  0

• Missing "overloaded contract" warnings when "more modules" are analyzed

  #12 opened 9 years ago by aronisstav
  1

• Inconsistency between dialyzer's results when a module is in the PLT vs when it is included in the analysis

  #11 opened 9 years ago by aronisstav
  3

• Opaque hanging

  #3 opened 9 years ago by aronisstav
  0

• Types with same name and different arity

  #2 opened 9 years ago by aronisstav
  0

• Cleanup code that handles Dialyzer's options

  #4 opened 9 years ago by aronisstav
  0

• Parameterized tuples

  #5 opened 9 years ago by aronisstav
  0

• Prioritization of warnings

  #6 opened 9 years ago by aronisstav
  0

• Distribute PLT with OTP

  #7 opened 9 years ago by aronisstav
  0

• PropEr testsuite for erl_types.erl

  #8 opened 9 years ago by aronisstav
  0

• File excessive values in spec's return type under -Wunderspecs

  #9 opened 9 years ago by aronisstav
  0

• Dialyzer hanging

  #1 opened 13 years ago by aronisstav
  2