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

]> git.lizzy.rs Git - rust.git/history - src/machine.rs

2022-06-06	Andy Wang	Destroy store buffers on non-racy non-atomic accesses	blob \| commitdiff \| raw
2022-06-06	Andy Wang	Move data_race and weak_memory into a submodule	blob \| commitdiff \| raw \| diff to current
2022-06-06	Andy Wang	Use a new AllocationMap to store store buffers in the...	blob \| commitdiff \| raw \| diff to current
2022-06-06	Andy Wang	Implement weak memory emulation	blob \| commitdiff \| raw \| diff to current
2022-06-06	Andy Wang	Add weak memory config option	blob \| commitdiff \| raw \| diff to current
2022-06-06	bors	Auto merge of #2198 - InfRandomness:UNIX-refactor,...	blob \| commitdiff \| raw \| diff to current
2022-06-05	infrandomness	Refactor POSIX to UNIX	blob \| commitdiff \| raw \| diff to current
2022-06-05	bors	Auto merge of #2197 - RalfJung:round-robin, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-05	bors	Auto merge of #2194 - RalfJung:race, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-05	bors	Auto merge of #2193 - RalfJung:strict, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-05	bors	Auto merge of #2189 - RalfJung:clippy, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-04	Ralf Jung	clippy: main crate	blob \| commitdiff \| raw \| diff to current
2022-06-02	bors	Auto merge of #2178 - RalfJung:double-ref, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-02	Ralf Jung	do not pass TyCtxt by reference	blob \| commitdiff \| raw \| diff to current
2022-05-25	bors	Auto merge of #2157 - RalfJung:tests, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-05-25	bors	Auto merge of #2151 - RalfJung:numbers, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-05-25	Ralf Jung	enable number validity checking and ptr::invalid checki...	blob \| commitdiff \| raw \| diff to current
2022-05-25	bors	Auto merge of #2032 - rust-lang:gesundheit, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-05-25	Oli Scherer	Add a custom ui test runner and move all tests to it	blob \| commitdiff \| raw \| diff to current
2022-05-24	bors	Auto merge of #2138 - JakobDegen:call-fallout, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-24	Jakob Degen	Adjust Miri to also require return places everywhere	blob \| commitdiff \| raw \| diff to current
2022-05-23	bors	Auto merge of #2149 - RalfJung:tests, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-23	bors	Auto merge of #2147 - RalfJung:readme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-23	bors	Auto merge of #2148 - RalfJung:compare-exchange-weak...	blob \| commitdiff \| raw \| diff to current
2022-05-23	bors	Auto merge of #2146 - RalfJung:int2ptr, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-23	Ralf Jung	clean up int2ptr code a bit	blob \| commitdiff \| raw \| diff to current
2022-05-23	bors	Auto merge of #2059 - carbotaniuman:master, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-23	carbotaniuman	Initial work on permissive provenance	blob \| commitdiff \| raw \| diff to current
2022-05-23	bors	Auto merge of #2105 - thomcc:flip-failure-rate, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-23	bors	Auto merge of #2139 - saethlin:lazy-current-span, r...	blob \| commitdiff \| raw \| diff to current
2022-05-22	Ben Kimock	Factor current-span logic into a lazy caching handle	blob \| commitdiff \| raw \| diff to current
2022-05-22	bors	Auto merge of #2141 - saethlin:early-diagnostics-ice...	blob \| commitdiff \| raw \| diff to current
2022-05-22	bors	Auto merge of #2142 - saethlin:cleanup-data-race-ice...	blob \| commitdiff \| raw \| diff to current
2022-05-22	bors	Auto merge of #2140 - V0ldek:page_size, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-21	Mateusz Gienieczko	Add `i16` and `u16` primitive layout.	blob \| commitdiff \| raw \| diff to current
2022-05-20	bors	Auto merge of #2135 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-20	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-05-19	bors	Auto merge of #2128 - saethlin:fix-creation-range,...	blob \| commitdiff \| raw \| diff to current
2022-05-15	bors	Auto merge of #2116 - carbotaniuman:minimal-miri-change...	blob \| commitdiff \| raw \| diff to current
2022-05-14	bors	Auto merge of #2030 - saethlin:track-alloc-history...	blob \| commitdiff \| raw \| diff to current
2022-05-14	carbotaniuman	Bump rustc for permissive provenance	blob \| commitdiff \| raw \| diff to current
2022-05-13	Ben Kimock	More review feedback	blob \| commitdiff \| raw \| diff to current
2022-05-13	bors	Auto merge of #2114 - cbeuw:shim-rmw, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-12	bors	Auto merge of #2117 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-12	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-05-12	Ben Kimock	Cleanup/Refactoring from review	blob \| commitdiff \| raw \| diff to current
2022-05-10	bors	Auto merge of #2111 - RalfJung:python, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-10	Ralf Jung	rustfmt	blob \| commitdiff \| raw \| diff to current
2022-05-10	bors	Auto merge of #2084 - rust-lang:silence, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-09	bors	Auto merge of #2109 - RalfJung:fmt, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-09	Ralf Jung	rustfmt	blob \| commitdiff \| raw \| diff to current
2022-05-09	bors	Auto merge of #2108 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-05-09	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-04-30	Ben Kimock	Move SB diagnostics to a module	blob \| commitdiff \| raw \| diff to current
2022-04-30	Ben Kimock	Set the current span (somewhat) lazily	blob \| commitdiff \| raw \| diff to current
2022-04-30	Ben Kimock	Print spans where tags are created and invalidated	blob \| commitdiff \| raw \| diff to current
2022-04-30	bors	Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-04-30	bors	Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-04-29	David Tolnay	Resolve clippy::needless_borrow	blob \| commitdiff \| raw \| diff to current
2022-04-26	Oli Scherer	Rename flag, datastructure and messaging around muting...	blob \| commitdiff \| raw \| diff to current
2022-04-25	Oli Scherer	Implement the output dropping for windows, too	blob \| commitdiff \| raw \| diff to current
2022-04-25	Oli Scherer	Add a command line flag to avoid printing to stdout...	blob \| commitdiff \| raw \| diff to current
2022-04-21	bors	Auto merge of #2075 - y86-dev:master, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-21	y86-dev	Added support for multiple tracked pointers, allocs...	blob \| commitdiff \| raw \| diff to current
2022-04-20	bors	Auto merge of #2071 - RalfJung:provenance, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-20	Ralf Jung	avoid into_pointer_or_addr and into_parts in visit_free...	blob \| commitdiff \| raw \| diff to current
2022-04-20	Ralf Jung	adjust for provenance cleanup	blob \| commitdiff \| raw \| diff to current
2022-04-18	bors	Auto merge of #2070 - RalfJung:size-assert, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-18	Ralf Jung	add size assertions for some core types	blob \| commitdiff \| raw \| diff to current
2022-04-08	bors	Auto merge of #2055 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-07	Ralf Jung	add machine hook tcx parameters	blob \| commitdiff \| raw \| diff to current
2022-04-05	bors	Auto merge of #2047 - RalfJung:no-extras, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-05	Ralf Jung	adjust for MemoryExtra being merged into Machine	blob \| commitdiff \| raw \| diff to current
2022-04-04	bors	Auto merge of #2046 - RalfJung:very-strict, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-04	bors	Auto merge of #2048 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-04-04	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-04-01	bors	Auto merge of #2045 - RalfJung:strict-provenance, r...	blob \| commitdiff \| raw \| diff to current
2022-04-01	Ralf Jung	add -Zmiri-strict-provenance	blob \| commitdiff \| raw \| diff to current
2022-03-27	bors	Auto merge of #2040 - RalfJung:pnvi, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-26	Ralf Jung	fix types in env shim to avoid ptr-int transmutes	blob \| commitdiff \| raw \| diff to current
2022-03-20	bors	Auto merge of #1975 - DrMeepster:backtrace_fix, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-18	bors	Auto merge of #2024 - saethlin:better-local-check,...	blob \| commitdiff \| raw \| diff to current
2022-03-18	Ben Kimock	Consider the cargo workspace when checking if a frame...	blob \| commitdiff \| raw \| diff to current
2022-03-08	bors	Auto merge of #2006 - RalfJung:readme-ci, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-07	bors	Auto merge of #1981 - tavianator:readdir, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-07	Tavian Barnes	Rename MiriMemoryKind::Env to Runtime	blob \| commitdiff \| raw \| diff to current
2022-03-06	bors	Auto merge of #2001 - RalfJung:simd, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-03-05	Ralf Jung	avoid repeated string matching, and add more simd_reduc...	blob \| commitdiff \| raw \| diff to current
2022-03-05	bors	Auto merge of #1970 - asquared31415:open_unix_varargs...	blob \| commitdiff \| raw \| diff to current
2022-02-22	bors	Auto merge of #1977 - saethlin:short-backtraces, r...	blob \| commitdiff \| raw \| diff to current
2022-02-22	Ben Kimock	Prune backtraces similar to RUST_BACKTRACE=1 logic	blob \| commitdiff \| raw \| diff to current
2022-01-09	bors	Auto merge of #1952 - RalfJung:self-referential, r...	blob \| commitdiff \| raw \| diff to current
2022-01-03	bors	Auto merge of #1954 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-01-03	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2021-12-24	bors	Auto merge of #1928 - RalfJung:fn-abi, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-12-24	Ralf Jung	adjust for FnAbi changes	blob \| commitdiff \| raw \| diff to current
2021-11-27	bors	Auto merge of #1926 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2021-11-27	Ralf Jung	rustup; stub support for some extern statics used for...	blob \| commitdiff \| raw \| diff to current
2021-11-17	bors	Auto merge of #1911 - RalfJung:rename-track-tag, r...	blob \| commitdiff \| raw \| diff to current
2021-11-13	Ralf Jung	rename track-raw-pointers flag to tag-raw-pointers	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom