Naming of cv.slet
Make the change: https://github.com/openhwgroup/cv32e40p/issues/833
Actions:
- Rename cv.slet -> cv.sle
- Add pseudo instruction cv.slet
- Make cv.sle the preferred disassembly (ensure cv.slet is further down in the disassembly table)
- Repeat for unsigned (cv.sletu)
- Document pseudo instruction in official CV32E40P documentation