rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2020-05-30	miri validation: clarify valid values of 'char'	Ralf Jung	-1/+1

2020-05-12	Pointer printing: do not print 0 offset	Ralf Jung	-5/+5

2020-04-27	keep 'pointer' terminology around	Ralf Jung	-5/+5

2020-04-26	organize Debug/Display impls a bit more; avoid sign-ignorant decimal display	Ralf Jung	-21/+21

2020-03-08	fix type size mismatch on 32bit	Ralf Jung	-17/+17

2020-03-06	please tidy	Ralf Jung	-13/+13

2020-03-06	test some more kinds of enums with uninhabited variants	Ralf Jung	-10/+42

2020-03-06	const validation ub tests: use transmute instead of unions	Ralf Jung	-26/+26

2020-02-26	miri: validity visitor comments and path printing improvements	Ralf Jung	-1/+1

2020-02-18	miri value visitor: fix some wrong assumptions about layout; improve error ↵	Ralf Jung	-7/+7
	messages
2019-09-06	Fixed grammar/style in error messages and reblessed tests.	Alexander Regueiro	-9/+9

2019-08-30	const-eval tests: make all unions repr(C)	Ralf Jung	-9/+9

2019-07-04	improve validity error range printing for singleton ranges	Ralf Jung	-2/+2

2019-07-04	turns out that dangling pointer branch is dead code; remove it and improve ↵	Ralf Jung	-20/+36
	the error that actually gets shown a bit
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.