Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-05-13 | exprchk: Add none-ness check in deref exprs | Samuel Lidén Borell | 1 | -7/+14 |
2024-05-12 | Tests: More tests of none-ness | Samuel Lidén Borell | 1 | -0/+38 |
2024-05-12 | Check none-ness in implicit dereferencing | Samuel Lidén Borell | 1 | -2/+15 |
2024-05-12 | Allow passing not-none values to non-optional refs | Samuel Lidén Borell | 1 | -2/+0 |
2024-05-11 | Update copyright years | Samuel Lidén Borell | 1 | -1/+1 |
2024-05-11 | Tracking of variable none-ness | Samuel Lidén Borell | 1 | -0/+56 |
2022-08-05 | Checking of variable definedness after goto. Fix definedness check of if/else | Samuel Lidén Borell | 1 | -0/+54 |
2022-08-04 | Add missing files from bf3debcfa3b0a44f81eebeef3a72da015bf33ec8 | Samuel Lidén Borell | 1 | -0/+195 |