diff options
| author | tgrogers <[email protected]> | 2018-05-09 15:12:52 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2018-05-09 15:12:52 -0400 |
| commit | 57c17b0e7a2bba50a51fdfc8e66123d628ff4ae8 (patch) | |
| tree | b09153fb84d4fd7491bdceef30fe297c45d6718d /src/trace_streams.tup | |
| parent | 7d2b1a546cfc4a03eac998fa37b7720ce9e68109 (diff) | |
| parent | cdb59de6dc329ce5777e3c961c09d26f37d32fec (diff) | |
Merge remote-tracking branch 'public/dev' into dev
Diffstat (limited to 'src/trace_streams.tup')
| -rw-r--r-- | src/trace_streams.tup | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/trace_streams.tup b/src/trace_streams.tup index c41690e..fd68a16 100644 --- a/src/trace_streams.tup +++ b/src/trace_streams.tup @@ -29,5 +29,6 @@ TS_TUP_BEGIN( trace_streams_type ) TS_TUP( WARP_SCHEDULER ), TS_TUP( SCOREBOARD ), TS_TUP( MEMORY_PARTITION_UNIT ), + TS_TUP( LIVENESS ), TS_TUP( NUM_TRACE_STREAMS ) TS_TUP_END( trace_streams_type ) |