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

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

2019-07-04	Ralf Jung	temporarily disable ptr_offset, maybe that helps	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	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	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
2019-06-21	Ralf Jung	Merge pull request #778 from christianpoveda/master	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	Merge pull request #777 from RalfJung/rustup	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	Merge branch 'master' into rustup	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	Merge pull request #774 from soc/patch-1	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	Merge branch 'master' into patch-1	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	Merge pull request #771 from kennethbgoodin/foreign_math_fun...	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	Merge branch 'master' into foreign_math_functions	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	Merge pull request #775 from rust-lang/rustup	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	bump rustc yet again	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	Merge pull request #772 from RalfJung/sysroot	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	Merge pull request #769 from RalfJung/rustup	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	Merge pull request #763 from kennethbgoodin/fix_cmath_functions	commit \| commitdiff \| tree
2019-06-12	Ralf Jung	Merge pull request #701 from RalfJung/rand	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	Merge pull request #764 from RalfJung/minmax	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-11	Ralf Jung	Merge pull request #766 from RalfJung/sysroot	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	Merge branch 'master' into sysroot	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	Merge pull request #767 from RalfJung/rustup	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	Merge pull request #765 from RalfJung/rustup	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	rustup for EvalResult rename	commit \| commitdiff \| tree
2019-06-04	Ralf Jung	Merge pull request #757 from RalfJung/test-ice	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-03	Ralf Jung	remove too expensive debug assertion (#755)	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom