summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'hasse/dialyzer/improve_binary_printing/OTP-15752'Hans Bolinder2019-04-105-13/+13
|\
| * dialyzer: Fix pretty printing of binariesHans Bolinder2019-04-085-13/+13
* | Merge pull request #2197 from lbolla/spelling-mistakes-fixBjörn Gustavsson2019-04-101-1/+1
|\ \ | |/ |/|
| * Fix various spelling mistakesLorenzo Bolla2019-03-311-1/+1
* | Merge branch 'maint'Hans Bolinder2019-02-254-5/+85
|\ \ | |/
| * dialyzer: Fix maps as parameter of opaque typesHans Bolinder2019-02-213-0/+24
| * dialyzer: Fix key check of lists:key{search,member,find}()Hans Bolinder2019-02-211-5/+61
* | Merge branch 'maint'Hans Bolinder2019-02-192-0/+9
|\ \ | |/
| * Merge branch 'hasse/dialyzer/fix_contract_check/OTP-15562/ERL-845' into maintHans Bolinder2019-02-192-0/+9
| |\
| | * dialyzer: Fix a bug regarding contractsHans Bolinder2019-02-062-0/+9
* | | Merge branch 'maint'Hans Bolinder2019-02-111-0/+19
|\ \ \ | |/ /
| * | dialyzer: Fix a bug affecting keyfind/keysearch/keymemberHans Bolinder2019-02-081-0/+19
| |/
* | Merge pull request #1944 from uabboli/hasse/dialyzer/improve_guards/OTP-15268...Hans Bolinder2018-08-312-0/+98
|\ \ | |/
| * dialyzer: Improve handling of complex guardsHans Bolinder2018-08-282-0/+98
* | Change "can not" into "cannot"Raimo Niskanen2018-07-275-7/+7
* | Refine types of functions in maps moduleMichał Muskała2018-07-231-1/+1
|/
* stdlib: Move eval_str/1 from mod_esi to erl_evalHans Bolinder2018-06-071-43/+1
* dialyzer: Refine the test for overspecified functionsHans Bolinder2018-05-2510-0/+175
* Merge branch 'hasse/dialyzer/funs_in_dead_code/OTP-15079/ERL-593'Hans Bolinder2018-05-212-0/+26
|\
| * dialyzer: Do not emit warnings for unreachable funsHans Bolinder2018-05-132-0/+26
* | Fix minor issuesRichard Carlsson2018-05-092-4/+2
* | Use \n escape instead of integer 10Richard Carlsson2018-05-041-1/+1
* | Move lib:eval_str/1 into mod_esi.erlRichard Carlsson2018-05-041-1/+45
* | Move lib:nonl/1 into yecc.erlRichard Carlsson2018-05-041-1/+5
|/
* Avoid overflowing the atom tableBjörn Gustavsson2018-03-241-16/+16
* mikpe/process_info-1-no-messages/PR-1745/OTP-14986Lukas Larsson2018-03-161-1/+1
|\
| * make erlang:process_info/1 not retrieve messagesMikael Pettersson2018-03-101-1/+1
* | Merge branch 'hasse/dialyzer/extra-range/OTP-14970'Hans Bolinder2018-03-134-8/+79
|\ \
| * | Dialyzer should not throw away spec information because of overspecRichard Carlsson2018-02-204-8/+79
* | | Merge branch 'maint'Hans Bolinder2018-02-232-0/+28
|\ \ \ | |/ / |/| / | |/
| * dialyzer: Correct a parameterized opaque types bugHans Bolinder2018-02-212-0/+28
* | Merge branch 'maint'Hans Bolinder2018-02-152-0/+20
|\ \ | |/
| * dialyzer: Fix a crashHans Bolinder2018-02-142-0/+20
* | Merge branch 'hasse/no_get_stacktrace/OTP-14861'Hans Bolinder2018-02-073-11/+11
|\ \
| * | dialyzer: Do not call erlang:get_stacktrace()Hans Bolinder2018-02-053-11/+11
* | | dialyzer: Assign a type to the primop build_stacktraceHans Bolinder2018-02-062-0/+78
|/ /
* | Merge branch 'maint'Hans Bolinder2018-01-191-0/+13
|\ \ | |/
| * dialyzer: Fix bsl/2 bugHans Bolinder2018-01-121-0/+13
* | Merge branch 'maint'Hans Bolinder2018-01-101-0/+14
|\ \ | |/
| * dialyzer: Add a test of erl_tar:table/1,2Hans Bolinder2018-01-091-0/+14
* | Merge branch 'maint'Hans Bolinder2018-01-091-1/+8
|\ \ | |/
| * dialyzer: Correct handling of erlang:abs/1Hans Bolinder2018-01-081-1/+8
* | Merge branch 'maint'Hans Bolinder2017-11-283-5/+16
|\ \ | |/
| * dialyzer: Extend the map implementation's handling of ?unitHans Bolinder2017-11-222-0/+11
| * dialyzer: Use string:find() instead of string:str()Hans Bolinder2017-11-221-5/+5
* | Merge branch 'lukas/stdlib/maps_iterators/OTP-14012'Lukas Larsson2017-11-201-1/+1
|\ \
| * | erts: Implement maps path iteratorLukas Larsson2017-10-131-1/+1
* | | Merge branch 'maint'Hans Bolinder2017-11-141-2/+28
|\ \ \ | |/ / |/| / | |/
| * dialyzer: Display error messages without call stackHans Bolinder2017-11-101-2/+28
* | Merge branch 'maint'Hans Bolinder2017-09-185-7/+104
|\ \ | |/
View Lorry Controller Status