index
:
otp.git
HansN-patch-1
KennethL-patch-1
bjorn/contributing
bjorn/contributing-1
dgud-string-depr
gcc-5-pic-cmpxchg8b-quickfix
gh-pages
ingela/master/dtls/test-cuddle
maint
maint-17
maint-18
maint-19
maint-20
maint-21
maint-22
maint-r13
maint-r14
maint-r14b03
maint-r15
maint-r16
maint-r16b02
master
meta
sverker-ets-patch-1
Mirror of Erlang/OTP repository.
OTP Team
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
typer
/
src
Age
Commit message (
Expand
)
Author
2012-05-21
Better reflect side-effect based code in dialyzer_callgraph
Stavros Aronis
2012-05-21
Add --time option to Dialyzer
Stavros Aronis
2012-05-21
Fix typer crashes
Stavros Aronis
2011-12-01
Fix Dialyzer's warnings in typer
Stavros Aronis
2011-11-30
Fix crash in Typer
Stavros Aronis
2011-09-29
Merge branch 'sa/dialyzer-bug-fixes' into dev
Henrik Nord
2011-09-28
Fix typer's crash for nonexisting files
Stavros Aronis
2011-09-16
Quote atoms if necessary in types
Tomas Abrahamsson
2011-03-23
Add options -pa Dir and -pz Dir to TypEr
Tomas Abrahamsson
2011-03-11
Update copyright years
Björn-Egil Dahlberg
2011-02-10
Strengthen some specs
Kostis Sagonas
2011-02-10
Allow for --show_success_typings spelling also
Kostis Sagonas
2011-02-09
Add '--show_success_typings' option
Stavros Aronis
2011-02-08
Fix crash in oveloaded contracts with overlapping domains
Kostis Sagonas
2011-02-06
Fix a type error and do some further cleanup
Kostis Sagonas
2011-02-06
Type cleanups and simplifications
Kostis Sagonas
2011-02-06
Cleanup the analysis record
Kostis Sagonas
2011-02-06
Remove typer_annotator.erl and typer.hrl
Kostis Sagonas
2011-02-06
Remove typer_info.erl file
Kostis Sagonas
2011-02-06
Remove typer_options.erl file
Kostis Sagonas
2011-02-06
Remove typer_preprocess.erl file
Kostis Sagonas
2011-02-06
Delete typer_map.erl file, really this time
Kostis Sagonas
2011-02-06
Delete typer_map.erl file
Kostis Sagonas
2011-02-06
Various cleanups
Kostis Sagonas
2011-02-06
Fix Typer's hanging when module name doesn't match filename
Stavros Aronis
2011-02-06
Moved option to its proper position
Kostis Sagonas
2011-02-06
Clean up of comments
Kostis Sagonas
2011-02-06
Add '--no_spec' option to Typer
Stavros Aronis
2011-02-06
Replace some string() with file:filename()
Kostis Sagonas
2011-02-06
First cut of tidier's cleanup
Kostis Sagonas
2010-09-10
Remove warnings for clashes with new autoimported BIFs
Patrik Nyblom
2010-02-17
Merge branch 'ks/hipe' into ccase/r13b04_dev
Erlang/OTP
2010-02-14
typer: New version for the R13B04 release
Kostis Sagonas
2009-11-20
The R13B03 release.
OTP_R13B03
Erlang/OTP