Davide Libenzi 90e6bdca1f Instrument XRT with metrics and add op to fetch them from client side. ...

PiperOrigin-RevId: 291547054
Change-Id: Ia44b4d724805912961cf4f1fae165df9bad0c3b2

2020-01-25 12:57:21 -08:00

..

xrt_compile_ops.cc

…

xrt_execute_op.cc

…

xrt_state_ops.cc

Instrument XRT with metrics and add op to fetch them from client side.

2020-01-25 12:57:21 -08:00