aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_succ_typings.erl
AgeCommit message (Expand)Author
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-07-13 04:19:15 +0000