2020-07-27 |
Ralf Jung | rustup and test fixes |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Ralf Jung | Typos |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Ralf Jung | fix diagnostics printing when triggered during TLS... |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Ralf Jung | deallocate thread-local statics when the thread dies |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Ralf Jung | fix and test order of TLS dtors and thread joining |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Ralf Jung | test referencing unsupported extern static |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Ralf Jung | get_or_create_thread_local_alloc_id: share code with... |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Ralf Jung | adjust to canonical_alloc_id removal |
commit | commitdiff | tree | snapshot |
2020-07-27 |
bors | Auto merge of #1487 - pnadon:miri-rename-undef-uninit... |
commit | commitdiff | tree | snapshot |
2020-07-27 |
Philippe Nadon | Changed not_undef to check_init in foreign_items.rs |
commit | commitdiff | tree | snapshot |
2020-07-26 |
Phil Nadon | Updated Rust version to latest master |
commit | commitdiff | tree | snapshot |
2020-07-26 |
Philippe Nadon | renamed Immediate::to_scalar_or_undef |
commit | commitdiff | tree | snapshot |
2020-07-26 |
Philippe Nadon | renamed ScalarMaybeUninit::not_undef to check_init |
commit | commitdiff | tree | snapshot |
2020-07-25 |
bors | Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-07-25 |
Ralf Jung | update rust-version |
commit | commitdiff | tree | snapshot |
2020-07-23 |
Ralf Jung | document Miri extern functions |
commit | commitdiff | tree | snapshot |
2020-07-23 |
Ralf Jung | enable leak check tests on Windows |
commit | commitdiff | tree | snapshot |
2020-07-23 |
Ralf Jung | add a Miri extern fn to mark an allocation as being... |
commit | commitdiff | tree | snapshot |
2020-07-23 |
Ralf Jung | make miri_start_panic intrinsic an FFI function |
commit | commitdiff | tree | snapshot |
2020-07-23 |
bors | Auto merge of #1482 - canova:remote-unreachable, r... |
commit | commitdiff | tree | snapshot |
2020-07-23 |
bors | Auto merge of #1484 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-23 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-07-18 |
bors | Auto merge of #1483 - RalfJung:fs-errno, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-18 |
Ralf Jung | set errno on stdout write failure |
commit | commitdiff | tree | snapshot |
2020-07-18 |
bors | Auto merge of #1436 - samrat:support-stdin-read, r... |
commit | commitdiff | tree | snapshot |
2020-07-18 |
Nazım Can Altınova | Remove unreachable intrinsic |
commit | commitdiff | tree | snapshot |
2020-07-18 |
Samrat Man... | Remove unnecessary cast |
commit | commitdiff | tree | snapshot |
2020-07-17 |
Samrat Man... | Ensure buffer for reading from Stdin is smaller than... |
commit | commitdiff | tree | snapshot |
2020-07-17 |
bors | Auto merge of #1480 - RalfJung:diagnostic-stacktrace... |
commit | commitdiff | tree | snapshot |
2020-07-17 |
Ralf Jung | fix typo |
commit | commitdiff | tree | snapshot |
2020-07-17 |
Ralf Jung | fix non-fatal diagnostics stacktraces |
commit | commitdiff | tree | snapshot |
2020-07-16 |
bors | Auto merge of #1479 - RalfJung:fs-nocast, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-16 |
Ralf Jung | remove an unnecessary intermediate cast |
commit | commitdiff | tree | snapshot |
2020-07-15 |
bors | Auto merge of #1478 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-15 |
Ralf Jung | make cfg(miri) greppable |
commit | commitdiff | tree | snapshot |
2020-07-15 |
bors | Auto merge of #1477 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-15 |
Ralf Jung | rustup; fix Windows TLS |
commit | commitdiff | tree | snapshot |
2020-07-12 |
Samrat Man... | Read into buffer of fixed size for `read`s to STDIN |
commit | commitdiff | tree | snapshot |
2020-07-11 |
bors | Auto merge of #1475 - RalfJung:dangcast, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-11 |
Ralf Jung | test casting a dangling ptr back from an int |
commit | commitdiff | tree | snapshot |
2020-07-11 |
bors | Auto merge of #1474 - RalfJung:canonical, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-11 |
Ralf Jung | go back to using canonicalize() |
commit | commitdiff | tree | snapshot |
2020-07-11 |
Samrat Man... | Handle `read`s on STDIN |
commit | commitdiff | tree | snapshot |
2020-07-09 |
bors | Auto merge of #1473 - Stupremee:no-ice-if-no-main-fn... |
commit | commitdiff | tree | snapshot |
2020-07-09 |
Justus K | Move no_main test to compile-fail |
commit | commitdiff | tree | snapshot |
2020-07-09 |
Justus K | Add ui test for early exiting if no main |
commit | commitdiff | tree | snapshot |
2020-07-09 |
Justus K | Early exit if program doesn't contain a main fn |
commit | commitdiff | tree | snapshot |
2020-07-09 |
bors | Auto merge of #1472 - RalfJung:abs, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-09 |
Ralf Jung | Cleanup code |
commit | commitdiff | tree | snapshot |
2020-07-09 |
Ralf Jung | better way to get an absolute path |
commit | commitdiff | tree | snapshot |
2020-07-09 |
bors | Auto merge of #1471 - RalfJung:win, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-09 |
Ralf Jung | on Windows, strip the '\\?\' prefix from the canonical... |
commit | commitdiff | tree | snapshot |
2020-07-08 |
bors | Auto merge of #1470 - RalfJung:machine-tracking, r... |
commit | commitdiff | tree | snapshot |
2020-07-08 |
Ralf Jung | we cannot track all machine memory any more due to... |
commit | commitdiff | tree | snapshot |
2020-07-07 |
bors | Auto merge of #1468 - RalfJung:uninit-validation, r... |
commit | commitdiff | tree | snapshot |
2020-07-07 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-07-07 |
Ralf Jung | adjust error messages |
commit | commitdiff | tree | snapshot |
2020-07-07 |
Ralf Jung | test validation of uninit memory (used to ICE) |
commit | commitdiff | tree | snapshot |
2020-07-05 |
bors | Auto merge of #1469 - RalfJung:relative, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-05 |
Ralf Jung | support relative XARGO_RUST_SRC |
commit | commitdiff | tree | snapshot |
2020-07-03 |
bors | Auto merge of #1466 - RalfJung:target, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-03 |
Ralf Jung | set --target when building miri |
commit | commitdiff | tree | snapshot |
2020-07-03 |
bors | Auto merge of #1465 - nbdd0121:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-02 |
Gary Guo | Remove likely and unlikely from intrinsics shim |
commit | commitdiff | tree | snapshot |
2020-07-02 |
bors | Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-07-02 |
bors | Auto merge of #1464 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-07-02 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-07-02 |
Ralf Jung | add option to track call IDs |
commit | commitdiff | tree | snapshot |
2020-06-28 |
bors | Auto merge of #1462 - RalfJung:ignore-windows, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-28 |
Ralf Jung | fix some ignore-windows comments |
commit | commitdiff | tree | snapshot |
2020-06-28 |
bors | Auto merge of #1461 - RalfJung:rwlock-win, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-06-28 |
Ralf Jung | move rwlock dequeuing to shared code, and use that... |
commit | commitdiff | tree | snapshot |
2020-06-28 |
Ralf Jung | Move get/set_at_offset helpers to global helpers file |
commit | commitdiff | tree | snapshot |
2020-06-27 |
Ralf Jung | with this, we support panics on Windows |
commit | commitdiff | tree | snapshot |
2020-06-27 |
Ralf Jung | implement Windows SRWLock shims |
commit | commitdiff | tree | snapshot |
2020-06-27 |
Ralf Jung | introduce platform-specific module hierarchy for dlsym... |
commit | commitdiff | tree | snapshot |
2020-06-27 |
bors | Auto merge of #1460 - RalfJung:modules, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-27 |
Ralf Jung | module organization: move platform-specific code to... |
commit | commitdiff | tree | snapshot |
2020-06-27 |
Ralf Jung | Rename shims::{sync -> posic_sync} and move sync_single... |
commit | commitdiff | tree | snapshot |
2020-06-27 |
bors | Auto merge of #1459 - RalfJung:ptr_guaranteed_eq, r... |
commit | commitdiff | tree | snapshot |
2020-06-27 |
Ralf Jung | supply our own implementation of the CTFE pointer compa... |
commit | commitdiff | tree | snapshot |
2020-06-26 |
bors | Auto merge of #1458 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-26 |
Ralf Jung | bump Rust |
commit | commitdiff | tree | snapshot |
2020-06-25 |
bors | Auto merge of #1457 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-25 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-06-22 |
bors | Auto merge of #1455 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-22 |
Ralf Jung | rustup; stop testing with mir opts as they are currentl... |
commit | commitdiff | tree | snapshot |
2020-06-22 |
Ralf Jung | add a miscompilation test |
commit | commitdiff | tree | snapshot |
2020-06-20 |
bors | Auto merge of #1454 - RalfJung:test-raw-ptr, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-20 |
Ralf Jung | unaligned-raw-deref is always UB |
commit | commitdiff | tree | snapshot |
2020-06-20 |
Ralf Jung | make sure the raw_ptr macros also avoid UB |
commit | commitdiff | tree | snapshot |
2020-06-20 |
Ralf Jung | make sure '&raw *' on a dangling raw ptr is UB |
commit | commitdiff | tree | snapshot |
2020-06-20 |
bors | Auto merge of #1453 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-20 |
Ralf Jung | bump Rust |
commit | commitdiff | tree | snapshot |
2020-06-15 |
bors | Auto merge of #1451 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-15 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-06-15 |
bors | Auto merge of #1450 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-15 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-06-13 |
bors | Auto merge of #1448 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-06-13 |
Ralf Jung | rustup; and a bit of UnsafeCell detection refactoring |
commit | commitdiff | tree | snapshot |
next |