Add (C_)BGE and C_SW and correct C_LUI RISC-V Semantics

BinaryAnalysisPlatform / bap

Binary Analysis Platform

MIT License

2.05k stars 271 forks source link

Closed matt-j-griffin closed 1 year ago

matt-j-griffin commented 1 year ago

Added semantics for the following instructions:

Changed semantics for the following instructions:

ivg commented 1 year ago

Thanks! I will merge as soon as the tests pass. If they don't consider rebasing over the master branch.