Age | Commit message (Collapse) | Author | |
---|---|---|---|
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-05-08 | Merge branch 'sa/dialyzer-contract-variables' into maint | Henrik Nord | |
* sa/dialyzer-contract-variables: Correct handling of type names in contracts Don't rewrite unchanged PLT Fix crash related to contract checking OTP-10083 | |||
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-04-24 | Fix crash related to contract checking | Stavros Aronis | |
When "collapsing" heads of list elements from a list's tail into the list's head the new head can be different. | |||
2012-04-17 | Correct documentation, erl_bif_types and dialyzer tests | Patrik Nyblom | |
2012-04-17 | Extend erlang:port_info/1,2 to show the OS pid of a spawned process | Matthias Lang | |
When spawning OS (unix) processes with erlang:open_port, store the resulting unix pid so that it can be queried later on using erlang:port_info/1,2. | |||
2012-04-01 | Prepare releaseOTP_R15B01 | Erlang/OTP | |
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 | Up version | 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-03-01 | Fix bug in remote type solving | 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 | |
2012-02-22 | Allow t_opaque_structure to handle multiple opaque types | 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-22 | Small fixes for Dialyzer's testsuites generation | 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-12 | Prepare release | Erlang/OTP | |
2011-12-09 | Update copyright years | Björn-Egil Dahlberg | |