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

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

2019-07-03	Ralf Jung	support integers that can be cast to pointers in in...	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	we don't need zero-sized freeze-sensitive visiting	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	avoid integer overflow in ptr-to-int cast	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	allow dangling ptr-to-int casts; use force_bits for...	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	only treat integer operations as such	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	dont add the -Zmiri-seed flag twice	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	run all run-pass tests with intrptrcast. makes many...	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	fix outdated test name: overalign -> align	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	add another bug we found to the list	commit \| commitdiff \| tree
2019-07-01	Ralf Jung	be explicit about our line endings	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	move find_fn (which is not specific to foreign items...	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	don't call Memory::get without checking the pointer...	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	test even more size-alignment combinations. found a...	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	fix minimal alignment for system allocation functions	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	add some tracing to intptrcast	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	move appveyor env var settings to more appropriate...	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	fix setting rustc flags	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	Miri is not deterministic any more	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	use intptrcast for heap_allocator test; then it should...	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	improve comment	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	better name for a test: threads -> sync	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	move shims (foreign items and intrinsics) into submodule	commit \| commitdiff \| tree
2019-06-30	Ralf Jung	fix comparing function pointers with intptrcast	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	move constants to machine.rs	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	comment on STACK_ADDR	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	support num_cpus and test that	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	make sure we catch alignment problems even with intrptrcast	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	don't compute residue twice	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	more sensible slack	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	tweak inttoptr allocation behavior	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	move most of the stuff from lib.rs into machine.rs...	commit \| commitdiff \| tree
2019-06-28	Ralf Jung	test pointer string formatting	commit \| commitdiff \| tree
2019-06-28	Ralf Jung	bump rand to released 0.7	commit \| commitdiff \| tree
2019-06-28	Ralf Jung	ptr-to-int alignment sanity check	commit \| commitdiff \| tree
2019-06-25	Ralf Jung	add snippet for running Miri on CI	commit \| commitdiff \| tree
2019-06-24	Ralf Jung	bump Rust commit	commit \| commitdiff \| tree
2019-06-24	Ralf Jung	expand and better explain alignment check tests	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	de-obfuscate ptr comparison a bit	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	adjust for refactored memory pointer checks	commit \| commitdiff \| tree
2019-06-22	Ralf Jung	also run tests for cron jobs	commit \| commitdiff \| tree
2019-06-22	Ralf Jung	fix compilation with latest rustc	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	add a failing test where an immovable generator gets...	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	fix Travis bors branch names	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	AppVeyor: only run on bors branches	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	Travis: also run on bors branches, and not on master	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	use org.rust-lang.miri folder on macOS	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	allow some inequality comparisons between pointers...	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	bump Rust, no changes needed	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	implement and test unchecked_{add,sub,mul} intrinsics	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	test unchecked_rem	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	test exact_div UB detection	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	bump rustc yet again	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	fix running a Miri that was built in bootstrap	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	change sysroot check to print the output in case of...	commit \| commitdiff \| tree
2019-06-13	Ralf Jung	rustup for lifetime refactorings	commit \| commitdiff \| tree
2019-06-13	Ralf Jung	README: mention to cargo update, mention rustup-toolchain...	commit \| commitdiff \| tree
2019-06-12	Ralf Jung	bump rand so that the test passes	commit \| commitdiff \| tree
2019-06-12	Ralf Jung	test rand a bit more	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	test FMA a bit more	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	test more enum-int-cast code paths	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	use apfloat's FMA primitive	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	implement min and max floating point intrinsics	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	fix from to/from f32/f64 changes	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	fix for rustc rename mir -> body	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	factor out common code to determine miri binary	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	make sure that find_sysroot always sets MIRI_SYSROOT	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	fix comments	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	do not handle MIRI_SYSROOT in the driver at all, rely...	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	don't have both MIRI_SYSROOT and --sysroot	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	explain why we always set a sysroot; make sure we error...	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	remove outdated sysroot management	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	cargo miri: make sure we see the same sysroot for rustc...	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	rustup for EvalResult rename	commit \| commitdiff \| tree
2019-06-04	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-06-04	Ralf Jung	test for no-validation-only failure	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	test that we cannot access unescaped static memory...	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	fix existing tests	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	use new rustc infrastructure to tag the base pointer...	commit \| commitdiff \| tree
2019-06-01	Ralf Jung	rustup for ... deprecation	commit \| commitdiff \| tree
2019-05-31	Ralf Jung	remove too expensive debug assertion	commit \| commitdiff \| tree
2019-05-30	Ralf Jung	move fn_item/ptr tests to closures file	commit \| commitdiff \| tree
2019-05-30	Ralf Jung	update for rustc warning about missing dyn	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	test weak_into_raw	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	try to make the Windows CI not rebuild Miri	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	tweak logic for determining rustc default target	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	print usage information on invalid command	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	fix for rustc changes	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	test for pointer wrapping ICE	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	adjust for rustc changes	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	also pass flags to install	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	reference cargo issue	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	avoid rebuilding Miri on CI	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	miri build script: support building miri in debug mode	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix error pattern	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix for latest rustc	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix more indentation	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	remove redundant RUSTFLAGS	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom