aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2011-02-14Fix bug in the simplification of inexact comparisonsKostis Sagonas
On 31/1/2011 Paul Guyot reported a bug in the native code compilation of inexact equality/inequality tests between floats and integers. The relevant test was: f(X) -> Y = X / 2, Y == 0. and hipe erroneously evaluated the calls f(0) and f(0.0) to 'false'. The culprit was in the simplification code of the Icode range analysis which used an erroneous test (lists:any/1 instead of lists:all/1).
2011-02-14Various cleanups and cosmetic changesKostis Sagonas
2011-02-14Fix bug with subgroups after introduction of remote groupsLukas Larsson
2011-02-14Updsated macro EFORMAT exit handling.Niclas Eklund
2011-02-14Merge branch 'bjorn/fix-make_stub-leak' into devBjörn Gustavsson
* bjorn/fix-make_stub-leak: Eliminate memory leak in code:make_stub/1 Test more error cases for code:make_stub/1
2011-02-14Fix -spec for file:write_file/3Magnus Henoch
Change type for second parameter from binary() to iodata(), since the function explicitly takes steps to accept lists as well as binaries.
2011-02-14Eliminate memory leak in code:make_stub/1Björn Gustavsson
2011-02-14Test more error cases for code:make_stub/1Björn Gustavsson
2011-02-14Never allow os:find_executable/1 to return the path of directoriesBjörn Gustavsson
2011-02-14compile: Refactor handling of source options (e.g. 'from_core')Björn Gustavsson
The options for compiling from Core Erlang, BEAM assembler files, and BEAM files are handled in several places, making it difficult to change or add more similar options. Refactor the option handling so that each option only need to be handled in one place.
2011-02-14Corrected spec usage.Niclas Eklund
2011-02-11Merge branch 'ia/ssl/dialyzer-spec-fixes' into devIngela Anderton Andin
* ia/ssl/dialyzer-spec-fixes: Added missing return value in dialyzer specs (ssl.erl)
2011-02-11Added missing return value in dialyzer specs (ssl.erl)Ingela Anderton Andin
Suppressed dialyzer warnings with spec if possible to minimize clutter from this file belonging to old ssl.
2011-02-10Update internal pmap to have a process limitLukas Larsson
Add write concurrancy to cover masters ?COVER_TABLE
2011-02-10Eliminated Dialyzer warnings when using exit or throw.Niclas Eklund
2011-02-10Verify that temp allocated memory is releasedRickard Green
2011-02-10Fix exception generation in the io moduleBjörn-Egil Dahlberg
Some functions did not generate correct badarg exception on a badarg exception. Affected functions: - io:put_chars/1,2 - io:nl/1 - io:write/1,2 - io:format/1,2,3 - io:fwrite/1,2,3
2011-02-10Strengthen some specsKostis Sagonas
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-09Rename Suite Callback to Common Test HookLukas Larsson
2011-02-09Fix win32 file drivers atime/mtimeBjörn-Egil Dahlberg
When setting file_info it will now correctly set access and modified time. Previously these entities were swapped.
2011-02-09Merge branch 'bjorn/beam-max-args/OTP-9049' into devBjörn Gustavsson
* bjorn/beam-max-args/OTP-9049: Refuse to compile functions with too many arguments Lower the maximum arity from 256 to 255
2011-02-09Merge branch 'bjorn/compiler/eliminate-warnings' into devBjörn Gustavsson
* bjorn/compiler/eliminate-warnings: compiler Makefile: Turn warnings into errors v3_kernel_pp: Add support for pretty-printing #k_literal{} records v3_kernel_pp: Eliminate warning
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-07v3_codegen: Use the latest instance of StBjörn Gustavsson
By accident a previous instance of St is used, which is harmless in this case, but leads to worse quality of the generated code.
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-05Fix a couple typos in driver_entry(3)Tuncer Ayaz
2011-02-03HALFWORD ETS match spec heap fragment optimizationSverker Eriksson
Introduce HAllocX to allocate heap fragments with a larger capacity than requested and by that reduce the number of fragments allocated.
2011-02-03HALFWORD ETS removed eheap and improved test case t_match_spec_runSverker Eriksson
2011-02-03HALFWORD ETS Further match spec optimization to minimize copying and garbageSverker Eriksson
2011-02-03HALFWORD ETS db_prog_match optimizationSverker Eriksson
2011-02-03HALFWORD ETS Fix segv for match spec with several function and guardsSverker Eriksson
Did not properly take care of case when TryMeElse restarted with next match clause.
2011-02-03HALFWORD Make system_info mseg_alloc report both low/high memSverker Eriksson
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-12 21:49:19 +0000