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

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

2023-02-07	Ralf Jung	miri: fix ICE when running out of address space	commit \| commitdiff \| tree
2023-01-31	Ralf Jung	make unaligned_reference a hard error	commit \| commitdiff \| tree
2023-01-31	Ralf Jung	PointeeInfo is advisory only	commit \| commitdiff \| tree
2023-01-09	Ralf Jung	std tests: use __OsLocalKeyInner from realstd	commit \| commitdiff \| tree
2023-01-09	Ralf Jung	add dtors_in_dtors_in_dtors	commit \| commitdiff \| tree
2023-01-09	Ralf Jung	std test: better type name, clarifying comment	commit \| commitdiff \| tree
2023-01-09	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2023-01-09	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2023-01-09	Ralf Jung	make env::current_exe work on Windows	commit \| commitdiff \| tree
2023-01-03	Ralf Jung	clippy	commit \| commitdiff \| tree
2023-01-03	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2023-01-03	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2023-01-02	Ralf Jung	default OOM handler: use non-unwinding panic (unless...	commit \| commitdiff \| tree
2023-01-02	Ralf Jung	tweaks to retag diagnostic handling	commit \| commitdiff \| tree
2023-01-02	Ralf Jung	do not add noalias in return position	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	no need to do a no_std build for wasi	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	test using a JSON target file	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	bump dependencies	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	print sysroot build failure error	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	simplify path joining code a bit	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	handle unknown targets more gracefully	commit \| commitdiff \| tree
2022-12-28	Ralf Jung	adjust message on non-unwinding panic	commit \| commitdiff \| tree
2022-12-27	Ralf Jung	cargo-miri: use rustc to determine the output filename	commit \| commitdiff \| tree
2022-12-25	Ralf Jung	fix codegen test	commit \| commitdiff \| tree
2022-12-25	Ralf Jung	enable some warnings that rustc bootstrap enables	commit \| commitdiff \| tree
2022-12-25	Ralf Jung	use cargo-install to install josh-proxy	commit \| commitdiff \| tree
2022-12-24	Ralf Jung	add tracking issue, fix typo	commit \| commitdiff \| tree
2022-12-24	Ralf Jung	fix warnings	commit \| commitdiff \| tree
2022-12-24	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-24	Ralf Jung	add lib tests for vec::IntoIter alignment issues	commit \| commitdiff \| tree
2022-12-24	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-24	Ralf Jung	ignore some targets	commit \| commitdiff \| tree
2022-12-23	Ralf Jung	fix one more unaligned self.ptr, and add tests	commit \| commitdiff \| tree
2022-12-23	Ralf Jung	attempt to clarify what the backtrace belongs to when...	commit \| commitdiff \| tree
2022-12-23	Ralf Jung	fix IntoIter::drop on high-alignment ZST	commit \| commitdiff \| tree
2022-12-22	Ralf Jung	abort immediately on bad mem::zeroed/uninit	commit \| commitdiff \| tree
2022-12-21	Ralf Jung	update josh onstructions	commit \| commitdiff \| tree
2022-12-16	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-12-16	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-16	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	explain mem::forget(env_lock) in fork/exec	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	Windows targets: make sure current_dir is absolute	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	interpret: add read_machine_[ui]size convenience methods	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	make unix path handling on Windows hosts preserve absoluteness	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	More host/target path conversion tests:	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	expose host-to-target path conversion to interpreted...	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	make eval_libc functions ICE on any problem	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	make flag checks reobust against multi-bit flags	commit \| commitdiff \| tree
2022-12-11	Ralf Jung	add provenance-related test	commit \| commitdiff \| tree
2022-12-11	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-11	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-09	Ralf Jung	fmt and clippy	commit \| commitdiff \| tree
2022-12-09	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-09	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-08	Ralf Jung	lib docs: fix typo	commit \| commitdiff \| tree
2022-12-06	Ralf Jung	Stacked Borrows: factor the logic determining the new...	commit \| commitdiff \| tree
2022-12-06	Ralf Jung	make retagging work even with 'unstable' places	commit \| commitdiff \| tree
2022-12-05	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-05	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-05	Ralf Jung	attempt to clarify align_to docs	commit \| commitdiff \| tree
2022-12-04	Ralf Jung	remove no-op 'let _ = '	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	for now, do not do fake reads on non-Unpin mutable...	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	add test for self-referential future	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	interpret: clobber return place when calling function	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	clippy	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	fix ICE in pointer tracking	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	rename some more types for consistency	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	slight simplifications for borrow tracking	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	forward verbosity to cargo setup	commit \| commitdiff \| tree
2022-12-01	Ralf Jung	clarify comment on Deref promotion	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	stricter alignment enforcement for ScalarPair and Vector	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	sanity_check_layout: less rightwards drift	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	decreasw yield count a bit and explain reasoning a...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	add many-seeds capabilities to CI	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	make ./miri run a bit more silent; add option to control...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	move interpreter loop into thread manager; they are...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	fix TLS on partially supported OSes	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	add scoped thread test	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	yield the main thread a number of times after its TLS...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	cleanup global imports a bit	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	refactor scheduling of TLS dtors	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	clippy	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	advice on josh pushing	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	interpret: get rid of run() function	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	run_tests_minimal: actually run the smoke test on the...	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	CI: fix begingroup printing	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	add ptr::from_{ref,mut}	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	replace 'locally built rustc' instructions by 'Miri...	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	nits	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	make Stacked Borrows retags act like data races	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	slightly adjust and synchronize Machine passing for...	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	!Unpin retags must still be reads, to check dereferenceable	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	support no_std on Windows	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	refactor try_resolve_did and also support resolving...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom