aboutsummaryrefslogtreecommitdiffstats
path: root/lib/typer
AgeCommit message (Expand)Author
2015-05-13Revert "Prepare release"Henrik Nord
2015-05-12Prepare releaseErlang/OTP
2015-05-08typer: Properly extract annotationsHans Bolinder
2014-06-24Merge tag 'OTP-17.1'Marcus Arendt
2014-06-19Prepare releaseErlang/OTP
2014-04-28Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder
2014-04-14Merge branch 'kostis/dialyzer-warn_export_vars' into maintHans Bolinder
2014-04-10Correct the name of a compiler option and fix the corresponding warningsKostis Sagonas
2014-04-10Prepare releaseErlang/OTP
2014-04-10Add initial documentation framework for TypEr.Rickard Green
2014-03-20Introduce runtime_dependencies in .app filesRickard Green
2014-03-20Bump versions and ensure that all are "normal" versionsRickard Green
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