| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-03-06 | miri value visitor: detect primitives by type, not layout | Ralf Jung | -3/+3 |
| 2020-02-18 | miri value visitor: fix some wrong assumptions about layout; improve error me... | Ralf Jung | -3/+3 |
| 2020-01-15 | Add tests | Oliver Scherer | -3/+19 |
| 2019-09-06 | Fixed grammar/style in error messages and reblessed tests. | Alexander Regueiro | -1/+1 |
| 2019-03-11 | Update tests | Vadim Petrochenkov | -1/+1 |
| 2018-12-11 | Update tests | varkor | -1/+1 |
| 2018-11-24 | Clean up array/slice of primitive validation | Oliver Scherer | -0/+11 |
