git.lizzy.rs Git - rust.git/history - src/librustc

]> git.lizzy.rs Git - rust.git/history - src/librustc_mir/interpret/validation.rs

2017-07-26	Ralf Jung	whitelist some more methods	blob \| commitdiff \| raw
2017-07-26	Ralf Jung	move undef-check-on-release-validation out, to catch...	blob \| commitdiff \| raw \| diff to current
2017-07-26	Ralf Jung	check mutable UnsafeCell; hack for AtomicBool::get_mut	blob \| commitdiff \| raw \| diff to current
2017-07-26	Ralf Jung	more hacks to make test cases pass	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	whitelist things so that more tests pass	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	suspend lvalues, not locks. refactor memory locking.	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	handle type of function definitions (98)	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	we need to normalize associated types also deep in...	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	Handle trait objects. Only very superficial checking...	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	nits. also, rustc now emits released for drop. (72)	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	exempt UnsafeCell from checks (69)	blob \| commitdiff \| raw \| diff to current
2017-07-25	Ralf Jung	move validation to its own file	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.