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

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

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
2019-07-02	Ralf Jung	request at least ptr-size alignment from posix_memalign	commit \| commitdiff \| tree
2019-07-01	Ralf Jung	miri realloc: do not require giving old size+align	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	forward read_c_str method from Memory to Alloc	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	before_exec actually will only get deprecated with...	commit \| commitdiff \| tree
2019-06-27	Ralf Jung	rename InterpretCx -> InterpCx	commit \| commitdiff \| tree
2019-06-25	Ralf Jung	tweak wording	commit \| commitdiff \| tree
2019-06-24	Ralf Jung	call out explicitly that general read needs to be called...	commit \| commitdiff \| tree
2019-06-24	Ralf Jung	fix reoccurring typo	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	expand comment	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	deduplicate some code	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	make code more symmetric	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	comment tweaks, better validation errors, update UI...	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	clean up internals of pointer checks; make get_size_and_alig...	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	move CheckInAllocMsg to more logical place	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	Centralize bounds, alignment and NULL checking for...	commit \| commitdiff \| tree
2019-06-22	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	do as tidy says	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	don't make PR author assignee; that break creating...	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	show HTTP error body	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	fix long line	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	dump the JSON we are going to submit to GH to create...	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	give a bit more context in the error message	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	publish_toolstate: don't use 'new' from inside the...	commit \| commitdiff \| tree
2019-06-19	Ralf Jung	nits	commit \| commitdiff \| tree
2019-06-19	Ralf Jung	Apply suggestions from code review	commit \| commitdiff \| tree
2019-06-18	Ralf Jung	create an issue for miri even in status test-fail	commit \| commitdiff \| tree
2019-06-18	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	make example code typecheck at least	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	keep links in local crate where possible	commit \| commitdiff \| tree
2019-06-15	Ralf Jung	minor edits	commit \| commitdiff \| tree
2019-06-15	Ralf Jung	mention that overwrite-without-drop also violates the...	commit \| commitdiff \| tree
2019-06-15	Ralf Jung	explain better that structural pinning is a per-field...	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	make sure we use cfg-if as a std dependency	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	note some safety concerns of raw-ptr-to-ref casts	commit \| commitdiff \| tree
2019-06-13	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	is_fp and is_floating_point do the same thing, remove...	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	comments	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	const-correctness might be confusing for C++ people	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	avoid 'const-context' terminology	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	replace some mode comparisons by more readable function...	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	some more comments for const_qualif	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	make sure to_ascii_lowercase actually leaves upper...	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	test more variants of enum-int-casting	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	move stray run-pass const tests into const/ folder	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	Miri: disable a slow test	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	forgot about multivariant enum casts	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	make floating point casts nicer with generics	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	Apply suggestions from code review	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	make unary float negation slightly nicer	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	trait-ize binary_float_op	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	offer ways to directly construct a Scalar from unsigned...	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	Scalar: only convert to/from soft-float types, not...	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom