Show patches with: Series = small fixes for the symbolic checker       |   5 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[1/5] scheck: better diagnostic for unsupported instructions small fixes for the symbolic checker - - - --- 2021-07-29 Luc Van Oostenryck Mainlined
[2/5] scheck: ignore OP_NOP & friends small fixes for the symbolic checker - - - --- 2021-07-29 Luc Van Oostenryck Mainlined
[3/5] scheck: constants are untyped small fixes for the symbolic checker - - - --- 2021-07-29 Luc Van Oostenryck Mainlined
[4/5] scheck: mkvar() with target or input type small fixes for the symbolic checker - - - --- 2021-07-29 Luc Van Oostenryck Mainlined
[5/5] scheck: fix type of operands in casts small fixes for the symbolic checker - - - --- 2021-07-29 Luc Van Oostenryck Mainlined