Age | Commit message (Expand) | Author |
---|---|---|
2019-04-29 | dialyzer: Fix dialyzer_dataflow:format_args_1() | Hans Bolinder |
2015-12-15 | dialyzer: Print constraints using the '::' syntax | Hans Bolinder |
2014-03-21 | dialyzer: generalize guard constraints in a new way | Hans Bolinder |