2022-07-20 |
Ralf Jung | check for extern static size mismatches |
blob | commitdiff | raw |
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 |
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 |
next |