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

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

2022-07-23	bors	Auto merge of #2427 - Nilstrieb:doc-fix, r=saethlin	blob \| commitdiff \| raw
2022-07-23	bors	Auto merge of #2425 - RalfJung:hide-xargo, r=RalfJung	blob \| commitdiff \| raw
2022-07-23	Ralf Jung	refactor away some 'else { None }'	blob \| commitdiff \| raw
2022-07-23	bors	Auto merge of #2424 - RalfJung:weak-memory-debug, r...	blob \| commitdiff \| raw \| diff to current
2022-07-23	Ralf Jung	add a flag to print a diagnostic when an outdated value...	blob \| commitdiff \| raw \| diff to current
2022-07-22	bors	Auto merge of #2384 - RalfJung:vtables, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-22	Ralf Jung	adjust for symbolic vtables	blob \| commitdiff \| raw \| diff to current
2022-07-20	bors	Auto merge of #2404 - RalfJung:mix, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-20	Ralf Jung	check for extern static size mismatches	blob \| commitdiff \| raw \| diff to current
2022-07-20	Ralf Jung	handle get_alloc_extra the same throughout Stacked...	blob \| commitdiff \| raw \| diff to current
2022-07-20	bors	Auto merge of #2403 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-20	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-07-20	bors	Auto merge of #2402 - RalfJung:cargo-target, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-20	bors	Auto merge of #2391 - RalfJung:stderr, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-07-19	bors	Auto merge of #2390 - RalfJung:debug, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-19	bors	Auto merge of #2350 - RalfJung:remove-deprecated, r...	blob \| commitdiff \| raw \| diff to current
2022-07-13	bors	Auto merge of #2315 - saethlin:shrink-item, r=saethlin	blob \| commitdiff \| raw \| diff to current
2022-07-13	Ben Kimock	Rearrange and document the new implementation	blob \| commitdiff \| raw \| diff to current
2022-07-13	Ben Kimock	Store protectors outside Item, pack Tag and Perm	blob \| commitdiff \| raw \| diff to current
2022-07-12	Ralf Jung	remove deprecated options	blob \| commitdiff \| raw \| diff to current
2022-07-07	bors	Auto merge of #2314 - RalfJung:unsized, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-07	Ralf Jung	adjust code for copy_op changes	blob \| commitdiff \| raw \| diff to current
2022-07-06	bors	Auto merge of #2339 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-06	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-07-06	bors	Auto merge of #2338 - RalfJung:format, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-06	Ralf Jung	tweak format strings	blob \| commitdiff \| raw \| diff to current
2022-07-05	bors	Auto merge of #2335 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-05	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-07-03	bors	Auto merge of #1935 - saethlin:optimize-sb, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-02	bors	Auto merge of #2312 - RalfJung:misc, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-02	Ralf Jung	put call to stacked borrows end_call in a more sensible...	blob \| commitdiff \| raw \| diff to current
2022-07-02	bors	Auto merge of #2311 - RalfJung:many-seeds, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-02	bors	Auto merge of #2306 - RalfJung:unix, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-02	bors	Auto merge of #2300 - InfRandomness:freebsd-environ...	blob \| commitdiff \| raw \| diff to current
2022-07-02	bors	Auto merge of #2305 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-02	InfRandomness	Add `environ` extern implementation to freebsd	blob \| commitdiff \| raw \| diff to current
2022-07-02	bors	Auto merge of #2304 - LegNeato:shim-fstat64-mac, r...	blob \| commitdiff \| raw \| diff to current
2022-07-02	bors	Auto merge of #2302 - RalfJung:datarace, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-01	Ralf Jung	avoid copying thread manager state in data race detector	blob \| commitdiff \| raw \| diff to current
2022-07-01	bors	Auto merge of #2298 - InfRandomness:shim-error, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-07-01	bors	Auto merge of #2295 - RalfJung:better-alloc-tracking...	blob \| commitdiff \| raw \| diff to current
2022-07-01	Ralf Jung	allocation tracking: also print size, alignment, kind...	blob \| commitdiff \| raw \| diff to current
2022-06-29	bors	Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-29	Ralf Jung	add option for recursive field retagging	blob \| commitdiff \| raw \| diff to current
2022-06-28	bors	Auto merge of #2275 - RalfJung:permissive-provenance...	blob \| commitdiff \| raw \| diff to current
2022-06-27	bors	Auto merge of #2276 - RalfJung:join, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-27	Ralf Jung	remove support for untagged pointers	blob \| commitdiff \| raw \| diff to current
2022-06-27	Ralf Jung	make permissive provenance and raw-ptr tagging the...	blob \| commitdiff \| raw \| diff to current
2022-06-26	bors	Auto merge of #2272 - RalfJung:progress, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-26	Ralf Jung	add -Zmiri-report-progress to regularly print a stacktr...	blob \| commitdiff \| raw \| diff to current
2022-06-25	bors	Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-25	bors	Auto merge of #2196 - carbotaniuman:permissive-stacked...	blob \| commitdiff \| raw \| diff to current
2022-06-25	Ralf Jung	tweaks and feedback	blob \| commitdiff \| raw \| diff to current
2022-06-25	Ralf Jung	implement 'delimited' expose tracking so we still detec...	blob \| commitdiff \| raw \| diff to current
2022-06-24	Ralf Jung	reorganize exposure code a bit	blob \| commitdiff \| raw \| diff to current
2022-06-24	carbotaniuman	Handle wildcard pointers in SB	blob \| commitdiff \| raw \| diff to current
2022-06-22	bors	Auto merge of #2248 - RalfJung:arc-drop-fix, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-22	bors	Auto merge of #2252 - dtolnay-contrib:rustfmt5, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-06-22	bors	Auto merge of #2251 - dtolnay-contrib:rustfmt4, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-22	bors	Auto merge of #2241 - RalfJung:extern_static_in_const...	blob \| commitdiff \| raw \| diff to current
2022-06-22	Ralf Jung	fix ICE when const refers to extern static	blob \| commitdiff \| raw \| diff to current
2022-06-22	Ralf Jung	check that tag_alloc_base_pointer is not called on...	blob \| commitdiff \| raw \| diff to current
2022-06-13	bors	Auto merge of #2179 - RalfJung:rustc, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-06-13	bors	Auto merge of #2203 - RalfJung:deprecate, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2022-06-11	bors	Auto merge of #2215 - InfRandomness:getpid_shim, r...	blob \| commitdiff \| raw \| diff to current
2022-06-08	bors	Auto merge of #2218 - Nilstrieb:faster-tag-partial...	blob \| commitdiff \| raw \| diff to current
2022-06-08	bors	Auto merge of #2217 - RalfJung:rustup, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-08	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2022-06-07	bors	Auto merge of #2208 - RalfJung:preempt, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-07	Ralf Jung	make scheduler preemptive, with configurable preemption...	blob \| commitdiff \| raw \| diff to current
2022-06-06	bors	Auto merge of #1963 - cbeuw:weak-memory, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2022-06-06	Andy Wang	Refer to GitHub issue on overwritten init value	blob \| commitdiff \| raw \| diff to current
2022-06-06	Andy Wang	Move logic out of machine.rs	blob \| commitdiff \| raw \| diff to current
2022-06-06	Andy Wang	Wording improvements	blob \| commitdiff \| raw \| diff to current
2022-06-06	Andy Wang	Destroy store buffers on non-racy non-atomic accesses	blob \| commitdiff \| raw \| diff to current
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom