otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Expand)	Author
2012-08-24	Add a missing tag in a type declaration	Kostis Sagonas
2012-08-21	Let t_inf() substitute any() for variables in a few more cases	Hans Bolinder
2012-04-24	Fix crash related to contract checking	Stavros Aronis
2012-03-30	Update copyright years	Björn-Egil Dahlberg
2012-03-01	Fix bug in remote type solving	Stavros Aronis
2012-02-22	Allow t_opaque_structure to handle multiple opaque types	Stavros Aronis
2011-12-08	Optimize erl_types:t_unify()	Hans Bolinder
2011-12-01	Fix crash in Dialyzer	Stavros Aronis
2011-09-29	Merge branch 'sa/dialyzer-bug-fixes' into dev	Henrik Nord
2011-09-27	Remove unused macro	Stavros Aronis
2011-09-27	Decrease tuple arity limit	Stavros Aronis
2011-09-16	Quote atoms if necessary in types	Tomas Abrahamsson
2011-05-02	Fix handling of <<_:N,_:_*M>> type expressions	Kostis Sagonas
2011-05-02	Fix the argument of erlang:list_to_bitstring/1	Kostis Sagonas
2011-05-02	Move function to its proper place	Kostis Sagonas
2011-05-02	Remove unneeded function 'sequence/2'	Stavros Aronis
2010-12-16	Set types correctly for open_port({spawn_executable, ...	Patrik Nyblom
2010-12-13	Fix native code compiler infinite loop and update type info for 're'	Kostis Sagonas
2010-11-22	erl_types: Fix pretty rare crashes and an infinite loop	Kostis Sagonas
2010-10-29	Deeper unfolding of recursive types	Kostis Sagonas
2010-09-24	Fix two errors in dialyzer	Kostis Sagonas
2010-06-08	Various changes to dialyzer-related files for R14.	Kostis Sagonas
2010-06-06	erl_types: Export is_erl_type/1	Björn Gustavsson
2010-06-03	dialyzer: Build the PLT even if there are unresolved remote types	Kostis Sagonas
2010-06-03	Add handling of unknown types	Maria Christakis
2010-06-03	Support -export_type() in dialyzer and erl_types	Kostis Sagonas
2010-06-02	Remove (harmless) warnings about min/max in core applications	Patrik Nyblom
2010-04-09	OTP-8562 Closing right parenthesis in macro definitions is mandatory.	Hans Bolinder
2010-02-17	Merge branch 'ks/hipe' into ccase/r13b04_dev	Erlang/OTP
2010-02-14	dialyzer: New version for the R13B04 release	Kostis Sagonas
2009-11-20	The R13B03 release.OTP_R13B03	Erlang/OTP