diff options
| author | Ashley Nelson <nashley@google.com> | 2022-09-15 15:59:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-15 15:59:49 -0700 |
| commit | 2a06bb4a7315162328d091a6eb2bb04fb53018c5 (patch) | |
| tree | b67ad2833ccb7687e9c20c419c8df43de13aa723 /.gitignore | |
| parent | 2fdb22bc26185e94ccd775bbfe8ea271be03df45 (diff) | |
| download | binaryen-2a06bb4a7315162328d091a6eb2bb04fb53018c5.tar.gz binaryen-2a06bb4a7315162328d091a6eb2bb04fb53018c5.tar.bz2 binaryen-2a06bb4a7315162328d091a6eb2bb04fb53018c5.zip | |
Multi-Memories wasm-split (#4977)
Adds an --in-secondary-memory switch to the wasm-split tool that allows profile data to be stored in a separate memory from module main memory. With this option, users do not need to reserve the initial memory region for profile data and the data can be shared between multiple threads.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions