Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-07-13 | Tests: Add missing return statements to tests | Samuel Lidén Borell | 1 | -2/+2 |
2017-08-22 | C backend: Implement proper comparison between optional types | Samuel Lidén Borell | 1 | -2/+4 |
2017-08-14 | Verifier: Fix comparison against expressions of ambigiuous type | Samuel Lidén Borell | 1 | -2/+15 |
2012-06-16 | Verifier: Check comparison expressions | Samuel Lidén Borell | 1 | -0/+14 |