| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2021-07-29 | scheck: fix type of operands in casts | Luc Van Oostenryck | 1 | -10/+8 |
| 2021-07-27 | scheck: mkvar() with target or input type | Luc Van Oostenryck | 1 | -0/+12 |
| 2021-07-27 | scheck: constants are untyped | Luc Van Oostenryck | 1 | -3/+2 |
| 2021-07-27 | scheck: ignore OP_NOP & friends | Luc Van Oostenryck | 1 | -0/+5 |
| 2021-07-27 | scheck: better diagnostic for unsupported instructions | Luc Van Oostenryck | 1 | -4/+4 |
| 2021-04-17 | scheck: predefine __SYMBOLIC_CHECKER__ | Luc Van Oostenryck | 1 | -0/+1 |
| 2021-04-13 | scheck: support pre-conditions via __assume() | Luc Van Oostenryck | 1 | -9/+24 |
| 2021-04-13 | scheck: assert_const() | Luc Van Oostenryck | 1 | -0/+19 |
| 2021-04-13 | scheck: allow multiple assertions | Luc Van Oostenryck | 1 | -2/+3 |
| 2021-04-13 | scheck: assert_eq() | Luc Van Oostenryck | 1 | -0/+11 |
| 2021-04-13 | scheck: add a symbolic checker | Luc Van Oostenryck | 1 | -0/+315 |
