aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_typesig.erl
AgeCommit message (Expand)Author
2012-05-21Solve big SCC constraints in parallelStavros Aronis
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
2012-02-22Review by Kostis Sagonas and fixesStavros Aronis
2012-02-22Remove callgraph from the state used during solvingStavros Aronis
2012-02-22Refactorings in dialyzer_typesigStavros Aronis
2012-02-22Avoid unnecessary passing of huge terms in some closuresStavros Aronis
2012-02-22Simplify dialyzer_succ_typings codeStavros Aronis
2011-12-01Fix crash in DialyzerStavros Aronis
2011-10-14Fix false warning about closure applicationStavros Aronis
2011-09-29Update copyright yearsBjörn-Egil Dahlberg
2011-08-30Add origin information to #fun_var closuresStavros Aronis
2011-05-13Fix server loop detectionStavros Aronis
2010-12-20Fix bug in the handling of 'or' by DialyzerStavros Aronis
2010-11-09dialyzer: Speed up analysis of nested list comprehensionsKostis Sagonas
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-01 17:01:33 +0000