aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_typesig.erl
AgeCommit message (Expand)Author
2018-02-07Merge branch 'hasse/no_get_stacktrace/OTP-14861'Hans Bolinder
2018-02-06dialyzer: Assign a type to the primop build_stacktraceHans Bolinder
2018-02-05dialyzer: Do not call erlang:get_stacktrace()Hans Bolinder
2017-11-30Add syntax in try/catch to retrieve the stacktrace directlyBjörn Gustavsson
2017-11-22dialyzer: Extend the map implementation's handling of ?unitHans Bolinder
2017-06-13dialyzer: Minor optimizationsHans Bolinder
2017-06-13dialyzer: Correct a mistakeHans Bolinder
2017-06-13dialyzer: Optimize by avoiding some table lookupsHans Bolinder
2017-06-09dialyzer: Improve handling of UnicodeHans Bolinder
2017-03-06Merge branch 'maint'Hans Bolinder
2017-02-28dialyzer: Minor fixHans Bolinder
2017-02-06Merge branch 'hasse/dialyzer/memory_opt/OTP-14127'Hans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-03dialyzer: Fix a Dialyzer warningHans Bolinder
2017-02-03dialyzer: Attempt to reduce memory consumptionHans Bolinder
2017-02-03Merge branch 'maint'Hans Bolinder
2017-02-01dialyzer: Optimize typesigHans Bolinder
2017-02-01dialyzer: Optimize evaluation of complex codeHans Bolinder
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Use maps instaed of dictHans Bolinder
2017-01-11dialyzer: Optimize memory consumptionHans Bolinder
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2016-05-04dialyzer: Use maps instead of dictHans Bolinder
2016-05-04dialyzer: Optimize the evaluation of SCC:s in module typesigHans Bolinder
2016-04-28dialyzer_typesig: Fix bad external typeMagnus Lång
2016-04-28dialyzer: Fix another pattern literal bugMagnus Lång
2016-04-28dialyzer_typesig: Fix simplification bugMagnus Lång
2016-04-28dialyzer: Unfold cerl patterns containing mapsMagnus Lång
2016-04-28dialyzer_typesig: Add map supportMagnus Lång
2015-10-09Update DialyzerHans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2015-05-05Fix a bug related to constraints generated for erlang:'*'/2Stavros Aronis
2015-03-10[dialyzer] Fix the conversion of forms to typesHans Bolinder
2015-01-14dialyzer: Introduce module local suppression of warningsHans Bolinder
2014-06-17[dialyzer] Fix handling of literal recordsHans Bolinder
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-01-31Shut off a dialyzer unmatched return warningKostis Sagonas
2014-01-29dialyzer: Remove dead codeBjörn-Egil Dahlberg
2014-01-28dialyzer,hipe,stdlib: Add Maps understanding to DialyzerBjörn-Egil Dahlberg
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
2013-04-08Minor refactoringsStavros Aronis
2013-04-08Fix an error in the type inference of bitstring dataStavros Aronis
2013-02-22Update copyright yearsBjörn-Egil Dahlberg
2013-02-20Merge branch 'ks/dialyzer-R16B-final-fixes/OTP-10865'Fredrik Gustafsson
2013-02-19Code simplificationKostis Sagonas
2013-02-15Minor refactoringStavros Aronis
2012-08-21Add an undocumented option [--solver [v1 | v2]]Hans Bolinder
2012-08-21Add an alternative implmentation of the typesignature solverHans Bolinder
2012-06-01Bug fixes and improvements of dialyzer_typesigHans Bolinder
2012-05-21Regulate all kinds of running workers up to the number of schedulersStavros Aronis
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-18 12:09:31 +0000