aboutsummaryrefslogtreecommitdiffstats
path: root/lib/typer/src
AgeCommit message (Expand)Author
2017-03-10Update copyright yearRickard Green
2017-03-02typer: Update runtime dependenciesHans Bolinder
2017-01-11dialyzer: Try to reduce memory usageHans Bolinder
2017-01-11dialyzer: Use maps instaed of dictHans Bolinder
2017-01-11dialyzer: Use maps instead of dict for module contracts mapHans Bolinder
2017-01-11dialyzer: Do not send full PLTs as messagesHans Bolinder
2016-03-15update copyright-yearHenrik Nord
2016-01-26Clarify computation of exported types in DialyzerLuca Favatella
2015-09-28typer: Fix a bugHans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2015-05-08typer: Properly extract annotationsHans Bolinder
2014-04-28Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder
2014-04-10Correct the name of a compiler option and fix the corresponding warningsKostis Sagonas
2014-03-20Introduce runtime_dependencies in .app filesRickard Green
2014-02-24Merge branch 'hb/dialyzer/deprecate_types/OTP-10342'Hans Bolinder
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-02-18Fix library application appup filesTobias Schlager
2014-01-28typer: Rename map() type to map_dict()Björn-Egil Dahlberg
2013-01-15Implement ./otp_build configure --enable-silent-rulesAnthony Ramine
2012-08-31Merge branch 'maint'Björn-Egil Dahlberg
2012-08-31Update copyright yearsBjörn-Egil Dahlberg
2012-07-19typer: Remove VxWorksBjörn-Egil Dahlberg
2012-06-05Update to work with whitespace in exec pathLukas Larsson
2012-05-21Anonymous time serverStavros Aronis
2012-05-21Better reflect side-effect based code in dialyzer_callgraphStavros Aronis
2012-05-21Add --time option to DialyzerStavros Aronis
2012-05-21Fix typer crashesStavros Aronis
2011-12-01Fix Dialyzer's warnings in typerStavros Aronis
2011-11-30Fix crash in TyperStavros Aronis
2011-09-29Merge branch 'sa/dialyzer-bug-fixes' into devHenrik Nord
2011-09-28Fix typer's crash for nonexisting filesStavros Aronis
2011-09-16Quote atoms if necessary in typesTomas Abrahamsson
2011-03-23Add options -pa Dir and -pz Dir to TypErTomas Abrahamsson
2011-03-11Update copyright yearsBjörn-Egil Dahlberg
2011-02-10Strengthen some specsKostis Sagonas
2011-02-10Allow for --show_success_typings spelling alsoKostis Sagonas
2011-02-09Add '--show_success_typings' optionStavros Aronis
2011-02-08Fix crash in oveloaded contracts with overlapping domainsKostis Sagonas
2011-02-06Fix a type error and do some further cleanupKostis Sagonas
2011-02-06Type cleanups and simplificationsKostis Sagonas
2011-02-06Cleanup the analysis recordKostis Sagonas
2011-02-06Remove typer_annotator.erl and typer.hrlKostis Sagonas
2011-02-06Remove typer_info.erl fileKostis Sagonas
2011-02-06Remove typer_options.erl fileKostis Sagonas
2011-02-06Remove typer_preprocess.erl fileKostis Sagonas
2011-02-06Delete typer_map.erl file, really this timeKostis Sagonas
2011-02-06Delete typer_map.erl fileKostis Sagonas
2011-02-06Various cleanupsKostis Sagonas
2011-02-06Fix Typer's hanging when module name doesn't match filenameStavros Aronis
2011-02-06Moved option to its proper positionKostis Sagonas