diff options
| author | Henrik Nord <[email protected]> | 2012-05-31 15:57:44 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-31 15:57:51 +0200 |
| commit | 3e348c69b6921dd0e2c5b699ccd36d46321c953c (patch) | |
| tree | 411b2ac33b8a2d84b39d1f4b9341c38de06cfff4 /lib/dialyzer/plt/.gitignore | |
| parent | cdd1bc668112289cb2ee573c067ba106ca707b91 (diff) | |
| parent | 49c657461866f0fe87de2ee7578b46b1b926db10 (diff) | |
| download | otp-3e348c69b6921dd0e2c5b699ccd36d46321c953c.tar.gz otp-3e348c69b6921dd0e2c5b699ccd36d46321c953c.tar.bz2 otp-3e348c69b6921dd0e2c5b699ccd36d46321c953c.zip | |
Merge branch 'sa/dialyzer-parallel' into maint
* sa/dialyzer-parallel: (54 commits)
Logfile-like statistics (enabled with --resources)
Anonymous SCCtoPID ETS table
Anonymous time server
Regulate all kinds of running workers up to the number of schedulers
Relocate start and stop of timing server
Better names for callgaph ETS tables
Remove needless conversion
Fix types and specs
Inline a function in dialyzer_worker
Remove unused function
Change --time to --statistics and include more info
Better reflect side-effect based code in dialyzer_callgraph
Code simplifications (tidier)
More efficient calculation of module deps and postorder
Solve big SCC constraints in parallel
Coordinator is no longer a separate process
All spawns are now spawn_links
Fix race in coordinator
Typesig and dataflow analyses no longer use ticket regulation
Plain concatenation for typesig not-fixpoint list
...
OTP-10103
Diffstat (limited to 'lib/dialyzer/plt/.gitignore')
0 files changed, 0 insertions, 0 deletions