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

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

2019-07-23	Ralf Jung	update miri-seed handling for run-pass test suite	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	make sure we always have an RNG	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	bump rust	commit \| commitdiff \| tree
2019-07-20	Ralf Jung	disable some compile-fail tests for rustc	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	fix miri-rustc-tests	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	fix for rustc_driver change	commit \| commitdiff \| tree
2019-07-16	Ralf Jung	fix compile-fail tests for latest rustc	commit \| commitdiff \| tree
2019-07-14	Ralf Jung	update README about what we do not support	commit \| commitdiff \| tree
2019-07-13	Ralf Jung	avoid unnecessary allocation	commit \| commitdiff \| tree
2019-07-13	Ralf Jung	test some const-generic-using methods	commit \| commitdiff \| tree
2019-07-11	Ralf Jung	thread creation error for Windows	commit \| commitdiff \| tree
2019-07-11	Ralf Jung	reenable all tests on Windows	commit \| commitdiff \| tree
2019-07-11	Ralf Jung	bump rust	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	we do this these days	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	force pointers before reborrowing; fixes cargo miri...	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	now we can also enable the ptr_int_cast test again	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	adjust for rustc changes; normalize mplace before doing...	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	ptr_offset works fine with intptrcast now	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	use Memory::read_c_str, avoid a few to_ptr	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	fix for changd machine trait signatures	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	adjust for get_fn signature change	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	gen_random: use check_ptr_access	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	move gen_random to helpers	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	bump the version of getrandom that we test	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	better error message when the program tries to spawn...	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	update to FnVal changes; implement basic Dlsym support...	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	uninit intrinsic is gone	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	fix test using mem::uninitialized	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	fix unused variable warning	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	dangling-ptr-to-int should work now; move to noseed	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	rename InterpretCx -> InterpCx	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	align small malloc-allocations even less, and test...	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	temporarily disable validation on Windows	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	temporarily disable intptrcast advanced testing on...	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	temporarily disable validation for 'cargo miri test...	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	fix deallocating/reallocating with integer pointers	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	fix NULL in TLS dtors	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	avoid Scalar::is_null_ptr, it is going away	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	temporarily disable ptr_offset, maybe that helps	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	move tls.rs into shims module	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	avoid catching errors	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	make a test noseed for now that does not work with...	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	don't call Stacked Borrows hooks at all when validation...	commit \| commitdiff \| tree
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	Merge branch 'master' into rustup	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	Merge branch 'master' into rustup	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	some module comments	commit \| commitdiff \| tree
2019-06-29	Ralf Jung	Merge remote-tracking branch 'ralf/machine' into rustup	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	Apply suggestions from code review	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom