Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-05-26 | testexec: Call tests in return.slul from main | Samuel Lidén Borell | 1 | -0/+71 |
2023-07-15 | Update copyright years | Samuel Lidén Borell | 1 | -1/+1 |
2022-10-29 | Basic checking of switch/case | Samuel Lidén Borell | 1 | -0/+56 |
2022-10-29 | Fix reachablility check after else-ifs and blocks | Samuel Lidén Borell | 1 | -0/+20 |
2022-08-05 | Special handling of while true loops | Samuel Lidén Borell | 1 | -6/+74 |
2022-08-04 | Checking of flow of return/goto | Samuel Lidén Borell | 1 | -0/+116 |