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