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