power_insn: deprecate PR specifier
authorDmitry Selyutin <ghostmansd@gmail.com>
Wed, 26 Apr 2023 11:31:56 +0000 (14:31 +0300)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 2 Jun 2023 18:51:17 +0000 (19:51 +0100)
commitcacb8b2b737b9fbfd1a714347e9097e4ff8b82e7
treed391942d901ae8f8698042566653a212b51a0ecb
parent1484c0562d30cedd0dbab6e221c514750e558b5a
power_insn: deprecate PR specifier
src/openpower/decoder/power_insn.py