Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-10-29 | Basic checking of switch/case | Samuel Lidén Borell | 1 | -0/+94 |
2022-10-29 | Fix reachablility check after else-ifs and blocks | Samuel Lidén Borell | 1 | -0/+42 |
2022-10-16 | Basic checking of integer types | Samuel Lidén Borell | 1 | -1/+1 |
2022-08-05 | Checking of variable definedness after goto. Fix definedness check of if/else | Samuel Lidén Borell | 1 | -0/+18 |
2022-08-05 | Special handling of while true loops | Samuel Lidén Borell | 1 | -0/+57 |
2022-08-04 | Checking of flow of return/goto | Samuel Lidén Borell | 1 | -0/+86 |