diff options
author | Jerry Zhao <jerryz123@berkeley.edu> | 2023-12-08 14:40:16 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-08 14:40:16 -0800 |
commit | 1f466dfd1520d44dc77af123d68b58d558eee3c4 (patch) | |
tree | a397dde32674296febf718ddfe96bf53cffe864c /.github | |
parent | d94fe56b4fbc000d24f68597eb32e13cb73802ef (diff) | |
parent | b98e922cb42d4e7ebe7e76ce413acc8594294068 (diff) | |
download | spike-1f466dfd1520d44dc77af123d68b58d558eee3c4.zip spike-1f466dfd1520d44dc77af123d68b58d558eee3c4.tar.gz spike-1f466dfd1520d44dc77af123d68b58d558eee3c4.tar.bz2 |
Merge pull request #1522 from ucb-bar/device-plugin-api
Fix Spike --device option to pass on args to downstream plugins
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions