| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-12-25 | Remove licenses | Mark Rousskov | -7/+7 | |
| 2018-11-19 | we now do proper validation on scalars | Ralf Jung | -4/+4 | |
| 2018-11-15 | do not accept out-of-bounds pointers in enum discriminants, they might be NULL | Ralf Jung | -6/+14 | |
| 2018-11-15 | validation: better error when the enum discriminant is Undef | Ralf Jung | -1/+1 | |
| 2018-11-12 | miri-engine value visitor update to VariantIdx | Oliver Scherer | -1/+1 | |
| 2018-11-07 | pretty-print scalar range that only has an upper bound | Ralf Jung | -1/+1 | |
| 2018-11-07 | do not print wrapping ranges like normal ranges in diagnostics | Ralf Jung | -12/+28 | |
| 2018-11-05 | Also test for undef in enum discriminant | Ralf Jung | -3/+11 | |
| The error message is sub-par, but fixing that requries moving ScalarMaybeUndef to librustc which would conflict badly with another PR that is in flight. | ||||
| 2018-11-05 | fix validation error on non-integer enum discriminants | Ralf Jung | -5/+5 | |
| 2018-10-25 | Report const eval error inside the query | Oliver Schneider | -3/+3 | |
| 2018-10-09 | also validate everything that has a Scalar layout, to catch NonNull | Ralf Jung | -1/+1 | |
| 2018-10-09 | switch validation of scalars to be type-driven | Ralf Jung | -1/+1 | |
| This does not actually regress anything. It would regress NonNull, but we didn't handle that correctly previously either. | ||||
| 2018-08-28 | address nits | Ralf Jung | -2/+2 | |
| 2018-08-27 | validate enum discriminant whenever it is read | Ralf Jung | -2/+2 | |
| 2018-08-22 | optimize sanity check path printing | Ralf Jung | -0/+27 | |
| During the sanity check, we keep track of the path we are below in a `Vec`. We avoid cloning that `Vec` unless we hit a pointer indirection. The `String` representation is only computed when validation actually fails. | ||||
