git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2019-09-15	Ralf Jung	all memory behind a constant must be immutable	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	const interning: move mutability computation into intern_sha...	commit \| commitdiff \| tree
2019-09-09	Ralf Jung	update reference	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	add test	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	const-eval tests: make all unions repr(C)	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	explain why REF_AS_USIZE is important	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	tweak const-valid test	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	make unions repr(C)	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	mod-level doc comment for validity check	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	better variable names	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	miri: detect too large dynamically sized objects	commit \| commitdiff \| tree
2019-08-27	Ralf Jung	const_prop: only call error_to_const_error if we are...	commit \| commitdiff \| tree
2019-08-27	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	adjust tests	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	add link to FileCheck docs	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	raw slices do not have to comply to the size limit	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	test for too long slices	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	validate raw wide pointers	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	factor wide ptr metadata checking into separate method	commit \| commitdiff \| tree
2019-08-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	test in a way that works even with musl	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	less &	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	drift leftward	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	fix tests	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	use ImmTy::from_uint in a few more spots	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	make both unary_op and binary_op fully typed, including...	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	Add ImmTy::from_uint	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	invalid_value: also detect transmute-from-0 (seen in...	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	multi-variant enums are tricky	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	invalid_value: warn for types with custom valid range	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	warn about uninit bools and chars	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	invalid_value: factor finding dangerous inits into...	commit \| commitdiff \| tree
2019-08-15	Ralf Jung	ignore tests on wasm32-bare	commit \| commitdiff \| tree
2019-08-15	Ralf Jung	test Retag in drop shim	commit \| commitdiff \| tree
2019-08-15	Ralf Jung	don't add Retag statements for compound types	commit \| commitdiff \| tree
2019-08-12	Ralf Jung	more informative error message from invalid_value lint	commit \| commitdiff \| tree
2019-08-12	Ralf Jung	DiagnosticBuilder docs	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	update clippy	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	note down some more future plans	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	allow the lint if a few UB-demonstrating doc tests	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	proper doc comment for 'recovered' field of variant	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	note a FIXME	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	add tuple_fields convenience method and use it in a...	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	fix a comment	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	warn for more cases	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	add basic lint testing for misuse of mem::zeroed and...	commit \| commitdiff \| tree
2019-08-10	Ralf Jung	rename RUST_CTFE_BACKTRACE to RUSTC_CTFE_BACKTRACE	commit \| commitdiff \| tree
2019-08-10	Ralf Jung	fix test	commit \| commitdiff \| tree
2019-08-10	Ralf Jung	Miri shouldn't look at types	commit \| commitdiff \| tree
2019-08-09	Ralf Jung	check against more collisions for TypeId of fn pointer	commit \| commitdiff \| tree
2019-08-09	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-08-09	Ralf Jung	explain Miri disabling	commit \| commitdiff \| tree
2019-08-09	Ralf Jung	reduce some test sizes in Miri	commit \| commitdiff \| tree
2019-08-09	Ralf Jung	Miri is really slow	commit \| commitdiff \| tree
2019-08-09	Ralf Jung	enable flt2dec tests in Miri	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	remove confusing remark	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	more alphabetical	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	tweak ignores	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	don't set RUSTC_DEBUG_ASSERTIONS here; let cargo-miri...	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	install and use xargo inside the build dir	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	let us try to find out where that panic is coming from	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	dont test Miri by default (also be more verbose when...	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	remove test-miri from config.toml.example	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	more comments	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	remove test-miri flag from bootstrap	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	Miri test: call 'cargo miri test' and use the sysroot...	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	simplify a match	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	bootstrap: get rid of TEST_MIRI env var	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	Cargo.toml is at the root these days	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	move of packed fields might or might not occur when...	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	gitignore: remove some things that look ancient	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	we don't clutter the src/ dir any more	commit \| commitdiff \| tree
2019-08-08	Ralf Jung	explain what we want and what not in .gitignore	commit \| commitdiff \| tree
2019-08-06	Ralf Jung	clarify	commit \| commitdiff \| tree
2019-08-06	Ralf Jung	be clear that 1-init Vec being valid (but not safe...	commit \| commitdiff \| tree
2019-08-06	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	don't ignore mir_dump folder	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	assume_init: warn about valid != safe	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	improve wrapping_ docs	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	note about stack-allocated variables being allocated...	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	improve align_offset docs	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	update getrandom	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	bump libcore tests to rand 0.7	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	bump rand to fix Miri failures	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	fix UB in a test	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	AssumptionNotHeld is used only once in Miri and never...	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	move AssumptionNotHeld to UB	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	fix links	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	add variant for experimental UB (like Stacked Borrows)	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	also add macros for free-form error messages	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	clarify that unchecked indexing is UB even if the reference...	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	bless	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	dedup free-form Unsupported errors; add macros for...	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	be less British	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	fix rebase fallout	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	const_prop no longer does ptr-to-int casts	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	bless all the things	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	trailing full stops	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	add is_any_ptr type test; this also helps pacify tidy	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom