2022-10-13 |
Ralf Jung | smarter way to avoid 'unused' warning when building...
|
commit | commitdiff | tree |
2022-10-13 |
Ralf Jung | sync thread_local key conditions exactly with what...
|
commit | commitdiff | tree |
2022-10-12 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2022-10-12 |
Ralf Jung | merge rustc history
|
commit | commitdiff | tree |
2022-10-12 |
Ralf Jung | should-skip-this: add missing backslash
|
commit | commitdiff | tree |
2022-10-11 |
Ralf Jung | reorder panicking.rs to put main entry points at the top
|
commit | commitdiff | tree |
2022-10-11 |
Ralf Jung | use panic_fmt_nounwind for assert_unsafe_precondition
|
commit | commitdiff | tree |
2022-10-11 |
Ralf Jung | add panic_fmt_nounwind for panicing without unwinding...
|
commit | commitdiff | tree |
2022-10-11 |
Ralf Jung | rename rustc_allocator_nounwind to rustc_nounwind
|
commit | commitdiff | tree |
2022-10-10 |
Ralf Jung | update compiler_builtins
|
commit | commitdiff | tree |
2022-10-10 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2022-10-10 |
Ralf Jung | merge rustc history
|
commit | commitdiff | tree |
2022-10-09 |
Ralf Jung | 1/1000 events do happen sometimes...
|
commit | commitdiff | tree |
2022-10-09 |
Ralf Jung | cargo got fixed, re-bless its tests
|
commit | commitdiff | tree |
2022-10-09 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2022-10-09 |
Ralf Jung | merge rustc history
|
commit | commitdiff | tree |
2022-10-09 |
Ralf Jung | remove cfg(bootstrap) from Miri
|
commit | commitdiff | tree |
2022-10-09 |
Ralf Jung | add josh instructions
|
commit | commitdiff | tree |
2022-10-08 |
Ralf Jung | bless cargo-miri output
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | make const_err a hard error
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | make const_err a hard error
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | clippy learned some new tricks
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | review feedback
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | fix Miri
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | run Miri CI when std::sys changes
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | add a few more assert_unsafe_precondition
|
commit | commitdiff | tree |
2022-10-07 |
Ralf Jung | remove FFI support for macOS
|
commit | commitdiff | tree |
2022-10-06 |
Ralf Jung | poll_fn and Unpin: fix pinning
|
commit | commitdiff | tree |
2022-10-05 |
Ralf Jung | change might_permit_raw_init to fully detect LLVM UB...
|
commit | commitdiff | tree |
2022-10-04 |
Ralf Jung | test Miri changes in PR CI; we no longer need xargo
|
commit | commitdiff | tree |
2022-10-04 |
Ralf Jung | re-architect the tag visitor traits
|
commit | commitdiff | tree |
2022-10-04 |
Ralf Jung | more details on stacked borrows tracking
|
commit | commitdiff | tree |
2022-10-03 |
Ralf Jung | scoped threads: pass closure through MaybeUninit to...
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | Auto merge of #2578 - RalfJung:rustc_tools_util, r...
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | Auto merge of #2576 - RalfJung:no-more-vergen, r=RalfJung
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | bump rustc_tools_util
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | Auto merge of #2574 - RalfJung:vergen, r=RalfJung
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | use rustc_tools_util instead of vergen
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | Auto merge of #2572 - RalfJung:update, r=RalfJung
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | relax vergen dependency
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | GHA seems to have strange booleans
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | Auto merge of #2571 - RalfJung:cargo-update, r=RalfJung
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | bump rustc-build-sysroot
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | no need to make cargo-miri build quiet; cargo only...
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | cargo update
|
commit | commitdiff | tree |
2022-10-02 |
Ralf Jung | Auto merge of #2564 - RalfJung:no-more-xargo, r=oli-obk
|
commit | commitdiff | tree |
2022-09-29 |
Ralf Jung | more clear function and variable names
|
commit | commitdiff | tree |
2022-09-29 |
Ralf Jung | unsafe keyword: trait examples and unsafe_op_in_unsafe_fn...
|
commit | commitdiff | tree |
2022-09-29 |
Ralf Jung | make tidy dependency error less confusing
|
commit | commitdiff | tree |
2022-09-28 |
Ralf Jung | env::temp_dir: fix a typo
|
commit | commitdiff | tree |
2022-09-27 |
Ralf Jung | also query type_uninhabited_from
|
commit | commitdiff | tree |
2022-09-26 |
Ralf Jung | make invalid_value lint a bit smarter around enums
|
commit | commitdiff | tree |
2022-09-25 |
Ralf Jung | use rustc-build-sysroot instead of xargo
|
commit | commitdiff | tree |
2022-09-25 |
Ralf Jung | force-install tools on stale cache, to make sure we...
|
commit | commitdiff | tree |
2022-09-25 |
Ralf Jung | clarify a comment
|
commit | commitdiff | tree |
2022-09-25 |
Ralf Jung | CI: use cargo sparse registry
|
commit | commitdiff | tree |
2022-09-24 |
Ralf Jung | remove macOS work-around that is no longer needed
|
commit | commitdiff | tree |
2022-09-24 |
Ralf Jung | bootstrap/miri: switch to non-deprecated env var for...
|
commit | commitdiff | tree |
2022-09-24 |
Ralf Jung | run all extern-so tests consistently without dependencies
|
commit | commitdiff | tree |
2022-09-23 |
Ralf Jung | bootstrap: the backtrace feature is stable, no need...
|
commit | commitdiff | tree |
2022-09-23 |
Ralf Jung | GC: factor out visiting all machine values
|
commit | commitdiff | tree |
2022-09-22 |
Ralf Jung | make Miri build in stage 0
|
commit | commitdiff | tree |
2022-09-22 |
Ralf Jung | add regression test for miri issue 2433
|
commit | commitdiff | tree |
2022-09-21 |
Ralf Jung | OpTy: fix a method taking self rather than &self
|
commit | commitdiff | tree |
2022-09-21 |
Ralf Jung | readme: tag-gc tweaks
|
commit | commitdiff | tree |
2022-09-21 |
Ralf Jung | miri is not in toolstate any more
|
commit | commitdiff | tree |
2022-09-21 |
Ralf Jung | format > to_string
|
commit | commitdiff | tree |
2022-09-21 |
Ralf Jung | remove unnecessary to_string
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | fix ConstProp handling of written_only_inside_own_block_locals
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | make a sync test more reliable
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | work harder around notorious macos unrealiability
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | remove Windows TERM env var hack and -Zmiri-env-exclude
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | rustup, fmt
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | make some names more consistent
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | put a tcx into the Machine so that we have to pass...
|
commit | commitdiff | tree |
2022-09-20 |
Ralf Jung | avoid thread-local var indirection for non-halting...
|
commit | commitdiff | tree |
2022-09-19 |
Ralf Jung | give macOS more time
|
commit | commitdiff | tree |
2022-09-19 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2022-09-19 |
Ralf Jung | note on deterministic 'fake' API implementations
|
commit | commitdiff | tree |
2022-09-18 |
Ralf Jung | interpret: expose generate_stacktrace without full...
|
commit | commitdiff | tree |
2022-09-18 |
Ralf Jung | clarify that linting is not a semantic change
|
commit | commitdiff | tree |
2022-09-18 |
Ralf Jung | add/fix some comments
|
commit | commitdiff | tree |
2022-09-13 |
Ralf Jung | test fast sleeping
|
commit | commitdiff | tree |
2022-09-13 |
Ralf Jung | add extra sanity check against depending on system...
|
commit | commitdiff | tree |
2022-09-13 |
Ralf Jung | organize clock arithmetic more like the stdlib
|
commit | commitdiff | tree |
2022-09-13 |
Ralf Jung | move clock stuff to separate file
|
commit | commitdiff | tree |
2022-09-02 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-09-02 |
Ralf Jung | tweak variable name
|
commit | commitdiff | tree |
2022-09-02 |
Ralf Jung | Revert "disable extern-so ffi support for now due to...
|
commit | commitdiff | tree |
2022-09-01 |
Ralf Jung | update Miri
|
commit | commitdiff | tree |
2022-09-01 |
Ralf Jung | disable extern-so ffi support for now due to licensing...
|
commit | commitdiff | tree |
2022-09-01 |
Ralf Jung | Zulip notifications: ping the Miri team
|
commit | commitdiff | tree |
2022-08-31 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2022-08-31 |
Ralf Jung | make Miri build again with rustc provenance changes
|
commit | commitdiff | tree |
2022-08-31 |
Ralf Jung | make shim_arg_size ptr-width-independent
|
commit | commitdiff | tree |
2022-08-31 |
Ralf Jung | make backtrace header a bit more visible
|
commit | commitdiff | tree |
2022-08-31 |
Ralf Jung | fix progress report being deduplicated
|
commit | commitdiff | tree |
2022-08-31 |
Ralf Jung | fix a clippy test
|
commit | commitdiff | tree |
2022-08-31 |
Ralf Jung | fix a clippy test
|
commit | commitdiff | tree |
next |