issues
search
aronisstav
/
otp
Erlang/OTP
http://erlang.org
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Dialyzer: Unknown type line number
#14
aronisstav
opened
3 years ago
0
XDG_HOME
#13
aronisstav
opened
3 years ago
0
Missing "overloaded contract" warnings when "more modules" are analyzed
#12
aronisstav
opened
8 years ago
1
Inconsistency between dialyzer's results when a module is in the PLT vs when it is included in the analysis
#11
aronisstav
opened
8 years ago
3
Hb/dialyzer/from form
#10
aronisstav
closed
9 years ago
0
File excessive values in spec's return type under -Wunderspecs
#9
aronisstav
closed
8 years ago
0
PropEr testsuite for erl_types.erl
#8
aronisstav
closed
8 years ago
0
Distribute PLT with OTP
#7
aronisstav
closed
8 years ago
0
Prioritization of warnings
#6
aronisstav
closed
8 years ago
0
Parameterized tuples
#5
aronisstav
closed
8 years ago
0
Cleanup code that handles Dialyzer's options
#4
aronisstav
closed
8 years ago
0
Opaque hanging
#3
aronisstav
closed
8 years ago
0
Types with same name and different arity
#2
aronisstav
closed
8 years ago
0
Dialyzer hanging
#1
aronisstav
closed
12 years ago
2