2022-09-13 |
Ben Kimock | Linux has more testing, we should do the extra checks... |
commit | commitdiff | tree | snapshot |
2022-09-13 |
bors | Auto merge of #2479 - saethlin:tag-gc, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-09-13 |
bors | Auto merge of #2542 - lengyijun:patch-2, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-09-13 |
lyj | fix typo |
commit | commitdiff | tree | snapshot |
2022-09-11 |
Ben Kimock | In CI set the GC interval to 1 for Linux only |
commit | commitdiff | tree | snapshot |
2022-09-11 |
Ben Kimock | Implement -Zmiri-tag-gc a garbage collector for tags |
commit | commitdiff | tree | snapshot |
2022-09-10 |
bors | Auto merge of #2539 - oli-obk:rustup, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-09-10 |
Oli Scherer | Rustup |
commit | commitdiff | tree | snapshot |
2022-09-07 |
bors | Auto merge of #2535 - oli-obk:rustup, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-09-07 |
Oli Scherer | Rustup |
commit | commitdiff | tree | snapshot |
2022-09-03 |
bors | Auto merge of #2534 - saethlin:rustup, r=saethlin |
commit | commitdiff | tree | snapshot |
2022-09-03 |
Ben Kimock | rustup: bring in Miri backtrace-rs pruning fix |
commit | commitdiff | tree | snapshot |
2022-09-03 |
bors | Auto merge of #2533 - saethlin:windows-rng, r=ChrisDenton |
commit | commitdiff | tree | snapshot |
2022-09-03 |
Ben Kimock | Add support for BCRYPT_RNG_ALG_HANDLE |
commit | commitdiff | tree | snapshot |
2022-09-03 |
bors | Auto merge of #2532 - Enselic:fix-build-with-unix_sigpi... |
commit | commitdiff | tree | snapshot |
2022-09-03 |
Martin Nordholts | Fix build with `#[unix_sigpipe = "..."]` support in... |
commit | commitdiff | tree | snapshot |
2022-09-02 |
bors | Auto merge of #2530 - oli-obk:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-09-02 |
Ralf Jung | tweak variable name |
commit | commitdiff | tree | snapshot |
2022-09-02 |
Oli Scherer | Clippy after rustup |
commit | commitdiff | tree | snapshot |
2022-09-02 |
Oli Scherer | Rustup |
commit | commitdiff | tree | snapshot |
2022-09-02 |
bors | Auto merge of #2529 - RalfJung:yesffi, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-09-02 |
Ralf Jung | Revert "disable extern-so ffi support for now due to... |
commit | commitdiff | tree | snapshot |
2022-09-01 |
bors | Auto merge of #2527 - RalfJung:noffi, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-09-01 |
Ralf Jung | disable extern-so ffi support for now due to licensing... |
commit | commitdiff | tree | snapshot |
2022-09-01 |
bors | Auto merge of #2523 - saethlin:protector-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-09-01 |
bors | Auto merge of #2525 - RalfJung:zulip, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-09-01 |
Ralf Jung | Zulip notifications: ping the Miri team |
commit | commitdiff | tree | snapshot |
2022-09-01 |
Ben Kimock | Add a protector test that demonstrates the base tag... |
commit | commitdiff | tree | snapshot |
2022-08-31 |
bors | Auto merge of #2516 - RalfJung:read-pointer-as-bytes... |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Ralf Jung | make Miri build again with rustc provenance changes |
commit | commitdiff | tree | snapshot |
2022-08-31 |
bors | Auto merge of #2524 - RalfJung:progress-report, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Ralf Jung | make shim_arg_size ptr-width-independent |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Ralf Jung | make backtrace header a bit more visible |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Ralf Jung | fix progress report being deduplicated |
commit | commitdiff | tree | snapshot |
2022-08-31 |
bors | Auto merge of #2521 - oli-obk:bump_ui_test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Ralf Jung | add comment |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Oli Scherer | Bump ui_test to 0.3.1 |
commit | commitdiff | tree | snapshot |
2022-08-31 |
Oli Scherer | Bump UI test dependency |
commit | commitdiff | tree | snapshot |
2022-08-31 |
bors | Auto merge of #2519 - saethlin:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-29 |
Ben Kimock | Use the better FnEntry spans in protector errors |
commit | commitdiff | tree | snapshot |
2022-08-29 |
bors | Auto merge of #2517 - saethlin:zst-field-retagging... |
commit | commitdiff | tree | snapshot |
2022-08-29 |
Ralf Jung | clarify test purpose |
commit | commitdiff | tree | snapshot |
2022-08-29 |
Ben Kimock | Skip field retagging on ZSTs, it can take forever |
commit | commitdiff | tree | snapshot |
2022-08-28 |
bors | Auto merge of #2513 - RalfJung:protected, r=saethlin |
commit | commitdiff | tree | snapshot |
2022-08-28 |
Ralf Jung | slightly improve protector-related error messages |
commit | commitdiff | tree | snapshot |
2022-08-28 |
bors | Auto merge of #2512 - cbeuw:scfix, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-28 |
Andy Wang | Comment deviations from the paper |
commit | commitdiff | tree | snapshot |
2022-08-27 |
bors | Auto merge of #2515 - RalfJung:build, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Ralf Jung | dont rerun build script unnecessarily |
commit | commitdiff | tree | snapshot |
2022-08-27 |
bors | Auto merge of #2514 - RalfJung:dont-compare, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Ralf Jung | ensure we don't compare provenance |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Andy Wang | Supress clippy error |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Andy Wang | Fix C++20 SC access unsoundness |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Andy Wang | Add C++20 SC access test |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Andy Wang | Remove useless store buffer search logging |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Andy Wang | Improve SC comments |
commit | commitdiff | tree | snapshot |
2022-08-27 |
bors | Auto merge of #2455 - RalfJung:scalar-always-init,... |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-08-27 |
Ralf Jung | adjust for earlier init checking in the core engine |
commit | commitdiff | tree | snapshot |
2022-08-26 |
bors | Auto merge of #2511 - RalfJung:extern-so, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-26 |
Ralf Jung | nicer errors |
commit | commitdiff | tree | snapshot |
2022-08-26 |
Ralf Jung | rename test to match usual naming conventions |
commit | commitdiff | tree | snapshot |
2022-08-26 |
Ralf Jung | fix host/target check for extern-so |
commit | commitdiff | tree | snapshot |
2022-08-26 |
bors | Auto merge of #2510 - oli-obk:merge_conflict, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-08-26 |
Oli Scherer | Fix merge conflict |
commit | commitdiff | tree | snapshot |
2022-08-26 |
bors | Auto merge of #2509 - RalfJung:env-data-race, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-26 |
Ralf Jung | fix data race error during env var cleanup |
commit | commitdiff | tree | snapshot |
2022-08-26 |
bors | Auto merge of #2363 - emarteca:int-function-args-return... |
commit | commitdiff | tree | snapshot |
2022-08-26 |
Ellen Arteca | C FFI support for functions with int args and returns |
commit | commitdiff | tree | snapshot |
2022-08-25 |
bors | Auto merge of #2449 - oli-obk:ui_test_subtree_sync... |
commit | commitdiff | tree | snapshot |
2022-08-25 |
Oli Scherer | Use ui_test from crates.io instead of having it in... |
commit | commitdiff | tree | snapshot |
2022-08-25 |
bors | Auto merge of #2448 - oli-obk:test_crates_on_their_own... |
commit | commitdiff | tree | snapshot |
2022-08-25 |
Oli Scherer | Run `pass` tests without building dependencies first |
commit | commitdiff | tree | snapshot |
2022-08-23 |
bors | Auto merge of #2505 - RalfJung:ui-test, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-08-23 |
Ralf Jung | cope with rustc aborting due to a signal |
commit | commitdiff | tree | snapshot |
2022-08-22 |
bors | Auto merge of #2504 - Hiroki6:move-thread-to-concurrenc... |
commit | commitdiff | tree | snapshot |
2022-08-22 |
Ralf Jung | reorganize imports a bit |
commit | commitdiff | tree | snapshot |
2022-08-22 |
Hiroki6 | move thread.rs into concurrency |
commit | commitdiff | tree | snapshot |
2022-08-22 |
bors | Auto merge of #2503 - RalfJung:tls-dtor-order, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-22 |
Ralf Jung | notes on TLS dtor order |
commit | commitdiff | tree | snapshot |
2022-08-22 |
bors | Auto merge of #2481 - RalfJung:shim-pattern, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-08-22 |
Ralf Jung | document general shim pattern |
commit | commitdiff | tree | snapshot |
2022-08-22 |
bors | Auto merge of #2441 - RalfJung:arithmetic, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-08-22 |
Ralf Jung | pass clippy::integer_arithmetic in our shims |
commit | commitdiff | tree | snapshot |
2022-08-21 |
bors | Auto merge of #2500 - Hiroki6:make-vector-clock-private... |
commit | commitdiff | tree | snapshot |
2022-08-21 |
Hiroki6 | rustfmt |
commit | commitdiff | tree | snapshot |
2022-08-21 |
Hiroki6 | move vector_clock and sync into concurrency & make... |
commit | commitdiff | tree | snapshot |
2022-08-20 |
bors | Auto merge of #2495 - RalfJung:ra, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-20 |
Ralf Jung | add ./miri cargo for RA to invoke |
commit | commitdiff | tree | snapshot |
2022-08-20 |
bors | Auto merge of #2473 - RalfJung:dyn-upcast-nop, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-08-20 |
Ralf Jung | allow NOP-casts with mismatching vtables |
commit | commitdiff | tree | snapshot |
2022-08-18 |
bors | Auto merge of #2454 - saethlin:diagnostics-cleanup... |
commit | commitdiff | tree | snapshot |
2022-08-18 |
Ralf Jung | re-bless after rebase |
commit | commitdiff | tree | snapshot |
2022-08-18 |
Ben Kimock | some CurrentSpan cleanup |
commit | commitdiff | tree | snapshot |
2022-08-18 |
Ben Kimock | Clean up diff churn a bit, adjust comments |
commit | commitdiff | tree | snapshot |
2022-08-18 |
Ben Kimock | Improve information sharing across SB diagnostics |
commit | commitdiff | tree | snapshot |
2022-08-18 |
bors | Auto merge of #2231 - DrMeepster:winfred, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-08-18 |
Ralf Jung | add some missing assert_target_os |
commit | commitdiff | tree | snapshot |
next |