2021-06-06 |
hyd-dev | Don't `unwrap()` in `in_std()` |
tree | commitdiff |
2021-06-06 |
hyd-dev | Detect `std` by checking if the crate defines `#[lang... |
tree | commitdiff |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
tree | commitdiff |
2021-06-03 |
Ralf Jung | fix typo |
tree | commitdiff |
2021-06-03 |
bors | Auto merge of #1816 - Pointerbender:slices-tests, r... |
tree | commitdiff |
2021-06-03 |
bors | Auto merge of #1822 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-06-03 |
hyd-dev | `original_crate_name` -> `crate_name` |
tree | commitdiff |
2021-05-31 |
bors | Auto merge of #1820 - Aaron1011:rustup-const-err, r... |
tree | commitdiff |
2021-05-31 |
Aaron Hill | Rustup for const_err changes |
tree | commitdiff |
2021-05-31 |
hyd-dev | Use `unwrap_or_else()` |
tree | commitdiff |
2021-05-31 |
hyd-dev | We don't need to check `SymbolExportLevel` |
tree | commitdiff |
2021-05-31 |
hyd-dev | Move `check_abi()` into `EvalContextExt` |
tree | commitdiff |
2021-05-31 |
hyd-dev | Implement calls to exported symbols |
tree | commitdiff |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
tree | commitdiff |
2021-05-30 |
bors | Auto merge of #1791 - Aaron1011:measureme, r=RalfJung |
tree | commitdiff |
2021-05-30 |
Ralf Jung | add comment to debug impl |
tree | commitdiff |
2021-05-30 |
Aaron Hill | Address more review comments |
tree | commitdiff |
2021-05-29 |
Aaron Hill | Run fmt |
tree | commitdiff |
2021-05-29 |
Aaron Hill | Address review comments |
tree | commitdiff |
2021-05-29 |
Aaron Hill | Use active thread id |
tree | commitdiff |
2021-05-29 |
Aaron Hill | Add `measureme` integration for profiling the interpret... |
tree | commitdiff |
2021-05-28 |
bors | Auto merge of #1812 - hyd-dev:85546, r=RalfJung |
tree | commitdiff |
2021-05-28 |
hyd-dev | `unwind` is no longer `Option<BasicBlock>` |
tree | commitdiff |
2021-05-23 |
bors | Auto merge of #1814 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-23 |
Ralf Jung | allocate backtrace strings mutably |
tree | commitdiff |
2021-05-23 |
Ralf Jung | better approach to skip ZST reborrows |
tree | commitdiff |
2021-05-23 |
Ralf Jung | avoid some borrow_mut calls in data_race |
tree | commitdiff |
2021-05-23 |
Ralf Jung | avoid unnecessary RefCell calls in Stacked Borrows |
tree | commitdiff |
2021-05-23 |
bors | Auto merge of #1815 - RalfJung:rustup2, r=RalfJung |
tree | commitdiff |
2021-05-23 |
Ralf Jung | rustup |
tree | commitdiff |
2021-05-22 |
bors | Auto merge of #1811 - RalfJung:less-rc, r=RalfJung |
tree | commitdiff |
2021-05-22 |
Ralf Jung | fmt |
tree | commitdiff |
2021-05-22 |
Ralf Jung | get rid of Rc in data_race |
tree | commitdiff |
2021-05-22 |
Ralf Jung | get rid of Rc in Stacked Borrows |
tree | commitdiff |
2021-05-20 |
bors | Auto merge of #1809 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-20 |
Ralf Jung | rustup |
tree | commitdiff |
2021-05-19 |
bors | Auto merge of #1804 - RalfJung:ptrless-allocs, r=RalfJung |
tree | commitdiff |
2021-05-19 |
Ralf Jung | fix write_os_str_to_wide_str |
tree | commitdiff |
2021-05-19 |
Ralf Jung | fmt |
tree | commitdiff |
2021-05-19 |
Ralf Jung | update for Memory API changes |
tree | commitdiff |
2021-05-17 |
bors | Auto merge of #1806 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-17 |
Ralf Jung | rustup |
tree | commitdiff |
2021-05-17 |
bors | Auto merge of #1805 - RalfJung:c_str, r=RalfJung |
tree | commitdiff |
2021-05-17 |
Ralf Jung | stop relying on c_str/wide_str helpers in rustc |
tree | commitdiff |
2021-05-17 |
bors | Auto merge of #1803 - RalfJung:fmt, r=RalfJung |
tree | commitdiff |
2021-05-17 |
Ralf Jung | fix rustfmt fallout |
tree | commitdiff |
2021-05-17 |
bors | Auto merge of #1802 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-17 |
Ralf Jung | rustup |
tree | commitdiff |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
tree | commitdiff |
2021-05-16 |
Ralf Jung | hand-held formatting for remaining files |
tree | commitdiff |
2021-05-16 |
Ralf Jung | format much of Miri |
tree | commitdiff |
2021-05-12 |
bors | Auto merge of #1794 - cbeuw:83813, r=RalfJung |
tree | commitdiff |
2021-05-12 |
Andy Wang | Prefer remapped filename in backtrace to match rustc... |
tree | commitdiff |
2021-05-03 |
bors | Auto merge of #1785 - Smittyvb:fast-math-ub, r=RalfJung |
tree | commitdiff |
2021-05-03 |
Smitty | Simplify finiteness checking |
tree | commitdiff |
2021-05-03 |
bors | Auto merge of #1786 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-03 |
Ralf Jung | adjust for different 'yield' hint on aarch64 |
tree | commitdiff |
2021-05-03 |
Ralf Jung | fix checking os_family |
tree | commitdiff |
2021-05-02 |
Smitty | UB if f*_fast intrinsic called with nonfinite value |
tree | commitdiff |
2021-04-30 |
bors | Auto merge of #1783 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-04-30 |
hyd-dev | Rustup for rust-lang/rust#84401 |
tree | commitdiff |
2021-04-22 |
bors | Auto merge of #1769 - RalfJung:remove-compat, r=oli-obk |
tree | commitdiff |
2021-04-11 |
bors | Auto merge of #1772 - RalfJung:less-timeout-checking... |
tree | commitdiff |
2021-04-11 |
bors | Auto merge of #1771 - vakaras:bug-1763, r=RalfJung |
tree | commitdiff |
2021-04-11 |
Vytautas Astrauskas | Reference issue 1763 in the comment. |
tree | commitdiff |
2021-04-11 |
Ralf Jung | only check timeouts when a thread yields |
tree | commitdiff |
2021-04-10 |
Vytautas Astrauskas | Attempt to fix #1763 by asking the scheduler to retry... |
tree | commitdiff |
2021-04-09 |
bors | Auto merge of #1764 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2021-04-08 |
bors | Auto merge of #1761 - hyd-dev:build-rs-proc-macro-no... |
tree | commitdiff |
2021-04-08 |
hyd-dev | Don't use `MIRI_DEFAULT_ARGS` to compile host crates |
tree | commitdiff |
2021-04-04 |
bors | Auto merge of #1755 - RalfJung:cargo-update, r=RalfJung |
tree | commitdiff |
2021-04-04 |
Ralf Jung | bump miri dependencies |
tree | commitdiff |
2021-04-04 |
Ralf Jung | fix newer getrandom on Windows |
tree | commitdiff |
2021-03-25 |
bors | Auto merge of #1748 - jrvanwhy:track-raw-pointers-doc... |
tree | commitdiff |
2021-03-23 |
bors | Auto merge of #1750 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-03-23 |
hyd-dev | Remove `#![feature(or_patterns)]` |
tree | commitdiff |
2021-03-17 |
bors | Auto merge of #1746 - bstrie:depfix, r=RalfJung |
tree | commitdiff |
2021-03-17 |
bstrie | Replace deprecated `collections::Bound` |
tree | commitdiff |
2021-03-17 |
bors | Auto merge of #1745 - hyd-dev:unsup-foreign-calls-are... |
tree | commitdiff |
2021-03-17 |
hyd-dev | Remove the macro and expand it manually |
tree | commitdiff |
2021-03-17 |
hyd-dev | Revert "Don't duplicate `check_abi()`" |
tree | commitdiff |
2021-03-17 |
hyd-dev | Unsupported foreign non-"C"/"system"-ABI function calls... |
tree | commitdiff |
2021-03-16 |
hyd-dev | Don't duplicate `check_abi()` |
tree | commitdiff |
2021-03-14 |
bors | Auto merge of #1743 - RalfJung:callee-checks, r=RalfJung |
tree | commitdiff |
2021-03-14 |
bors | Auto merge of #1744 - rust-lang:bad-unwind, r=RalfJung |
tree | commitdiff |
2021-03-14 |
Ralf Jung | don't ICE when we unwind despite panic=abort |
tree | commitdiff |
2021-03-14 |
Ralf Jung | don't ICE when callee has the wrong number of arguments |
tree | commitdiff |
2021-03-14 |
Ralf Jung | when Miri calls a function ptr, make sure it has the... |
tree | commitdiff |
2021-03-11 |
bors | Auto merge of #1739 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-03-11 |
Ralf Jung | rustup |
tree | commitdiff |
2021-03-09 |
bors | Auto merge of #1736 - DJMcNab:rust-analyzer-private... |
tree | commitdiff |
2021-03-08 |
bors | Auto merge of #1735 - m-ou-se:remove-unwrap-none, r... |
tree | commitdiff |
2021-03-08 |
Mara Bos | Remove unwrap_none as it won't be stabilized. |
tree | commitdiff |
2021-03-05 |
bors | Auto merge of #1733 - Smittyvb:breakpoint-intrinsic... |
tree | commitdiff |
2021-03-05 |
Smittyvb | Check arg count |
tree | commitdiff |
2021-03-04 |
Smitty | Support breakpoint intrinsic |
tree | commitdiff |
2021-03-03 |
bors | Auto merge of #1732 - RalfJung:atomic_op, r=RalfJung |
tree | commitdiff |
2021-03-02 |
Ralf Jung | rename atomic_op_min_max -> atomic_op |
tree | commitdiff |
2021-03-02 |
bors | Auto merge of #1721 - henryboisdequin:add-atomic-min... |
tree | commitdiff |
2021-03-02 |
Henry Boisdequin | Add in `atomic_{min,max}_x` intrinsics |
tree | commitdiff |
next |