projects / openpower-isa.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
move ffadds to not conflict with fptrans -- makes space for min/max/fmod/remainder ops
[openpower-isa.git] / src / openpower / decoder / formal / test_decoder2.py
2022-09-02 Luke Kenneth Casso... fix RCOE.RC_ONLY in formal test_decoder2.py blob | commitdiff | raw
2022-09-02 Jacob Lifshaymake tests pass again blob | commitdiff | raw | diff to current
2022-09-02 Jacob Lifshayrename proof_decoder*.py -> test_decoder*.py so it... blob | commitdiff | raw | diff to current