i#2717 shrink static DR library: do not initialize dynamo_options sta…#2797

Open

nilayvaish wants to merge 9 commits into

i2717-options-init

Commits on Jan 7, 2018

i#2717 shrink static DR library: do not initialize dynamo_options statically.
nilayvaish
committed

Commits on Jan 15, 2018

Merge branch 'master' of https://github.com/DynamoRIO/dynamorio into i2717-options-init
nilayvaish
committed

Commits on Jan 16, 2018

i#2717 shrink static DR library: do not set dynamo_options statically
nilayvaish
committed

Commits on Jan 19, 2018

Merge branch 'master' of https://github.com/DynamoRIO/dynamorio into i2717-options-init
nilayvaish
committed

Commits on Jan 20, 2018

Commits on Jan 24, 2018

Commits on Jan 30, 2018

Merge branch 'master' of https://github.com/DynamoRIO/dynamorio into i2717-options-init
nilayvaish
committed