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

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

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
2019-08-02	Ralf Jung	get rid of some remaining type-based dispatching in...	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	also test error messages	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	miri: validity checks alignment even when machine otherwise...	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	assert consistency	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	tidy is reaching new levels every day...	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	CTFE: simplify Value type by not checking for alignment	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	improve error when CTFE does ptr-int-cast; update tests	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	fix casts from fat pointers	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	use From to convert scalars to immediates	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	refactor cast_immediate to dispatch on the type first...	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	turn cast_immediate into its own function	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	operator: implement binary_op strictly by first checking...	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	cast: no need to catch errors any more, force_bits...	commit \| commitdiff \| tree
2019-08-01	Ralf Jung	replace what I think is an erroneous try_run_quiet...	commit \| commitdiff \| tree
2019-08-01	Ralf Jung	build_helper: rename (try_)run_silent -> (try_)run	commit \| commitdiff \| tree
2019-08-01	Ralf Jung	build_helper: rename run -> run_verbose (seems unused)	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	'Ref' can now be sure it gets a 'Pointer'	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	move 'get me the access-checked version of an mplace...	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	replace match by ok()	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	fix tests	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	better name for check_in_alloc	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	get_size_and_align: fix handling of function pointers	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	miri: add get and get_mut to AllocMap; use that in...	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	the alignment checks on access can no longer fail now	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	discourage use of ref_to_mplace	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	check that ptr is valid already when doing Deref, not...	commit \| commitdiff \| tree
2019-07-26	Ralf Jung	clarify and unify some type test names	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom