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