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

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

2019-09-29	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2019-09-19	Ralf Jung	first determine if the variant is a niche-variant,...	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	update Nomicon and Reference	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	build-manifest: add some comments	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	rename Allocation::retag -> with_tags_and_extra	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	document Miri error categories	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	avoid duplicate issues for Miri build failures	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	update miri for latest breakage	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	with byteorder 1.3, the i128 feature is a NOP	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	avoid #[cfg] in favor of cfg!	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	add test	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	do the variant idx computations on the host (non-overflowing)	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	factor getting the discriminant layout to a new method	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	better and more consistent variable names	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	fix Miri discriminant load/store when overflows are...	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	update intern classification comment	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	explain ty == None	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	assert that nobody asks for mutable constants	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	note a FIXME	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	relocations -> allocations	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	drop redundant ParamEnv, and avoid constructing InternVisito...	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	all memory behind a constant must be immutable	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	const interning: move mutability computation into intern_sha...	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	build-manifest: when Miri tests are not passing, do...	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	when BUILD_MANIFEST_DISABLE_SIGNING is set, we don...	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	rename the crate, not the feature	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	std: always depend on backtrace, but only enable its...	commit \| commitdiff \| tree
2019-09-09	Ralf Jung	update reference	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	add test	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	const-eval tests: make all unions repr(C)	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	explain why REF_AS_USIZE is important	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	tweak const-valid test	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	make unions repr(C)	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	mod-level doc comment for validity check	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	better variable names	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	miri: detect too large dynamically sized objects	commit \| commitdiff \| tree
2019-08-27	Ralf Jung	const_prop: only call error_to_const_error if we are...	commit \| commitdiff \| tree
2019-08-27	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	adjust tests	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	add link to FileCheck docs	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	raw slices do not have to comply to the size limit	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	test for too long slices	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	validate raw wide pointers	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	factor wide ptr metadata checking into separate method	commit \| commitdiff \| tree
2019-08-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-08-19	Ralf Jung	start cleaning up subst mess	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	test in a way that works even with musl	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	less &	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	drift leftward	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	fix tests	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	Full stop	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	use ImmTy::from_uint in a few more spots	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	make both unary_op and binary_op fully typed, including...	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	Add ImmTy::from_uint	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	invalid_value: also detect transmute-from-0 (seen in...	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	multi-variant enums are tricky	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	invalid_value: warn for types with custom valid range	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	warn about uninit bools and chars	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	invalid_value: factor finding dangerous inits into...	commit \| commitdiff \| tree
2019-08-15	Ralf Jung	ignore tests on wasm32-bare	commit \| commitdiff \| tree
2019-08-15	Ralf Jung	test Retag in drop shim	commit \| commitdiff \| tree
2019-08-15	Ralf Jung	don't add Retag statements for compound types	commit \| commitdiff \| tree
2019-08-12	Ralf Jung	more informative error message from invalid_value lint	commit \| commitdiff \| tree
2019-08-12	Ralf Jung	DiagnosticBuilder docs	commit \| commitdiff \| tree
2019-08-11	Ralf Jung	update clippy	commit \| commitdiff \| tree
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-10	Ralf Jung	rename RUST_CTFE_BACKTRACE to RUSTC_CTFE_BACKTRACE	commit \| commitdiff \| tree
2019-08-10	Ralf Jung	fix test	commit \| commitdiff \| tree
2019-08-10	Ralf Jung	Miri shouldn't look at types	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	update Miri	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom