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

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

2020-03-19	Ralf Jung	getting a path should never fail	commit \| commitdiff \| tree
2020-03-19	Ralf Jung	add test for validation finding use-after-free	commit \| commitdiff \| tree
2020-03-19	Ralf Jung	start messages in lower-case	commit \| commitdiff \| tree
2020-03-19	Ralf Jung	adjust for error reform	commit \| commitdiff \| tree
2020-03-18	Ralf Jung	move repeated run of test suite (without and with MIR...	commit \| commitdiff \| tree
2020-03-17	Ralf Jung	rustup; remove no longer existing intrinsics	commit \| commitdiff \| tree
2020-03-17	Ralf Jung	avoid using unchecked casts or arithmetic	commit \| commitdiff \| tree
2020-03-16	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-03-16	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-03-15	Ralf Jung	Cargo.toml: group all dependencies together	commit \| commitdiff \| tree
2020-03-15	Ralf Jung	abort intrinsic is handled by librustc_mir now	commit \| commitdiff \| tree
2020-03-15	Ralf Jung	bump rust-version	commit \| commitdiff \| tree
2020-03-15	Ralf Jung	adjust Miri to needs of changed unwinding strategy	commit \| commitdiff \| tree
2020-03-14	Ralf Jung	fix typo and deduplicate comment	commit \| commitdiff \| tree
2020-03-14	Ralf Jung	rustup, fix for intrinsic rename and transmute error...	commit \| commitdiff \| tree
2020-03-12	Ralf Jung	refactor handling of diverging intrinsics/foreign functions	commit \| commitdiff \| tree
2020-03-12	Ralf Jung	rustup, test Abort terminator	commit \| commitdiff \| tree
2020-03-11	Ralf Jung	use ctfe_backtracte variable for backtrace control	commit \| commitdiff \| tree
2020-03-11	Ralf Jung	rustup+fix	commit \| commitdiff \| tree
2020-03-11	Ralf Jung	share some code between panic intrinsics, and fix the...	commit \| commitdiff \| tree
2020-03-09	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-03-09	Ralf Jung	adjust error	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	properly panic in panic_if_uninhabited and align_offset...	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	move environ init to update_environ	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	readme: mention the leaks we found	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	bump dependencies	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	expand clock and fs tests a bit	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	README: add another bug Miri found	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	make the new option actually do something	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	add option to track a particular AllocId (does nothing...	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	finally stop using min/max_value and the integer modules	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	downgrade serde_json to match rustc workspace	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	fix allocator tests	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2020-03-03	Ralf Jung	try even harder to catch invalid generator fields	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	HashMap -> FxHashMap	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	switch extern_statics map to symbols	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	rename xargo -> xargo_check	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	adjust for rustc changes	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	remove unused import	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	canonicalize alloc ID for ptr-to-int cast	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	port from find_foreign_static to canonical_alloc_id	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	rename memory kind: Env -> Machine	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	tweak benchmark	commit \| commitdiff \| tree
2020-03-01	Ralf Jung	format a few things	commit \| commitdiff \| tree
2020-03-01	Ralf Jung	fix trailing indent in xargo files	commit \| commitdiff \| tree
2020-03-01	Ralf Jung	some formatting	commit \| commitdiff \| tree
2020-03-01	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	Remove incorrect try_lock from Windows critical section...	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-02-28	Ralf Jung	avoid Scalar::to_bits	commit \| commitdiff \| tree
2020-02-26	Ralf Jung	fix build failures	commit \| commitdiff \| tree
2020-02-25	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-02-24	Ralf Jung	move validate field from memory to machine	commit \| commitdiff \| tree
2020-02-24	Ralf Jung	add an option to disable Stacked Borrows	commit \| commitdiff \| tree
2020-02-24	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2020-02-24	Ralf Jung	fix Cargo.toml	commit \| commitdiff \| tree
2020-02-24	Ralf Jung	refactor cargo-miri a bit	commit \| commitdiff \| tree
2020-02-24	Aaron Hill	Use 'cargo check' to build the sysroot and target crate	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	cargo update	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	avoid lowercasing platforms	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	improve comments	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	add private helper trait for fs shim	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	helpers.rs cleanup	commit \| commitdiff \| tree
2020-02-22	Ralf Jung	fix README	commit \| commitdiff \| tree
2020-02-21	Ralf Jung	dont overwrite bootstrap flags	commit \| commitdiff \| tree
2020-02-21	Ralf Jung	remove some no-longer-needed allow(const_err)	commit \| commitdiff \| tree
2020-02-21	Ralf Jung	fix test-cargo-miri	commit \| commitdiff \| tree
2020-02-21	Ralf Jung	fix for const-prop lint changes	commit \| commitdiff \| tree
2020-02-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	test a bit more	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	factor more common code	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	fs test: factor some common code	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	bump Rust (no changes needed)	commit \| commitdiff \| tree
2020-02-16	Ralf Jung	clarify caveats	commit \| commitdiff \| tree
2020-02-16	Ralf Jung	update README	commit \| commitdiff \| tree
2020-02-16	Ralf Jung	fix compile-fail tests to avoid libstd debug assertions	commit \| commitdiff \| tree
2020-02-16	Ralf Jung	make sure we also trigger debug assertions in libstd	commit \| commitdiff \| tree
2020-02-16	Ralf Jung	make sure assertions and debug-assertions also panic...	commit \| commitdiff \| tree
2020-02-14	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	fix for Panic InterpError refactoring	commit \| commitdiff \| tree
2020-02-12	Ralf Jung	add test for layout optimizations	commit \| commitdiff \| tree
2020-02-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-02-07	Ralf Jung	panics dont work on Windows, just the smoke test should...	commit \| commitdiff \| tree
2020-02-07	Ralf Jung	test more generator resume things	commit \| commitdiff \| tree
2020-02-07	Ralf Jung	rustup; fix generator test	commit \| commitdiff \| tree
2020-02-06	Ralf Jung	also test div-by-minus-1	commit \| commitdiff \| tree
2020-02-06	Ralf Jung	bump rustc; adjust tests	commit \| commitdiff \| tree
2020-01-31	Ralf Jung	rely on improved cargo install	commit \| commitdiff \| tree
2020-01-30	Ralf Jung	pass MPlaceTy by-value, as we usually do	commit \| commitdiff \| tree
2020-01-30	Ralf Jung	update another comment	commit \| commitdiff \| tree
2020-01-30	Ralf Jung	remove inadequate comment	commit \| commitdiff \| tree
2020-01-30	Ralf Jung	new compile-fail test involving non-reborrowing-cast...	commit \| commitdiff \| tree
2020-01-30	Ralf Jung	add test that relies on non-reborrowing-cast-to-raw	commit \| commitdiff \| tree
2020-01-28	Ralf Jung	test track_caller with fn ptrs	commit \| commitdiff \| tree
2020-01-26	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2020-01-19	Ralf Jung	slice_patterns is stable now	commit \| commitdiff \| tree
2020-01-15	Ralf Jung	rustup more	commit \| commitdiff \| tree
2020-01-15	Ralf Jung	rustup	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom