Age | Commit message (Expand) | Author |
2012-05-21 | Replace Dialyzer's hand-made codeserver with an ets table | Stavros Aronis |
2012-05-21 | Simplify typesig postorder calculation | Stavros Aronis |
2012-05-21 | Flatten order of dataflow analyses | Stavros Aronis |
2012-05-21 | Refactoring in plt | Stavros Aronis |
2012-04-24 | Correct handling of type names in contracts | Stavros Aronis |
2012-04-24 | Don't rewrite unchanged PLT | Stavros Aronis |
2012-03-30 | Update copyright years | Björn-Egil Dahlberg |
2012-03-26 | Fix bug related with infinitely looping functions | Stavros Aronis |
2012-03-26 | Report only actual unknown types otherwise no message is sent | Stavros Aronis |
2012-03-26 | Use wx:wx_object() type now that it is exported | Kostis Sagonas |
2012-03-26 | Add warnings_as_errors option | Kostis Sagonas |
2012-03-14 | Ensure that -on_load functions are not reported as unused | Stavros Aronis |
2012-03-01 | Unknown types are being reported by dialyzer's GUIs | Stavros Aronis |
2012-02-22 | Review by Kostis Sagonas and fixes | Stavros Aronis |
2012-02-22 | Simplify external vs bad calls check | Stavros Aronis |
2012-02-22 | Remove callgraph from the state used during solving | Stavros Aronis |
2012-02-22 | Refactorings in dialyzer_typesig | Stavros Aronis |
2012-02-22 | Avoid unnecessary passing of huge terms in some closures | Stavros Aronis |
2012-02-22 | Further simplifications | Stavros Aronis |
2012-02-22 | Remove redundant code | Stavros Aronis |
2012-02-22 | Simplify dialyzer_succ_typings code | Stavros Aronis |
2012-02-22 | Cleanups in dialyzer_callgraph and dialyzer_dataflow | Stavros Aronis |
2012-02-22 | Zero-arity unused functions Dialyzer patch | Stavros Aronis |
2012-02-22 | Cleanup debug messages in dialyzer_dataflow | Stavros Aronis |
2012-02-22 | Refactorings in dialyzer_analysis_callgraph | Stavros Aronis |
2012-02-22 | Support alternative spelling of behaviour | Stavros Aronis |
2012-02-22 | Refactor function selection by Dialyzer's codeserver | Stavros Aronis |
2012-02-22 | Prettify spec | Stavros Aronis |
2012-02-08 | Suppress deprecated warnings in all modules that call 'gs' | Björn Gustavsson |
2011-12-22 | Handle nowarn_unused_function like the compiler does | Hans Bolinder |
2011-12-09 | Update copyright years | Björn-Egil Dahlberg |
2011-12-08 | Optimize join_maps() in dialyzer_dataflow | Hans Bolinder |
2011-12-01 | Refine warning about callback specs with extra ranges | Stavros Aronis |
2011-12-01 | Cleanup autoimport compiler directives | Stavros Aronis |
2011-12-01 | Fix Dialyzer's warning for its own code | Stavros Aronis |
2011-12-01 | Fix bug in Dialyzer's behaviours analysis | Stavros Aronis |
2011-12-01 | Fix crash in Dialyzer | Stavros Aronis |
2011-11-30 | Add file/line info in a particular Dialyzer crash | Stavros Aronis |
2011-11-30 | Fix Dialyzer's warning for its own code | Stavros Aronis |
2011-11-30 | No warnings for underspecs with remote types | Stavros Aronis |
2011-11-18 | Wrap up behaviours patch for Dialyzer | Stavros Aronis |
2011-11-18 | Detection of callback-spec discrepancies | Stavros Aronis |
2011-11-18 | Allow none() as return value in callbacks | Stavros Aronis |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis |
2011-11-18 | Add lookup function for callbacks | Stavros Aronis |
2011-11-18 | Store callbacks in codeserver and PLT | Stavros Aronis |
2011-11-18 | Collect callback definitions during compilation | Stavros Aronis |
2011-10-14 | Fix false warning about closure application | Stavros Aronis |
2011-10-14 | Change category of 'might also return' warnings | Stavros Aronis |
2011-09-29 | Update copyright years | Björn-Egil Dahlberg |