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
/
typer.erl
Age
Commit message (
Expand
)
Author
2015-05-08
typer: Properly extract annotations
Hans Bolinder
2014-04-28
Introduce the attribute -optional_callbacks in the context of behaviours
Hans Bolinder
2014-02-23
Deprecate pre-defined built-in types
Hans Bolinder
2014-01-28
typer: Rename map() type to map_dict()
Björn-Egil Dahlberg
2012-08-31
Merge branch 'maint'
Björn-Egil Dahlberg
2012-08-31
Update copyright years
Björn-Egil Dahlberg
2012-07-19
typer: Remove VxWorks
Björn-Egil Dahlberg
2012-05-21
Anonymous time server
Stavros Aronis
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-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
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
2009-11-20
The R13B03 release.
OTP_R13B03
Erlang/OTP