aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
AgeCommit message (Expand)Author
2013-01-22Merge branch 'sa/dialyzer-list-spec/OTP-10740'Fredrik Gustafsson
2013-01-16Remove what remains of the Mnemosyne codeLoïc Hoguin
2013-01-15Merge branch 'sa/dialyzer-record-field-type/OTP-10681'Fredrik Gustafsson
2013-01-11small_SUITE: Update warnings for port functionsBjörn Gustavsson
2013-01-11Cope with removed support for packagesBjörn Gustavsson
2013-01-11mnesia: Update dialyzer warningBjörn Gustavsson
2013-01-09Prepare OTP files for Unicode as default encodingHans Bolinder
2012-12-20Report spec discrepancy on mismatching listsStavros Aronis
2012-11-17Fix precision of record creation violation warningsStavros Aronis
2012-10-10Change the type of some arguments in filename to file:name()Hans Bolinder
2012-10-03Merge branch 'maint'Henrik Nord
2012-09-26Fix a crash in race condition detectionStavros Aronis
2012-09-26Fix handling of tuple set remote types appearing in tuple setsStavros Aronis
2012-09-24dialyzer: Do not output warnings for unused funsHans Bolinder
2012-06-08Merge branch 'maint'Lukas Larsson
2012-06-08Merge branch 'lukas/otp/install_with_whitespace/OTP-10107' into maintLukas Larsson
2012-06-05Update to work with whitespace in exec pathLukas Larsson
2012-06-02Merge branch 'maint'Hans Bolinder
2012-06-01Bug fixes and improvements of dialyzer_typesigHans Bolinder
2012-05-08Merge branch 'maint'Henrik Nord
2012-05-08Merge branch 'sa/dialyzer-contract-variables' into maintHenrik Nord
2012-04-24Correct handling of type names in contractsStavros Aronis
2012-04-24Fix crash related to contract checkingStavros Aronis
2012-04-18Merge branch 'maint'Patrik Nyblom
2012-04-18Revert "Extend erlang:port_info/1,2 to show the OS pid of a spawned process"Patrik Nyblom
2012-04-17Correct documentation, erl_bif_types and dialyzer testsPatrik Nyblom
2012-04-17Extend erlang:port_info/1,2 to show the OS pid of a spawned processMatthias Lang
2012-03-27Merge branch 'maint'Gustav Simonsson
2012-03-26Fix bug related with infinitely looping functionsStavros Aronis
2012-03-16Extend erlang:port_info/1,2 to show the OS pid of a spawned processMatthias Lang
2012-03-15Merge branch 'maint'Gustav Simonsson
2012-03-14Ensure that -on_load functions are not reported as unusedStavros Aronis
2012-03-01Fix bug in remote type solvingStavros Aronis
2012-02-22Zero-arity unused functions Dialyzer patchStavros Aronis
2012-02-22Allow t_opaque_structure to handle multiple opaque typesStavros Aronis
2012-02-22Support alternative spelling of behaviourStavros Aronis
2012-02-22Small fixes for Dialyzer's testsuites generationStavros Aronis
2012-02-07Correct docs, comments and dialyzer testsPatrik Nyblom
2012-01-27Move types and specs from erl_bif_types.erl to modulesHans Bolinder
2011-12-22Handle nowarn_unused_function like the compiler doesHans Bolinder
2011-12-01Refine warning about callback specs with extra rangesStavros Aronis
2011-12-01Fix bug in Dialyzer's behaviours analysisStavros Aronis
2011-12-01Fix crash in DialyzerStavros Aronis
2011-11-30Update inets test resultsStavros Aronis
2011-11-30No warnings for underspecs with remote typesStavros Aronis
2011-11-30Fix dialyzer warning about gen_event callback init/1 in log_mf_hSiri Hansen
2011-11-18Wrap up behaviours patch for DialyzerStavros Aronis
2011-11-18Detection of callback-spec discrepanciesStavros Aronis
2011-11-18Allow none() as return value in callbacksStavros Aronis
2011-11-18Behaviour callback discrepancy detection for DialyzerStavros Aronis