| 2022-10-10 |
Ralf Jung | update compiler_builtins
|
commit | commitdiff | tree |
| 2022-10-09 |
Ralf Jung | remove cfg(bootstrap) from Miri
|
commit | commitdiff | tree |
| 2022-10-07 |
Ralf Jung | make const_err a hard error
|
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-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 |
| 2022-08-31 |
Ralf Jung | interpret: use new OpTy::len for Len rvalue
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | Rollup merge of #101237 - RalfJung:into-iter-zst, r...
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | Rollup merge of #101216 - ehuss:sanitizer-links, r...
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | Rollup merge of #101204 - aDotInTheVoid:async-resugar...
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | Rollup merge of #100831 - JhonnyBillM:migrate-symbol...
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | Rollup merge of #100753 - LuisCardosoOliveira:translation...
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | Rollup merge of #100730 - CleanCut:diagnostics-rustc_monomor...
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | Rollup merge of #90946 - GuillaumeGomez:def-id-remove...
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | fix into_iter on ZST
|
commit | commitdiff | tree |
| 2022-08-31 |
Ralf Jung | add comment
|
commit | commitdiff | tree |
| 2022-08-29 |
Ralf Jung | interpret: fix unnecessary allocation in validation...
|
commit | commitdiff | tree |
| 2022-08-29 |
Ralf Jung | clarify test purpose
|
commit | commitdiff | tree |
| 2022-08-28 |
Ralf Jung | entirely get rid of NeedsRfc CTFE errors
|
commit | commitdiff | tree |
| 2022-08-28 |
Ralf Jung | CTFE: exposing pointers and calling extern fn doesn...
|
commit | commitdiff | tree |
| 2022-08-28 |
Ralf Jung | improve OFFSET_IS_ADDR docs
|
commit | commitdiff | tree |
| 2022-08-28 |
Ralf Jung | validation should only catch UB errors
|
commit | commitdiff | tree |
| 2022-08-28 |
Ralf Jung | slightly improve protector-related error messages
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | adjust tests
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | interpret: make read-pointer-as-bytes *always* work...
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | dont rerun build script unnecessarily
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | ensure we don't compare provenance
|
commit | commitdiff | tree |
| 2022-08-27 |
Ralf Jung | interpret: rename relocation → provenance
|
commit | commitdiff | tree |
| next |
projects / rust.git / search