delta/erlang.git - github.com: erlang/otp.git

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix crash when a contract range warning is emitted for a module already in plt	Stavros Aronis	2011-05-23	1	-13/+20
*	Merge branch 'sa/dialyzer-invalid-spec-fix' into dev	Henrik Nord	2011-04-12	1	-10/+15
\|\
\| *	Fix crash related with the contract blame assignment patch	Stavros Aronis	2011-03-31	1	-10/+15
* \|	Fix the name of an error function	Maria Christakis	2011-03-29	1	-1/+1
\|/
*	Update copyright years	Björn-Egil Dahlberg	2011-03-11	3	-3/+3
*	Merge branch 'sa/dialyzer-missing-spec' into dev	Henrik Nord	2011-03-11	1	-0/+2
\|\
\| *	Add spec to dialyzer_cl_parse:get_lib_dir/1	Stavros Aronis	2011-03-10	1	-0/+2
* \|	More descriptive warning when a tuple pattern matches a typed record	Stavros Aronis	2011-03-11	2	-13/+31
* \|	Better blame assignment when a spec is erroneous	Stavros Aronis	2011-03-11	5	-21/+68
* \|	Generate better warnings for failing guards	Stavros Aronis	2011-03-11	2	-13/+32
* \|	Fix an erroneous warning	Kostis Sagonas	2011-03-11	1	-4/+2
* \|	Refactoring so that a flat string() is returned	Kostis Sagonas	2011-03-11	1	-11/+13
* \|	Renamed error/1 function and added specs	Kostis Sagonas	2011-03-11	1	-10/+12
* \|	Renamed error/1 function and added specs	Kostis Sagonas	2011-03-11	1	-17/+23
\|/
*	Merge branch 'aronisstav/dialyzer/dialyzer_tests/OTP-9116' into dev	Lukas Larsson	2011-03-09	3	-3/+23
\|\
\| *	Write output_plt even when plt_check is ok	Stavros Aronis	2011-02-28	1	-0/+6
\| *	Add 'apps' option to the erlang interface	Stavros Aronis	2011-02-28	2	-3/+17
* \|	Merge branch 'sa/dialyzer-fix-guards' into dev	Niclas Axelsson	2011-03-04	2	-47/+75
\|\ \
\| * \|	Fix warnings about guards containing not	Stavros Aronis	2011-01-18	2	-30/+41
\| * \|	Fix errors in the handling of 'and'/'or' guards	Stavros Aronis	2011-01-18	1	-15/+32
\| * \|	Cosmetic changes	Stavros Aronis	2011-01-14	1	-2/+2
\| \|/
* \|	Add a --fullpath option to Dialyzer	Kostis Sagonas	2011-01-20	5	-20/+54
\|/
*	Fix bug in the handling of 'or' by Dialyzer	Stavros Aronis	2010-12-20	1	-3/+7
*	dialyzer: Update documentation	Maria Christakis	2010-12-06	1	-27/+36
*	dialyzer: Add support for multiple PLTs	Maria Christakis	2010-11-30	8	-76/+222
*	Fix typo in warnings	Stavros Aronis	2010-11-26	1	-1/+1
*	dialyzer: Speed up analysis of nested list comprehensions	Kostis Sagonas	2010-11-09	5	-42/+60
*	dialyzer: Fix so warnings will be emitted for all public ETS tables	Maria Christakis	2010-10-14	1	-31/+7
*	Merge branch 'ks/fix-dialyzer_plt-spec' into dev	Björn Gustavsson	2010-10-06	1	-4/+4
\|\
\| *	Dialyzer: Fix erroneous type and use the same definition in two places	Kostis Sagonas	2010-10-04	1	-4/+4
* \|	Fix two errors in dialyzer	Kostis Sagonas	2010-09-24	1	-6/+6
\|/
*	Remove warnings for clashes with new autoimported BIFs	Patrik Nyblom	2010-09-10	3	-0/+8
*	Various changes to dialyzer-related files for R14.	Kostis Sagonas	2010-06-08	13	-583/+651
*	Fix confusing dialyzer warnings for is_record/2 with illegal records	Björn Gustavsson	2010-06-07	1	-1/+2
*	Minor fix in a print message	Kostis Sagonas	2010-06-03	1	-2/+2
*	Add handling of unknown types	Maria Christakis	2010-06-03	2	-2/+58
*	Support -export_type() in dialyzer and erl_types	Kostis Sagonas	2010-06-03	9	-56/+181
*	Fix small confusion/buglet in the handling of 'or'	Kostis Sagonas	2010-03-03	1	-2/+2
*	Merge branch 'ks/hipe' into ccase/r13b04_dev	Erlang/OTP	2010-02-17	20	-479/+1186
\|\
\| *	dialyzer: Fix system_limit exception in race analysis	Kostis Sagonas	2010-02-16	2	-13/+26
\| *	dialyzer: New version for the R13B04 release	Kostis Sagonas	2010-02-14	20	-374/+1068
\|/
*	The R13B03 release.OTP_R13B03	Erlang/OTP	2009-11-20	23	-0/+17842