index
:
otp.git
HansN-patch-1
KennethL-patch-1
bjorn/contributing
bjorn/contributing-1
dgud-string-depr
gcc-5-pic-cmpxchg8b-quickfix
gh-pages
ingela/master/dtls/test-cuddle
maint
maint-17
maint-18
maint-19
maint-20
maint-21
maint-22
maint-r13
maint-r14
maint-r14b03
maint-r15
maint-r16
maint-r16b02
master
meta
sverker-ets-patch-1
Mirror of Erlang/OTP repository.
OTP Team
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
Age
Commit message (
Collapse
)
Author
2012-05-21
Add infinity timeout to os_mon calls
Gustav Simonsson
2012-05-21
Logfile-like statistics (enabled with --resources)
Stavros Aronis
2012-05-21
Anonymous SCCtoPID ETS table
Stavros Aronis
2012-05-21
Anonymous time server
Stavros Aronis
2012-05-21
Regulate all kinds of running workers up to the number of schedulers
Stavros Aronis
2012-05-21
Relocate start and stop of timing server
Stavros Aronis
2012-05-21
Better names for callgaph ETS tables
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
Fix types and specs
Stavros Aronis
2012-05-21
Inline a function in dialyzer_worker
Stavros Aronis
2012-05-21
Remove unused function
Stavros Aronis
2012-05-21
Change --time to --statistics and include more info
Stavros Aronis
2012-05-21
Better reflect side-effect based code in dialyzer_callgraph
Stavros Aronis
2012-05-21
Code simplifications (tidier)
Kostis Sagonas
2012-05-21
More efficient calculation of module deps and postorder
Stavros Aronis
2012-05-21
Solve big SCC constraints in parallel
Stavros Aronis
2012-05-21
Coordinator is no longer a separate process
Stavros Aronis
2012-05-21
All spawns are now spawn_links
Stavros Aronis
2012-05-21
Fix race in coordinator
Stavros Aronis
2012-05-21
Typesig and dataflow analyses no longer use ticket regulation
Stavros Aronis
2012-05-21
Plain concatenation for typesig not-fixpoint list
Stavros Aronis
2012-05-21
Ticket-based regulation of memory consumption
Stavros Aronis
2012-05-21
Infinity timeout for coordinator calls
Stavros Aronis
2012-05-21
Worker PIDs are stored in an ETS table
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
Add read_concurrency option to some ETS tables
Stavros Aronis
2012-05-21
Avoid digraph_utils:condensation and ordering in typesig
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
Fix a spec in plt
Stavros Aronis
2012-05-21
Keep mini plt for warnings pass
Stavros Aronis
2012-05-21
Fix typer crashes
Stavros Aronis
2012-05-21
Fix types and specs in Dialyzer
Stavros Aronis
2012-05-21
Parallel compilation of files under analysis
Stavros Aronis
2012-05-21
Callgraph is ets based from the start
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
Separate race related fields of callgraph
Stavros Aronis
2012-05-21
Remove unused race detection related code
Stavros Aronis
2012-05-21
Simplification in dataflow
Stavros Aronis
2012-05-21
Refactorings in succ_typings
Stavros Aronis
2012-05-21
Moving code between callgraph & dataflow
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
Convert remaining codeserver fields to ETS tables
Stavros Aronis
[prev]
[next]