aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2011-02-10Allow for --show_success_typings spelling alsoKostis Sagonas
2011-02-09Add '--show_success_typings' optionStavros Aronis
With '--show_success_typings' Typer will print/use the final success typings from Dialyzer and ignore/overwrite any existing contracts.
2011-02-08Fix crash in oveloaded contracts with overlapping domainsKostis Sagonas
Typer should not crash miserably when processing a user-specified overloaded contract with overlapping types in its arguments.
2011-02-06Fix a type error and do some further cleanupKostis Sagonas
2011-02-06Type cleanups and simplificationsKostis Sagonas
2011-02-06Cleanup the analysis recordKostis Sagonas
2011-02-06Remove typer_annotator.erl and typer.hrlKostis Sagonas
2011-02-06Remove typer_info.erl fileKostis Sagonas
2011-02-06Remove typer_options.erl fileKostis Sagonas
2011-02-06Remove typer_preprocess.erl fileKostis Sagonas
2011-02-06Delete typer_map.erl file, really this timeKostis Sagonas
2011-02-06Delete typer_map.erl fileKostis Sagonas
2011-02-06Various cleanupsKostis Sagonas
2011-02-06Fix Typer's hanging when module name doesn't match filenameStavros Aronis
2011-02-06Moved option to its proper positionKostis Sagonas
2011-02-06Clean up of commentsKostis Sagonas
2011-02-06Up version to reflect major rewriteKostis Sagonas
2011-02-06Add '--no_spec' option to TyperStavros Aronis
When run with '--no_spec', Typer will hide from Dialyzer any specs present in the files under analysis.
2011-02-06Replace some string() with file:filename()Kostis Sagonas
2011-02-06First cut of tidier's cleanupKostis Sagonas
Added ability to receive the set of exported types and report unknown ones. While doing the above, cleaned up types, specs, and record field names.
2011-02-03Merge branch 'ks/bs_add-fail-labels' into devNiclas Axelsson
* ks/bs_add-fail-labels: Fix translation of bs_add's fail labels OTP-9044
2011-02-03Fix translation of bs_add's fail labelsKostis Sagonas
2011-01-26Merge branch 'uw/xmerl-expand-simple/OTP-9034' into devLars Thorsen
* uw/xmerl-expand-simple/OTP-9034: Track parents when expanding #xmlElement records
2011-01-25Merge branch 'maint-r14' into devNiclas Eklund
2011-01-24Merge branch 'ia/ssl-and-public_key/skip-tests-when-no-crypto-fix' into devIngela Anderton Andin
* ia/ssl-and-public_key/skip-tests-when-no-crypto-fix: Changed crypto start test so that it works as intended
2011-01-24Changed crypto start test so that it works as intendedIngela Anderton Andin
2011-01-24Track parents when expanding #xmlElement recordsUlf Wiger
The function xmerl_lib:expand_content/1 is mainly for expanding Simple XML, but can also handle xmerl records. This patch fixes an omission that caused expand_content/1 to not maintain the 'parents' list when expanding #xmlElement{} records. No test cases written, since the xmerl test suites have not yet been released.
2011-01-24Merge branch 'nick/orber/inet6_test_cases/OTP-9035' into maint-r14Erlang/OTP
* nick/orber/inet6_test_cases/OTP-9035: OTP-9035 - More tests added so that Orber does not try to run IPv6 tests on a machine than cannot handle that. This only affect test code and not the application.
2011-01-24Merge branch 'nick/ssh/sign-verify-binary' into maint-r14Erlang/OTP
* nick/ssh/sign-verify-binary: Updated appup file. Updated notes file. Changed year in copyright header. Added updated modules to the appup file. Improved error handling for ssh:connect/3/4. Release note contained wrong ticker number. OTP-8987 In some cases SSH returned {error, normal} when a channel was terminated unexpectedly. This has now been changed to {error, channel_closed}.
2011-01-24Merge branch 'nick/ensure_ssh_dir_exists/OTP-9010' into maint-r14Erlang/OTP
* nick/ensure_ssh_dir_exists/OTP-9010: Updated appup file. Updated notes file. Updated year in license. OTP-9010: ssh: ensure ~/.ssh exists
2011-01-24Merge branch 'nick/ssh/inet6_enetunreach/OTP-9031' into maint-r14Erlang/OTP
* nick/ssh/inet6_enetunreach/OTP-9031: Updated notes file. Added updated modules to the appup file. OTP-9031 - SSH did not handle the error reason enetunreach when trying to open a IPv6 connection.
2011-01-21Merge branch 'ia/ssl-and-public_key/skip-test-if-no-crypto' into devIngela Anderton Andin
* ia/ssl-and-public_key/skip-test-if-no-crypto: Skip ssl and public key tests if crypto fails to start
2011-01-20Skip ssl and public key tests if crypto fails to startIngela Anderton Andin
2011-01-20OTP-9035 - More tests added so that Orber does not try to run IPv6 testsNiclas Eklund
on a machine than cannot handle that. This only affect test code and not the application.
2011-01-20Merge branch 'maint-r14' into devIngela Anderton Andin
2011-01-20Merge branch 'ks/bs_start_match-fails' into devNiclas Axelsson
* ks/bs_start_match-fails: Fix erroneous fail info of a hipe_bs_primop OTP-9036
2011-01-20Updated appup file.Niclas Eklund
2011-01-20Updated appup file.Niclas Eklund
2011-01-20Updated notes file.Niclas Eklund
2011-01-20Updated notes file.Niclas Eklund
2011-01-20Updated notes file.Niclas Eklund
2011-01-20Merge branch 'maint-r14' of super:otp into nick/ensure_ssh_dir_exists/OTP-9010Niclas Eklund
2011-01-20Changed year in copyright header.Niclas Eklund
2011-01-20Updated year in license.Niclas Eklund
2011-01-20Added updated modules to the appup file.Niclas Eklund
2011-01-20Added updated modules to the appup file.Niclas Eklund
2011-01-17OTP-9031 - SSH did not handle the error reason enetunreach when trying to ↵Niclas Eklund
open a IPv6 connection.
2011-01-17Merge branch 'bjorn/beam-loader/OTP-9030' into devBjörn Gustavsson
* bjorn/beam-loader/OTP-9030: (43 commits) c: Reduce memory footprint erl_posix_msg: Reduce memory footprint Introduce a few more variations of the move instructions Combine a move + jump sequence into the move_jump instruction Optimize and clean-up the exact equality/non-equality instructions Optimize addition of a small integer to a variable Introduce a special instruction for select_val with two values Introduce a few more specialized put_list instructions Eliminate the "put_list c n Dst" instructions Eliminate the specific move_sd instruction Eliminate use of GetArg1() in the badmatch and case_end instructions Eliminate use of GetArg2() in the i_element instruction Eliminate use of GetArg1() in the fast_element instruction Eliminate use of GetArg1() in the jump_on_val* instructions Eliminate use of GetArg1() in the select_val instruction beam_emu: Eliminate sloppy use of tmp_arg1 and tmp_arg2 beam_emu: Don't inline helper functions into process_main() beam_emu: Clean up calling of the error_handler module Simplify a select_val instruction that selects only one value Optimize creation of tuples ...
2011-01-17c: Reduce memory footprintBjörn Gustavsson
Use a binary instead of a string for the help text.
2011-01-17erl_posix_msg: Reduce memory footprintBjörn Gustavsson
Since the error messages in the erl_posix_msg module are presumably used very seldom, save memory by using binaries instead of strings.