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.
|
|
* sverker/halfword-testcases/OTP-8884:
NIF 64-bit integer get/make bugfix for halfword emulator.
Teach erl_alloc.c not to disable internal allocators for halfword
|
|
* sverker/unsafe_CancelIoEx/OTP-8937:
Remove use of unreliable CancelIoEx on Windows.
|
|
* 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
|
|
CancelIoEx has been seen to cause problems with some drivers.
Also improve fallback solution to reuse existing handle-closer-threads.
|
|
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
|
|
* ta/fix-ethread-void-return:
ethread: do not return from void ethr_atomic_set_relb
OTP-8944
|
|
* ks/init-spec-fixes:
init: Fix two erroneous specs
|
|
|
|
* 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
|
|
|
|
* rickard/thr-spec-inet-buf/OTP-8916:
Remove tight restrictions on some options
Thread specific inet driver buffer stack
|
|
* 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.
|
|
|
|
Remove tight restrictions on the high_watermark, low_watermark, and
buffer options.
|
|
The inet driver internal buffer stack implementation
has been rewritten in order to reduce lock contention.
|
|
* rickard/cpu-groups/OTP-8861:
Generalize reader groups
Move cpu topology functionality into erl_cpu_topology.[ch]
Do not use more reader groups for schedulers than schedulers
Conflicts:
erts/emulator/beam/erl_init.c
|
|
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.
|
|
Reader groups have been generalized to cpu groups which can be
used for implementing reader groups, but also for implementing
other functionality in the future.
|
|
|
|
When the runtime system had fewer schedulers than logical processors,
the system could get an unnecessarily large amount reader groups.
|
|
* rickard/sys_schedule_debug:
Verify that no outstanding I/O exist when checking for I/O in debug build
|
|
|
|
* pg/freebsd-cpu-affinity-and-topology:
Add support for CPU affinity & topology detection on FreeBSD 8
OTP-8939
|
|
* pg/fix-system_info-cpu_topology-segfault:
Fix crash with erlang:system_info({cpu_topology,junk})
OTP-8914
|
|
|
|
|
|
* rickard/sched-misc/OTP-8932:
Fix erts_schedule_misc_op() so it can be called from arbitrary threads
|