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

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

2019-06-09	Ralf Jung	Miri: disable a slow test	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	extra paranoid mode	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	black-box the fn ptr, not the result	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	remove useless ident() functions in const tests and...	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	fix rebase fallout	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	rename EvalSnapshot -> InterpSnapshot	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	rename EvalResult -> InterpResult and EvalError ->...	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	checktools: unify grepping the TOOLSTATE file	commit \| commitdiff \| tree
2019-06-07	Ralf Jung	add doc comment for EvalError	commit \| commitdiff \| tree
2019-06-07	Ralf Jung	make the backtrace field of EvalError private	commit \| commitdiff \| tree
2019-06-03	Ralf Jung	get rid of real_intrinsics module	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	update comments	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	FIXME	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	fix indentation	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	turn comments into doc-comments	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	fix comments	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	no longer assume that there is a default tag: give...	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	cache tag for vtable; fn_alloc's don't have a stack...	commit \| commitdiff \| tree
2019-05-31	Ralf Jung	miri unsizing: fix projecting into a field of an operand	commit \| commitdiff \| tree
2019-05-30	Ralf Jung	rename did -> def_id	commit \| commitdiff \| tree
2019-05-30	Ralf Jung	light refactoring of global AllocMap	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	bless you	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	split libcore::mem into multiple files	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	Update src/libcore/mem.rs	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	mention that MaybeUninit is a bit like Option	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	Box::into_vec: use Box::into_raw instead of mem::forget	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	factor out some common code and make the on-elimination...	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix truncate and sign_extend for size == 0	commit \| commitdiff \| tree
2019-05-26	Ralf Jung	centralize Scalar size sanity checks and also do them...	commit \| commitdiff \| tree
2019-05-26	Ralf Jung	fix overflow error in signed wrapping offset	commit \| commitdiff \| tree
2019-05-26	Ralf Jung	rename Scalar::Bits to Scalar::Raw and bits field to...	commit \| commitdiff \| tree
2019-05-25	Ralf Jung	shadow as_ptr as as_mut_ptr in Vec to avoid going through...	commit \| commitdiff \| tree
2019-05-25	Ralf Jung	add test checking that Vec push/pop does not invalidate...	commit \| commitdiff \| tree
2019-05-25	Ralf Jung	MaybeUninit doctest: remove unnecessary type ascription	commit \| commitdiff \| tree
2019-05-25	Ralf Jung	split core::ptr module into multiple files	commit \| commitdiff \| tree
2019-05-24	Ralf Jung	this is for tidy	commit \| commitdiff \| tree
2019-05-24	Ralf Jung	improve debug-printing of scalars	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	adjust comment	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	Box::into_unique: do the reborrow-to-raw after destroying...	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	fix dangling reference in Vec::append	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	update doc comment	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	adjust deprecation date of mem::uninitialized	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	static_assert: make use of anonymous constants	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	elliminate mem::uninitialize from docs in libcore	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	add out-pointer example	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	apply feedback	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	stabilize core parts of MaybeUninit and deprecate mem...	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	remove confusing remarks about mixed volatile and non...	commit \| commitdiff \| tree
2019-05-18	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-05-18	Ralf Jung	expand comment in StorageLive	commit \| commitdiff \| tree
2019-05-13	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-05-13	Ralf Jung	Revert "use SecRandomCopyBytes on macOS in Miri"	commit \| commitdiff \| tree
2019-05-08	Ralf Jung	pin: make the to-module link more visible	commit \| commitdiff \| tree
2019-05-05	Ralf Jung	fix typo in enum variant name	commit \| commitdiff \| tree
2019-05-04	Ralf Jung	match on type directlty	commit \| commitdiff \| tree
2019-05-04	Ralf Jung	fix Miri visiting generators	commit \| commitdiff \| tree
2019-05-02	Ralf Jung	clarify wording	commit \| commitdiff \| tree
2019-05-02	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-05-01	Ralf Jung	as_ptr returns a read-only pointer	commit \| commitdiff \| tree
2019-04-26	Ralf Jung	include rustc-std-workspace-alloc in rust-src	commit \| commitdiff \| tree
2019-04-25	Ralf Jung	when testing Miri, compile libstd for Miri	commit \| commitdiff \| tree
2019-04-23	Ralf Jung	deny -> warn	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	use SecRandomCopyBytes on macOS in Miri	commit \| commitdiff \| tree
2019-04-20	Ralf Jung	improve docs	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	add Miri error variant for process exit	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	fix LinkedList invalidating mutable references	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	move variable down to where it is used	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	make liballoc internal test suite mostly pass in Miri	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	test sort_unstable in Miri	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	Miri: refactor new allocation tagging	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	Miri now supports entropy, but is still slow	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	Update src/librustc/mir/interpret/allocation.rs	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	this panic occurs not just on Windows, normalize it...	commit \| commitdiff \| tree
2019-04-15	Ralf Jung	normalize away some Windows-only panic printing	commit \| commitdiff \| tree
2019-04-15	Ralf Jung	warn(missing_docs) in liballoc, and add missing docs	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	huge-enum also exhibits this error	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	make lint levels more consistent	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	some more tests need normalization	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	normalize away spurious error	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	normalize flags and rustc version in ICE repro	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	fix output test for backtrace-debuginfo.rs	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	fix tests	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	compiletest normalization: preserve non-JSON lines...	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	bump stdsimd; make intra_doc_link_resolution_failure...	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	MaybeUninit: remove deprecated functions	commit \| commitdiff \| tree
2019-04-08	Ralf Jung	avoid reading from ZST locals	commit \| commitdiff \| tree
2019-04-08	Ralf Jung	Apply suggestions from code review	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	implement by-value object safety	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	initialize unsized locals when copying to the for the...	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	fix miri engine debug output for uninitialized locals	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	make StorageLive lazy as well	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	miri engine: lazily allocate memory for locals on first...	commit \| commitdiff \| tree
2019-04-03	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-04-03	Ralf Jung	try to fix rand feature flags	commit \| commitdiff \| tree
2019-04-03	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-03-30	Ralf Jung	update stdsimd	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom