Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-08-21 | Add an undocumented option [--solver [v1 | v2]] | Hans Bolinder | |
The original implementation of the type signature solver is called 'v1' and the newly introduced alternative implementation is called 'v2'. It is possible to run just the one of the solvers (in case there is a bug in for instance the v2 implementation) or both solvers ("--solver v1 --solver v2"). In the latter case an error is thrown if the outcome differ. | |||
2012-05-21 | Anonymous time server | Stavros Aronis | |
2012-05-21 | Remove needless conversion | Stavros Aronis | |
The final version of the callgraph needs not be "reduced" for more efficient copying. | |||
2012-05-21 | Coordinator is no longer a separate process | Stavros Aronis | |
2012-05-21 | Plain concatenation for typesig not-fixpoint list | Stavros Aronis | |
2012-05-21 | Coordinator translates functions requiring further analysis | Stavros Aronis | |
2012-05-21 | Remove data prefetching | Stavros Aronis | |
2012-05-21 | Fix specs | Stavros Aronis | |
2012-05-21 | Simplify behaviour checking code | Stavros Aronis | |
2012-05-21 | Add better timing labels | Stavros Aronis | |
2012-05-21 | Parallel warning generation | Stavros Aronis | |
2012-05-21 | Add --time option to Dialyzer | Stavros Aronis | |
2012-05-21 | Keep mini plt for warnings pass | Stavros Aronis | |
2012-05-21 | Fix types and specs in Dialyzer | Stavros Aronis | |
2012-05-21 | Parallel dataflow | Stavros Aronis | |
2012-05-21 | Generalize coordinator and worker | Stavros Aronis | |
2012-05-21 | Prepare for parallel dataflow | Stavros Aronis | |
2012-05-21 | Remove unused race detection related code | Stavros Aronis | |
2012-05-21 | Refactorings in succ_typings | Stavros Aronis | |
2012-05-21 | Parallel typesig analysis | Stavros Aronis | |
2012-05-21 | Success typing analysis uses ETS tables for necessary plt info | Stavros Aronis | |
Only the info and contracts dicts were neccessary for success typing inference and these have been converted to ETS tables. | |||
2012-05-21 | Flatten order of dataflow analyses | Stavros Aronis | |
Dataflow analysis was structured to find SCCs of modules, without making any use of the information that these were indeed SCCs. | |||
2012-03-30 | Update copyright years | Björn-Egil Dahlberg | |
2012-02-22 | Further simplifications | Stavros Aronis | |
2012-02-22 | Simplify dialyzer_succ_typings code | Stavros Aronis | |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis | |
2011-11-18 | Store callbacks in codeserver and PLT | Stavros Aronis | |
2011-11-18 | Collect callback definitions during compilation | Stavros Aronis | |
2011-05-23 | Fix crash when a contract range warning is emitted for a module already in plt | Stavros Aronis | |
Warnings about wrong contract ranges are post-processed to be displayed in the file/line that contains the contract, although they can also be emitted while processing other modules. For this relocation to succeed the module that contains the contract should be currently under analysis. If this is not the case the warning is displayed in the file/line of the call that proves the discrepancy in the contract. | |||
2011-03-31 | Fix crash related with the contract blame assignment patch | Stavros Aronis | |
The relevant commit is 8342fcf5395133a19d647f2ace606af9b7fc1732. The old patch could emit warnings even for function that had a problematic spec even without refinement. This warnings would consume the relevant invalid spec warnings. This patch takes care of this by ensuring that normal invalid spec messages are emitted if the call that triggers the blame contract range warning is in another module. | |||
2011-03-11 | Update copyright years | Björn-Egil Dahlberg | |
2011-03-11 | Better blame assignment when a spec is erroneous | Stavros Aronis | |
Applies to the specification of the return value of a function. | |||
2010-06-08 | Various changes to dialyzer-related files for R14. | Kostis Sagonas | |
Bumped version number and wrote RELEASE_NOTES. Included all changes described in release notes. Some spec-related changes to some files in lib/hipe/cerl. | |||
2010-02-17 | Merge branch 'ks/hipe' into ccase/r13b04_dev | Erlang/OTP | |
* 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 | |||
2010-02-14 | dialyzer: New version for the R13B04 release | Kostis Sagonas | |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |