Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-07-03 | Verifier: Add type checks on equality/inequality operators | Samuel Lidén Borell | 1 | -0/+4 |
2017-09-01 | Add various TODOs and comments | Samuel Lidén Borell | 1 | -1/+1 |
2017-08-14 | Verifier: Fix comparison against expressions of ambigiuous type | Samuel Lidén Borell | 1 | -0/+19 |