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

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

2020-05-05	Ralf Jung	explain the types used in the open64 call	commit \| commitdiff \| tree
2020-05-05	Ralf Jung	rely on rdlock/wrlock not returning anything but the...	commit \| commitdiff \| tree
2020-05-04	Ralf Jung	edit Mutex comment	commit \| commitdiff \| tree
2020-05-04	Ralf Jung	explain our rwlock implementation (and fix a potential...	commit \| commitdiff \| tree
2020-05-04	Ralf Jung	expand comment on default mutex behavior	commit \| commitdiff \| tree
2020-05-03	Ralf Jung	bless caller-location test	commit \| commitdiff \| tree
2020-05-03	Ralf Jung	remove unneeded flags; exlain why we still have const_if_match	commit \| commitdiff \| tree
2020-05-03	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-05-03	Ralf Jung	warn about each skipped feature gate	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	fix miri-unleash delayed sanity checking	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	explain why we use def_span	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	make sure the miri-unleash-flag is not used to circumvent...	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	Rollup merge of #71782 - cuviper:leave-dev-null-alone...	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	Rollup merge of #71781 - estebank:box-pin-test, r=tmandry	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	Rollup merge of #71739 - tshepang:master, r=Dylan-DPC	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	Rollup merge of #71738 - RalfJung:pointer-no-alloc...	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	Rollup merge of #71736 - RalfJung:silence-spurious...	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	Rollup merge of #71712 - RalfJung:error-backtrace,...	commit \| commitdiff \| tree
2020-05-02	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	fix Miri error message padding	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	remove AllocId generalization of Pointer	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	bootstrap: also apply unused-attributes hack without...	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	use hex for invalid bool and char (consistently with...	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	rename InvalidIntPtrUsage	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	bless you	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	InterpError printing really is more Display than Debug	commit \| commitdiff \| tree
2020-05-01	Ralf Jung	tweak InvalidIntPointerUsage message	commit \| commitdiff \| tree
2020-04-30	Ralf Jung	deduplicate warnings	commit \| commitdiff \| tree
2020-04-30	Ralf Jung	remove no longer needed feature flags	commit \| commitdiff \| tree
2020-04-30	Ralf Jung	unleashed Miri: open all the gates	commit \| commitdiff \| tree
2020-04-30	Ralf Jung	Miri: port error backtraces to std::backtrace	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	expand comment in memory.rs with extra soundness concerns	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	some more test cases	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	also test reference into static field	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	clarify comment	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	add test for const-ref-to-cross-crate-mutable-static	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	better document const-pattern dynamic soundness checks...	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	also run some generator tests without MIR optimizations	commit \| commitdiff \| tree
2020-04-27	Ralf Jung	share some common code for compile-time miri instances	commit \| commitdiff \| tree
2020-04-27	Ralf Jung	keep 'pointer' terminology around	commit \| commitdiff \| tree
2020-04-27	Ralf Jung	make recursive-zst test unleashed	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	remove Unique::from for shared pointer types	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	organize Debug/Display impls a bit more; avoid sign...	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	Adjust style	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	print pointers more compactly when they are too big	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	sync alloc dump and pointer printing	commit \| commitdiff \| tree
2020-04-24	Ralf Jung	adjust tests	commit \| commitdiff \| tree
2020-04-24	Ralf Jung	Revert "Move early needs_subst bailout to _after_ linting."	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	explain what we are testing in mutable_const	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	add back Scalar::null_ptr	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	miri-unleash tests: ensure they fire even with 'allow...	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	liballoc: more compact way to adjust test sizes for...	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	libcore: more compact way to adjust test sizes for...	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	Miri Frame: use mir::Location to represent position...	commit \| commitdiff \| tree
2020-04-22	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-04-22	Ralf Jung	smoke-test for async fn with mir-opt-level=0	commit \| commitdiff \| tree
2020-04-22	Ralf Jung	comment explaining force_align usage	commit \| commitdiff \| tree
2020-04-21	Ralf Jung	Fix stage0.txt version number comment	commit \| commitdiff \| tree
2020-04-19	Ralf Jung	Fix comment	commit \| commitdiff \| tree
2020-04-19	Ralf Jung	miri-unleash test for llvm_asm	commit \| commitdiff \| tree
2020-04-18	Ralf Jung	Miri: mplace_access_checked: offer option to force...	commit \| commitdiff \| tree
2020-04-18	Ralf Jung	miri-unleashed: test that we detect heap allocations	commit \| commitdiff \| tree
2020-04-18	Ralf Jung	check_consts: make ops module private	commit \| commitdiff \| tree
2020-04-17	Ralf Jung	Miri: fix typo	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	bikeshed	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	Miri error messages: avoid try terminology	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	test fast path offset reporting	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	switch back to 'bytes'	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	don't specify log base in big-O	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	big-O notation: parenthesis, multiplication and backticks	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	reword Miri validity errors: undefined -> uninitialized	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	remove rustfmt-induced spurious trailing comma	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	remove an impossible branch from check_consts	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	Miri: let machine hook dynamically decide about alignment...	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	add after_stack_push hook; add public ImmTy::from_immediate...	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	Miri: let push_frame hook also access and mutate the...	commit \| commitdiff \| tree
2020-04-10	Ralf Jung	assert that only statics can possibly be mutable	commit \| commitdiff \| tree
2020-04-10	Ralf Jung	compiletest: let config flags overwrite -A unused	commit \| commitdiff \| tree
2020-04-09	Ralf Jung	mark a temporary hack as such	commit \| commitdiff \| tree
2020-04-09	Ralf Jung	tighten CTFE safety net for accesses to globals	commit \| commitdiff \| tree
2020-04-07	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-04-06	Ralf Jung	tweak rustc_layout debug output	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	make set_span public, as all the fields it touches...	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	set span more accurately during const_prop	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	Miri engine: use span_bug in a few places	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	add test	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	Miri terminator handling: only do progress sanity check...	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	also print type type	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	also print rustc_layout on impl trait type aliases	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	fix comment	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	clarify safety in RawVec::into_box	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	add test	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	miri assignment check: compare types after normalizing...	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	tweak swap_remove	commit \| commitdiff \| tree
2020-04-04	Ralf Jung	Miri: remove an outdated FIXME	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom