projects / openpower-isa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87db26e) | patch
add fix of out_sel in power_decoder.py formal proof
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 2 Sep 2022 12:32:45 +0000 (13:32 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 2 Sep 2022 12:32:45 +0000 (13:32 +0100)
commitc39e98213055bfcbebb0c55da65f2ba3edaa806d
tree551f4be52a3c0b6fcf6f61819641900372ee248btree
parent87db26eba5a0791719a36826acb2c4bfd34a3f64commit | diff
add fix of out_sel in power_decoder.py formal proof
but there are others.  basically the list of enums needs to be
automatically listed and put into the matches
src/openpower/decoder/formal/test_decoder.py diff | blob | history