Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-05-21 | Ticket-based regulation of memory consumption | Stavros Aronis | |
2012-05-21 | Infinity timeout for coordinator calls | Stavros Aronis | |
2012-05-21 | Worker PIDs are stored in an ETS table | Stavros Aronis | |
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-05-08 | Merge branch 'maint' | Henrik Nord | |
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-18 | Merge branch 'maint' | Patrik Nyblom | |
Conflicts: lib/hipe/cerl/erl_bif_types.erl | |||
2012-04-18 | Revert "Extend erlang:port_info/1,2 to show the OS pid of a spawned process" | Patrik Nyblom | |
This reverts commit d4667d383964c1550e0a91d64b674e84f6d07e3b. This commit was included by mistake, the correct patch will be merged from maint. | |||
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-03 | Merge commit 'OTP_R15B01' | Björn-Egil Dahlberg | |
2012-04-01 | Prepare releaseOTP_R15B01 | Erlang/OTP | |
2012-03-30 | Merge branch 'maint' | Björn-Egil Dahlberg | |
2012-03-30 | Update copyright years | Björn-Egil Dahlberg | |
2012-03-27 | Merge branch 'maint' | Gustav Simonsson | |
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 | |