Age | Commit message (Expand) | Author |
2013-06-12 | Update copyright years | Björn-Egil Dahlberg |
2013-04-24 | [dialyzer] Fix a bug concerning the --gui and --wx options | Hans Bolinder |
2013-04-10 | Merge branch 'sa/dialyzer-bitstring-fixes/OTP-11027' into maint | Fredrik Gustafsson |
2013-04-08 | Minor refactorings | Stavros Aronis |
2013-04-08 | Fix minor error in natively compiled module list | Stavros Aronis |
2013-04-08 | Fix notification for duplicate modules | Stavros Aronis |
2013-04-08 | Fix an error in the type inference of bitstring data | Stavros Aronis |
2013-03-26 | Improve Dialyzer output for scan errors | Magnus Henoch |
2013-03-06 | Include module, function and arity in Dialyzer's "overlapping domain" warnings | Magnus Henoch |
2013-02-22 | Update copyright years | Björn-Egil Dahlberg |
2013-02-20 | Merge branch 'ks/dialyzer-R16B-final-fixes/OTP-10865' | Fredrik Gustafsson |
2013-02-19 | Native code compilation changes | Kostis Sagonas |
2013-02-19 | Code simplification | Kostis Sagonas |
2013-02-19 | Simplify a case construct using inequality | Kostis Sagonas |
2013-02-19 | Simplify a case construct using a boolean operator | Kostis Sagonas |
2013-02-19 | Code simplifications + take out obsolete note | Kostis Sagonas |
2013-02-15 | Minor refactoring | Stavros Aronis |
2013-02-15 | Support for types with the same name and different arity | Stavros Aronis |
2013-01-22 | Merge branch 'sa/dialyzer-list-spec/OTP-10740' | Fredrik Gustafsson |
2013-01-15 | Implement ./otp_build configure --enable-silent-rules | Anthony Ramine |
2012-12-20 | Report spec discrepancy on mismatching lists | Stavros Aronis |
2012-11-23 | Update copyright years | Björn-Egil Dahlberg |
2012-10-03 | Merge branch 'maint' | Henrik Nord |
2012-09-26 | Fix a crash in race condition detection | Stavros Aronis |
2012-09-26 | Remove old untested experimental extension | Stavros Aronis |
2012-09-26 | Respect {plt_check,false} option when using dialyzer:run/1 | Stavros Aronis |
2012-09-24 | dialyzer: Do not output warnings for unused funs | Hans Bolinder |
2012-08-31 | Update copyright years | Björn-Egil Dahlberg |
2012-08-24 | Stop a forgotten server process | Kostis Sagonas |
2012-08-24 | Changes to fix warnings identified by running dialyzer -Wunmatched_returns | Kostis Sagonas |
2012-08-21 | Fix a bug in dialyzer_dataflow | Hans Bolinder |
2012-08-21 | Add an undocumented option [--solver [v1 | v2]] | Hans Bolinder |
2012-08-21 | Add an alternative implmentation of the typesignature solver | Hans Bolinder |
2012-06-08 | Merge branch 'lukas/otp/install_with_whitespace/OTP-10107' into maint | Lukas Larsson |
2012-06-05 | Update to work with whitespace in exec path | Lukas Larsson |
2012-06-01 | Bug fixes and improvements of dialyzer_typesig | Hans Bolinder |
2012-05-21 | Logfile-like statistics (enabled with --resources) | Stavros Aronis |
2012-05-21 | Anonymous SCCtoPID ETS table | Stavros Aronis |
2012-05-21 | Anonymous time server | Stavros Aronis |
2012-05-21 | Regulate all kinds of running workers up to the number of schedulers | Stavros Aronis |
2012-05-21 | Relocate start and stop of timing server | Stavros Aronis |
2012-05-21 | Better names for callgaph ETS tables | Stavros Aronis |
2012-05-21 | Remove needless conversion | Stavros Aronis |
2012-05-21 | Fix types and specs | Stavros Aronis |
2012-05-21 | Inline a function in dialyzer_worker | Stavros Aronis |
2012-05-21 | Remove unused function | Stavros Aronis |
2012-05-21 | Change --time to --statistics and include more info | Stavros Aronis |
2012-05-21 | Better reflect side-effect based code in dialyzer_callgraph | Stavros Aronis |
2012-05-21 | Code simplifications (tidier) | Kostis Sagonas |
2012-05-21 | More efficient calculation of module deps and postorder | Stavros Aronis |