Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-05-21 | Coordinator translates functions requiring further analysis | Stavros Aronis | |
2012-05-21 | Remove data prefetching | Stavros Aronis | |
2012-05-21 | Fix specs | Stavros Aronis | |
2012-05-21 | Add read_concurrency option to some ETS tables | Stavros Aronis | |
2012-05-21 | Avoid digraph_utils:condensation and ordering in typesig | Stavros Aronis | |
2012-05-21 | Simplify behaviour checking code | Stavros Aronis | |
2012-05-21 | Add better timing labels | Stavros Aronis | |
2012-05-21 | Parallel warning generation | Stavros Aronis | |
2012-05-21 | Add --time option to Dialyzer | Stavros Aronis | |
2012-05-21 | Fix a spec in plt | Stavros Aronis | |
2012-05-21 | Keep mini plt for warnings pass | Stavros Aronis | |
2012-05-21 | Fix types and specs in Dialyzer | Stavros Aronis | |
2012-05-21 | Parallel compilation of files under analysis | Stavros Aronis | |
2012-05-21 | Callgraph is ets based from the start | Stavros Aronis | |
2012-05-21 | Parallel dataflow | Stavros Aronis | |
2012-05-21 | Generalize coordinator and worker | Stavros Aronis | |
2012-05-21 | Prepare for parallel dataflow | Stavros Aronis | |
2012-05-21 | Separate race related fields of callgraph | Stavros Aronis | |
2012-05-21 | Remove unused race detection related code | Stavros Aronis | |
2012-05-21 | Simplification in dataflow | Stavros Aronis | |
2012-05-21 | Refactorings in succ_typings | Stavros Aronis | |
2012-05-21 | Moving code between callgraph & dataflow | Stavros Aronis | |
2012-05-21 | Parallel typesig analysis | Stavros Aronis | |
2012-05-21 | Success typing analysis uses ETS tables for necessary plt info | Stavros Aronis | |
Only the info and contracts dicts were neccessary for success typing inference and these have been converted to ETS tables. | |||
2012-05-21 | Convert remaining codeserver fields to ETS tables | Stavros Aronis | |
2012-05-21 | Replace Dialyzer's hand-made codeserver with an ets table | Stavros Aronis | |
2012-05-21 | Simplify typesig postorder calculation | Stavros Aronis | |
As the storing in the codeserver is organized per function there is no need for fancy code to make use of the old caching capabilities. | |||
2012-05-21 | Flatten order of dataflow analyses | Stavros Aronis | |
Dataflow analysis was structured to find SCCs of modules, without making any use of the information that these were indeed SCCs. | |||
2012-05-21 | Refactoring in plt | Stavros Aronis | |
2012-04-24 | Correct handling of type names in contracts | Stavros Aronis | |
Variables in contracts can either be true type variables or simply names for types thet are defined in the 'when' clauses. Consider the following example: -spec foo(X, Options) -> {ok, X} | error when Options :: [{atom(), boolean()}]. Here X is a true variable whereas Options is a name for a type that is defined in the when clause. 'when' clauses may further use names on the right side. These were not treated properly by Dialyzer and could be generalized to the term() type. This patch fixes this issue. A further issue is the treatment of true type variables, but this is left for another patch. | |||
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 | |
Depending of the ordering of the functions during dataflow, a function with an infinite loop might be identified as one that always crashes. This is fixed now, by allowing restoration of the infinitely-looping status. | |||
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 | |
The relevant terms were instances of Dialyzer's typesig analysis state that were stored together with some "dynamic" constraints in a dict. Due to sharing this was not apparent until we tried to copy the dictionary. Initial debugging was by Björn Gustavsson. | |||
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 | |
Refactorings, code movements and reflection of mutable variables in the code. | |||
2012-02-22 | Zero-arity unused functions Dialyzer patch | Stavros Aronis | |
Dialyzer was not reporting unused functions with 0 arity. This was not a real issue, until we found out that there could be cases where this could lead to false warnings. This was the case in "no_local_return.erl". | |||
2012-02-22 | Cleanup debug messages in dialyzer_dataflow | Stavros Aronis | |
2012-02-22 | Refactorings in dialyzer_analysis_callgraph | Stavros Aronis | |