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

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

2020-02-23	Ralf Jung	miri/machine: add canonical_alloc_id hook to replace...	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	fix 32bit-only test	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	avoid excessive number of revisions	commit \| commitdiff \| tree
2020-02-18	Ralf Jung	better lint names	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix incremental tests	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix codegen tests	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	remove no-longer-needed test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	adjust run-fail tests	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	Tighter type bounds for messages	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix compile-fail	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix another test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	expand assoc-const test a bit, just to be sure	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix exceeding_bitshift lint and test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	add test for issue 69020	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	more revisions and use them for another test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix tests, and use variants to test debug and release...	commit \| commitdiff \| tree
2020-02-14	Ralf Jung	const-prop: use one helper method for all lints; consistentl...	commit \| commitdiff \| tree
2020-02-14	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	miri: fix exact_div	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	rename PanicInfo -> AssertKind	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	improve comments:	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	small cleanup in ConstEvalErr::struct_generic	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	move PanicInfo to mir module	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	no need for hook_panic_fn to return a bool	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	remove PanicInfo::Panic variant that MIR does not use...	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	const-prop: handle overflow_check consistently for...	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	remove Panic variant from InterpError	commit \| commitdiff \| tree
2020-02-10	Ralf Jung	remove outdated comment	commit \| commitdiff \| tree
2020-02-10	Ralf Jung	some more tests for i128 oveflow behavior	commit \| commitdiff \| tree
2020-02-10	Ralf Jung	div/rem overflow tests: also test i128	commit \| commitdiff \| tree
2020-02-10	Ralf Jung	add test that checks overflows on arithmetic operators	commit \| commitdiff \| tree
2020-02-09	Ralf Jung	const-prop: use overflowing_unary_op for overflowing...	commit \| commitdiff \| tree
2020-02-09	Ralf Jung	miri: equip unary_op with overflow detection	commit \| commitdiff \| tree
2020-02-09	Ralf Jung	bring back extra check for int_min%-1	commit \| commitdiff \| tree
2020-02-09	Ralf Jung	miri: simplify singed operator overflow detection	commit \| commitdiff \| tree
2020-02-07	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-02-02	Ralf Jung	add raw-addr-of variant to mir_raw_fat_ptr	commit \| commitdiff \| tree
2020-02-02	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-01-19	Ralf Jung	fix real_drop_in_place in comments	commit \| commitdiff \| tree
2020-01-19	Ralf Jung	adjust codegen-units tests	commit \| commitdiff \| tree
2020-01-18	Ralf Jung	adjust ui tests	commit \| commitdiff \| tree
2020-01-18	Ralf Jung	adjust mir-opt tests	commit \| commitdiff \| tree
2020-01-18	Ralf Jung	get rid of real_drop_in_place again	commit \| commitdiff \| tree
2020-01-16	Ralf Jung	adjust Deref comment	commit \| commitdiff \| tree
2020-01-16	Ralf Jung	let rustfmt undo most of my edits :(	commit \| commitdiff \| tree
2020-01-16	Ralf Jung	fix rustfmt fallout	commit \| commitdiff \| tree
2020-01-15	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-01-07	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-01-02	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-12-28	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-12-25	Ralf Jung	use error-pattern	commit \| commitdiff \| tree
2019-12-24	Ralf Jung	this has sysroot spans to let's ignore it the usual way	commit \| commitdiff \| tree
2019-12-24	Ralf Jung	better variable names	commit \| commitdiff \| tree
2019-12-24	Ralf Jung	add test for dropping in const	commit \| commitdiff \| tree
2019-12-24	Ralf Jung	bootstrap miri: remove no longer used env var	commit \| commitdiff \| tree
2019-12-24	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-12-22	Ralf Jung	no longer promote non-pattern const functions	commit \| commitdiff \| tree
2019-12-13	Ralf Jung	be explicit that mem::uninitialized is the same as...	commit \| commitdiff \| tree
2019-12-12	Ralf Jung	avoid more intermediate allocations in validation errors	commit \| commitdiff \| tree
2019-12-12	Ralf Jung	validation: avoid some intermediate allocations	commit \| commitdiff \| tree
2019-12-12	Ralf Jung	dont ICE in case of invalid drop fn	commit \| commitdiff \| tree
2019-12-08	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-12-08	Ralf Jung	fix miri step debug printing	commit \| commitdiff \| tree
2019-12-07	Ralf Jung	fix warnings with cfg(miri)	commit \| commitdiff \| tree
2019-12-07	Ralf Jung	liballoc: ignore tests in Miri instead of removing...	commit \| commitdiff \| tree
2019-12-07	Ralf Jung	libcore: ignore tests in Miri instead of removing them...	commit \| commitdiff \| tree
2019-12-06	Ralf Jung	get rid of __ in field names	commit \| commitdiff \| tree
2019-12-05	Ralf Jung	use abort instead of unreachable	commit \| commitdiff \| tree
2019-12-05	Ralf Jung	comments	commit \| commitdiff \| tree
2019-12-05	Ralf Jung	add a test	commit \| commitdiff \| tree
2019-12-05	Ralf Jung	codegen: mark invalid SetDiscriminant unreachable	commit \| commitdiff \| tree
2019-12-04	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-12-03	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	miri: add throw_machine_stop macro	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Rollup merge of #66834 - infinity0:master, r=Mark-Simulacrum	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Rollup merge of #66827 - RalfJung:miri-missing-ret...	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Rollup merge of #66822 - RalfJung:miri-panic, r=oli-obk	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Rollup merge of #66654 - ecstatic-morse:check-consts...	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Rollup merge of #66245 - tmiasko:cfg-sanitize, r=oli-obk	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	fix init_allocation_extra	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Assert terminator is never executed in ConstProp	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	fat -> wide	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	make alloc_extra machine hook a bit nicer	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	add and use helper method to get SourceInfo of current...	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Miri: add helper fn to allocate string; simplify alloc_calle...	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Add From instances for Pointer -> ScalarMaybeUndef...	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	expose span to M::assert_panic, and provide helper...	commit \| commitdiff \| tree
2019-12-02	Ralf Jung	Miri: add machine hook for MIR-level assertion panics	commit \| commitdiff \| tree
2019-12-01	Ralf Jung	fix compile-fail tests	commit \| commitdiff \| tree
2019-12-01	Ralf Jung	Miri core engine: use throw_ub instead of throw_panic	commit \| commitdiff \| tree
2019-12-01	Ralf Jung	add reusable MachineStop variant to Miri engine error...	commit \| commitdiff \| tree
2019-11-30	Ralf Jung	pass Queries to compiler callbacks	commit \| commitdiff \| tree
2019-11-30	Ralf Jung	libunwind_panic: adjust miri panic hack	commit \| commitdiff \| tree
2019-11-29	Ralf Jung	Rollup merge of #66872 - Mikotochan:patch-1, r=jonas...	commit \| commitdiff \| tree
2019-11-29	Ralf Jung	Rollup merge of #66844 - RalfJung:caller-location-leak...	commit \| commitdiff \| tree
2019-11-29	Ralf Jung	Rollup merge of #66837 - ohadravid:epsilon-doc, r=dtolnay	commit \| commitdiff \| tree
2019-11-29	Ralf Jung	Rollup merge of #66826 - mlodato517:mlodato517-clarify...	commit \| commitdiff \| tree
2019-11-29	Ralf Jung	Rollup merge of #66808 - GuillaumeGomez:cleanup-err...	commit \| commitdiff \| tree
2019-11-29	Ralf Jung	Rollup merge of #66793 - matthewjasper:record-static...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom