aboutsummaryrefslogtreecommitdiffstats
path: root/lib/typer/src
AgeCommit message (Expand)Author
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
2011-02-06Clean up of commentsKostis Sagonas
2011-02-06Add '--no_spec' option to TyperStavros Aronis
2011-02-06Replace some string() with file:filename()Kostis Sagonas
2011-02-06First cut of tidier's cleanupKostis Sagonas
2010-09-10Remove warnings for clashes with new autoimported BIFsPatrik Nyblom
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-14typer: New version for the R13B04 releaseKostis Sagonas
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP