aboutsummaryrefslogtreecommitdiffstats
path: root/lib/typer
AgeCommit message (Expand)Author
2014-02-24Merge branch 'hb/dialyzer/deprecate_types/OTP-10342'Hans Bolinder
2014-02-24Dynamically configure typer_SUITE according to environmentTobias Schlager
2014-02-24Add test suites performing app and appup file checksTobias Schlager
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-29Prepare releaseOTP_R16A_RELEASE_CANDIDATEErlang/OTP
2013-01-15Implement ./otp_build configure --enable-silent-rulesAnthony Ramine
2012-09-04Merge tag 'OTP_R15B02'Björn-Egil Dahlberg
2012-09-03Prepare releaseOTP_R15B02Erlang/OTP
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-12Prepare releaseErlang/OTP
2011-12-01Fix Dialyzer's warnings in typerStavros Aronis
2011-11-30Fix crash in TyperStavros Aronis
2011-11-22Revert "Update version numbers for pre-release of R15"Björn-Egil Dahlberg
2011-11-22Update version numbers for pre-release of R15OTP_R15ABjörn Gustavsson
2011-10-04Prepare releaseOTP_R14B04Erlang/OTP
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-05-24Prepare releaseOTP_R14B03Erlang/OTP
2011-03-23Add options -pa Dir and -pz Dir to TypErTomas Abrahamsson
2011-03-11Update copyright yearsBjörn-Egil Dahlberg
2011-03-09Add release notes and up versionKostis Sagonas
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
2011-02-06Clean up of commentsKostis Sagonas
2011-02-06Up version to reflect major rewriteKostis Sagonas
2011-02-06Add '--no_spec' option to TyperStavros Aronis