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

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

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-09	Ralf Jung	check against more collisions for TypeId of fn pointer	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	fix typo in .gitignore	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 align_offset docs	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	fix slice comparison	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	update getrandom	commit \| commitdiff \| tree
2019-08-05	Ralf Jung	Test content, not value	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	Apply suggestions from code review	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	replace match by ok()	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-26	Ralf Jung	clarify and unify some type test names	commit \| commitdiff \| tree
2019-07-25	Ralf Jung	bump crossbeam-epoch dependency	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	re-enable debug checks in Miri	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	Apply suggestions from code review	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	fix unused import	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	use PanicMessage type for MIR assertion errors	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	kill InterpError::description	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	do not use InterpError::description outside librustc...	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	more comments	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	more callback docs	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	more comments for toolstate scripts	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	word things more like we usually do	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	Apply suggestions from code review	commit \| commitdiff \| tree
2019-07-22	Ralf Jung	account for non-drop-glue types	commit \| commitdiff \| tree
2019-07-22	Ralf Jung	weasle, weasle	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	tidy is being silly	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	read: fix doc comment	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	use a const to hack around promotion limitations	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	disable overlapping check with Miri (does not work...	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom