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

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

2019-08-05	Ralf Jung	note about stack-allocated variables being allocated...	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
2019-07-21	Ralf Jung	apply feedback	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	sync with nomicon: raw ptr must be non-dangling and...	commit \| commitdiff \| tree
2019-07-20	Ralf Jung	references must be aligned; also move up the warning...	commit \| commitdiff \| tree
2019-07-20	Ralf Jung	warn that raw pointers must be aligned when used, and...	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	avoid uninit_array! macro where it is not needed	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	use const array repeat expressions for uninit_array	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	ONCE_INIT is deprecated-in-future only for bootstrap	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	do not use mem::uninitialized in std::io	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	warn about deprecated-in-future in most of libstd	commit \| commitdiff \| tree
2019-07-18	Ralf Jung	add a few comments for the toolstate stuff	commit \| commitdiff \| tree
2019-07-16	Ralf Jung	state also in the intro that UnsafeCell has no effect...	commit \| commitdiff \| tree
2019-07-15	Ralf Jung	bump compiler_builtins	commit \| commitdiff \| tree
2019-07-15	Ralf Jung	ignore some codegen tests in debug mode	commit \| commitdiff \| tree
2019-07-14	Ralf Jung	remove outdated comment	commit \| commitdiff \| tree
2019-07-14	Ralf Jung	RustIntrinsic and PlatformIntrinsic are also the same...	commit \| commitdiff \| tree
2019-07-14	Ralf Jung	miri validation: better error messages for dangling...	commit \| commitdiff \| tree
2019-07-14	Ralf Jung	better comments	commit \| commitdiff \| tree
2019-07-13	Ralf Jung	explain how to search without owned data	commit \| commitdiff \| tree
2019-07-11	Ralf Jung	move mem::uninitialized deprecation back by 1 release...	commit \| commitdiff \| tree
2019-07-07	Ralf Jung	format a bit	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	forcing instead of normalization	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	remove outdated comment	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	remove another unused method	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	remove some no-longer-needed methods	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	Add check_mplace_ptr convenience method; provide ptr...	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	add assert_{bits,ptr}; document which methods we hope...	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	remove Scalar::is_null_ptr	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	improve validity error range printing for singleton...	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	turns out that dangling pointer branch is dead code...	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	use get_size_and_align to test if an allocation is...	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	organize methods a bit better	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	more inlining	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	make Memory::get_fn take a Scalar like most of the...	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	fix for tidy	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	fix determinig the size of foreign static allocations	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	add machine hook to handle calls to 'extra' function...	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	Add basic support for "other" kinds of values for function...	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	Go back to just passing MemoryExtra to the machine...	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	Machine: make self-like parameters come first	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	fix unused-import error on android	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	remove bogus example from drop_in_place	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	enable a few more tests in Miri and update the comment...	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	test more possible overaligned requests	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	improve and deduplicate comments	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom