aboutsummaryrefslogtreecommitdiffstats
path: root/lib/typer/src/typer.erl
AgeCommit message (Expand)Author
2015-05-08typer: Properly extract annotationsHans Bolinder
2014-04-28Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-01-28typer: Rename map() type to map_dict()Björn-Egil Dahlberg
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-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-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 fileKostis Sagonas
2011-02-06First cut of tidier's cleanupKostis Sagonas
2010-09-10Remove warnings for clashes with new autoimported BIFsPatrik Nyblom
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP