Age | Commit message (Collapse) | Author |
|
This new feature is able to take multiple PLTs, merge them during the
start of the analysis, and work from there. This works provided that
the PLTs do not have a module with the same name appearing in more
than one PLT.
The PLTs are created in the usual way:
dialyzer --build_plt --output_plt PLT_1 FILES_TO_INCLUDE
...
dialyzer --build_plt --output_plt PLT_N FILES_TO_INCLUDE
and then can be used in either of the following ways:
dialyzer FILES_TO_ANALYZE --plts PLT_1 ... PLT_N
or:
dialyzer --plts PLT_1 ... PLT_N -- FILES_TO_ANALYZE
(Note the -- delimiter in the second case)
|
|
* egil/superfluous-supervisor-report/OTP-8938:
Remove superfluous supervisor error report
|
|
* dgud/wx/misc-bugs/OTP-8951:
Add wxSystemSettings
Avoid eternal loops when quiting
|
|
|
|
* ia/ssl-decryption-error2/OTP-8930:
Added alert in stream cipher case.
|
|
* dgud/wx/separate-opengl:
Fix non available opengl functions
Add lib paths for *bsd variants
Initilize opengl after setCurrent
Update to OpenGL 4.1
Remove ostype sub dirs below wx/priv
Windows and Mac build issues
Add dialyser spec
Better make dependecies for api generation
Split opengl functionality into separate dynamic library
|
|
* egil/eprof-api-mismatch/OTP-8853:
Fix eprof API mismatch of sort functionality
|
|
* sverker/ets_compress/OTP-8922:
ETS 'compressed' option.
|
|
* sverker/crypto_aes_ctr_cmac/OTP-8752:
Fix nif_SUITE to not assume that it is the only one loading NIFs.
crypto CTR support
|
|
Option {sort, calls} now sorts on calls.
Option {sort, time } now sorts on time.
|
|
The compressed format is using a slighty modified variant of the extern format
(term_to_binary). To not worsen key lookup's too much, the top tuple itself
and the key element are not compressed. Table objects with only immediate
non-key elements will therefor not gain anything (but actually consume one
extra word for "alloc_size").
|
|
* ao/mod_auth-doc-typos:
Fix escaped xml character and a missing closing tag in mod_auth.xml
|
|
* bf/mnesia-doc-fixes:
doc: "works like" instead of "works as" + missing like
remove '\011' from mnesia doc
fix typo in mnesia doc
|
|
* lukas/common_test/master_include/OTP-8935:
Update master test to put slave logs in /tmp for windows as otherwise filenames become too long and the tests fail
Update master test specs to work with include directives
|
|
* ml/re-manpage-cleanup:
Improve the 're' manpage by correcting typos and rewording
|
|
|
|
* ks/edoc-dialyzer-fixes:
Fix various dialyzer warnings
|
|
* ks/dialyzer-fixes:
dialyzer: Speed up analysis of nested list comprehensions
|
|
* ms/ei-fixes:
ei: check memory was allocated
ei: error if return value of ei_alloc_big is NULL
OTP-8943
|
|
* ks/file_open-mode:
Add the {encoding, _} options to file:open/2's modes
|
|
* ms/ei-fix-node-name-overflow:
ei: check the length of the node name
OTP-8943
|
|
* ks/hipe-patches:
hipe: Update types and specs
|
|
|
|
* ks/erl_types-fixes:
erl_types: Fix pretty rare crashes and an infinite loop
OTP-8942
|
|
- Fixed pretty rare crash when taking the infimum of two tuple_sets
(initial fix by Kostis Sagonas but then a better fix was provided
by Stavros Aronis and this is the one adopted).
- Fixed pretty rare crash when using parameterized types containing unbound
variables (thanks to Nicolas Trangez for reporting it).
- Fixed pretty rare infinite loop when refining the types of an SCC whose
functions all returned none() (thanks to Stavros Aronis).
|
|
Opengl functions are loaded at runtime and differ with drivers and
cards.
|
|
In description of the list_users/2 function, the character < was escaped
and a closing tag was missing which resulted in an invalid xml and
a wrong formatting.
|
|
|
|
Also changed alert to BAD_RECORD_MAC as:
"differentiating between bad_record_mac and decryption_failed alerts
may permit certain attacks against CBC mode as used in TLS
[CBCATT]. It is preferable to uniformly use the bad_record_mac
alert to hide the specific type of the error."
Also cleaned up the code and changed a few other alert reasons in
according to alert descriptions in the TLS RFC 4346. And added function
terminate_alert/3 so that we can differentiate between a crash
in ssl (a bug in our code) and a crash in the application using ssl.
|
|
|
|
filenames become too long and the tests fail
|
|
No rendering context is available until setCurrent is called the
first time, opengl extensions can not be loaded before the rendering
context is created.
|
|
Add appropriate specs to shut off dialyzer's no_return warnings and
also fix an erroneous use of lists:concat/1 instead of lists:append/1.
|
|
|
|
This was intended for distributing several binaries in one package,
in standalone version, it has no need when included in otp.
|
|
|
|
|
|
|
|
The idea is to build a separate opengl library which can be reused
by other erlang applications.
|
|
* ia/ssl-decryption-error/OTP-8930:
Added "DECRYPTION_FAILED ALERT" for block decipher failure.
|
|
* ia/odbc/windows_fix:
Added needed include file ws2tcpip.h for windows.
|
|
|
|
* raimo/inet-getifaddrs/OTP-8926:
Write documentation
Delete decommented code
Add testcase
Implement inet:getifaddrs/0 on Windows
Implement basic inet:getifaddrs/0
Fix building error of SCTP in FreeBSD 7.1 and later
|
|
* raimo/wxwidgets-configure-fixes:
wxWidgets configure fixes
|
|
|
|
|
|
Also fixed incorrect dialyzer spec.
|
|
|
|
* sverker/doc-fixes/OTP-8880:
Documentation update to ETS and drivers
|
|
|