aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_succ_typings.erl
AgeCommit message (Expand)Author
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Use maps instead of dict for module contracts mapHans Bolinder
2017-01-11dialyzer: Optimize memory consumptionHans Bolinder
2017-01-11dialyzer: Do not send full PLTs as messagesHans Bolinder
2016-11-23Correct copyright and license on dialyzer filesRichard Carlsson
2015-10-09Update DialyzerHans Bolinder
2015-06-18Change license text to APLv2Bruce Yinhe
2015-01-14dialyzer: Introduce module local suppression of warningsHans Bolinder
2014-05-05Remove pre-defined types dict(), digraph(), &cHans Bolinder
2014-04-28Introduce the attribute -optional_callbacks in the context of behavioursHans Bolinder
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
2012-08-21Add an undocumented option [--solver [v1 | v2]]Hans Bolinder
2012-05-21Anonymous time serverStavros Aronis
2012-05-21Remove needless conversionStavros Aronis
2012-05-21Coordinator is no longer a separate processStavros Aronis
2012-05-21Plain concatenation for typesig not-fixpoint listStavros Aronis
2012-05-21Coordinator translates functions requiring further analysisStavros Aronis
2012-05-21Remove data prefetchingStavros Aronis
2012-05-21Fix specsStavros Aronis
2012-05-21Simplify behaviour checking codeStavros Aronis
2012-05-21Add better timing labelsStavros Aronis
2012-05-21Parallel warning generationStavros Aronis
2012-05-21Add --time option to DialyzerStavros Aronis
2012-05-21Keep mini plt for warnings passStavros Aronis
2012-05-21Fix types and specs in DialyzerStavros Aronis
2012-05-21Parallel dataflowStavros Aronis
2012-05-21Generalize coordinator and workerStavros Aronis
2012-05-21Prepare for parallel dataflowStavros Aronis
2012-05-21Remove unused race detection related codeStavros Aronis
2012-05-21Refactorings in succ_typingsStavros Aronis
2012-05-21Parallel typesig analysisStavros Aronis
2012-05-21Success typing analysis uses ETS tables for necessary plt infoStavros Aronis
2012-05-21Flatten order of dataflow analysesStavros Aronis
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
2012-02-22Further simplificationsStavros Aronis
2012-02-22Simplify dialyzer_succ_typings codeStavros Aronis
2011-11-18Behaviour callback discrepancy detection for DialyzerStavros Aronis
2011-11-18Store callbacks in codeserver and PLTStavros Aronis
2011-11-18Collect callback definitions during compilationStavros Aronis
2011-05-23Fix crash when a contract range warning is emitted for a module already in pltStavros Aronis
2011-03-31Fix crash related with the contract blame assignment patchStavros Aronis
2011-03-11Update copyright yearsBjörn-Egil Dahlberg
2011-03-11Better blame assignment when a spec is erroneousStavros Aronis
2010-06-08Various changes to dialyzer-related files for R14.Kostis Sagonas
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-14dialyzer: New version for the R13B04 releaseKostis Sagonas
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 00:43:39 +0000