Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
When run with '--no_spec', Typer will hide from Dialyzer any specs
present in the files under analysis.
|
|
|
|
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.
|
|
|
|
|
|
* ks/hipe:
dialyzer: Fix system_limit exception in race analysis
syntax_tools: Add types and specs for most exported functions
syntax_tools: Support the --enable-native-libs configure option
syntax_tools: Remove $Id$ annotations
dialyzer: New version for the R13B04 release
hipe: Miscellaneous additions
typer: New version for the R13B04 release
Fix a HiPE compiler bug evaluating an expression that throws system_limit
OTP-8460 ks/hipe
|
|
|
|
|