Show patches with: Series = scheck: add a symbolic checker       |   8 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[v2,8/8] scheck: support pre-conditions via __assume() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,7/8] scheck: assert_const() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,6/8] scheck: allow multiple assertions scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,5/8] scheck: assert_eq() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,4/8] scheck: add a symbolic checker scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,3/8] .gitignore is a bit too greedy scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,2/8] builtin: define a symbol_op for a generic op acting on integer scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,1/8] export declare_builtins() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined