2020-09-17 |
Ralf Jung | test reading from stdin
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | patch away --error-format and --json so that errors...
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | forward build-time env vars to binary, and test that...
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | fix Miri script on macOS
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | handle binary suffices (for Windows); stop deleting...
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | make our filename handling work better across platforms
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | even when not linking, create stub .rlib files to fool...
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | fix typo
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | update docs, and also use MIRIFLAGS for the test suite
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | test respecting 'test=false', and what happens with...
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | patch --extern and --emit; test suite passes now!
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | it actually runs tests now!
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | stub JSON information flow from cargo-build-time to...
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | towards letting cargo do binary selection: wrappers...
|
commit | commitdiff | tree |
2020-09-17 |
Ralf Jung | canonicalize miri's directory
|
commit | commitdiff | tree |
2020-09-13 |
Ralf Jung | also detect Azure CI environments
|
commit | commitdiff | tree |
2020-09-11 |
Ralf Jung | test BTreeMap::drain_filter for leaks
|
commit | commitdiff | tree |
2020-09-10 |
Ralf Jung | expand collection tests
|
commit | commitdiff | tree |
2020-09-10 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-09-07 |
Ralf Jung | fix referenced issue
|
commit | commitdiff | tree |
2020-09-07 |
Ralf Jung | use standard black_box function
|
commit | commitdiff | tree |
2020-09-07 |
Ralf Jung | another optimization work-around
|
commit | commitdiff | tree |
2020-09-07 |
Ralf Jung | test opt-level 2
|
commit | commitdiff | tree |
2020-09-07 |
Ralf Jung | work around rustc optimizations becoming too smart
|
commit | commitdiff | tree |
2020-09-01 |
Ralf Jung | rustup, fix test
|
commit | commitdiff | tree |
2020-08-27 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-08-27 |
Ralf Jung | add encoding_rs OOB arithmetic
|
commit | commitdiff | tree |
2020-08-24 |
Ralf Jung | rustup; account for ptr_offset_from stabilization
|
commit | commitdiff | tree |
2020-08-22 |
Ralf Jung | fix a test for big-endian targets
|
commit | commitdiff | tree |
2020-08-22 |
Ralf Jung | tweak test matrix: test big-endian, and test less on...
|
commit | commitdiff | tree |
2020-08-22 |
Ralf Jung | emphasize that some flags are unsound to use
|
commit | commitdiff | tree |
2020-08-20 |
Ralf Jung | avoid promotion in alignment test to get different...
|
commit | commitdiff | tree |
2020-08-18 |
Ralf Jung | forgot to add alignment test loop in one test
|
commit | commitdiff | tree |
2020-08-17 |
Ralf Jung | make another test more robust against random alignment
|
commit | commitdiff | tree |
2020-08-17 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-08-17 |
Ralf Jung | tweak alignment check docs
|
commit | commitdiff | tree |
2020-08-16 |
Ralf Jung | make sure we test panic of interpreter-impelemted align_offset
|
commit | commitdiff | tree |
2020-08-16 |
Ralf Jung | use real align_offset unless we symbolic alignment...
|
commit | commitdiff | tree |
2020-08-16 |
Ralf Jung | adjust diagnostics to alignment check mode
|
commit | commitdiff | tree |
2020-08-16 |
Ralf Jung | document -Zmiri-symbolic-alignment-check
|
commit | commitdiff | tree |
2020-08-16 |
Ralf Jung | make alignment check integer-based by default, and...
|
commit | commitdiff | tree |
2020-08-13 |
Ralf Jung | fix Stderr::as_file_handle error message
|
commit | commitdiff | tree |
2020-08-13 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-08-13 |
Ralf Jung | add test for unused ill-formed constant
|
commit | commitdiff | tree |
2020-08-12 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-08-10 |
Ralf Jung | make sure opening a file fails with isolation enabled
|
commit | commitdiff | tree |
2020-08-10 |
Ralf Jung | accept ReferencedConstant errors in Miri (can happen...
|
commit | commitdiff | tree |
2020-08-08 |
Ralf Jung | fs: move isolation handling to inside trait
|
commit | commitdiff | tree |
2020-08-08 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-08-05 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-08-03 |
Ralf Jung | rustup; inner_deref has been stabilized
|
commit | commitdiff | tree |
2020-08-01 |
Ralf Jung | test unwinding past topmost frame of a stack
|
commit | commitdiff | tree |
2020-08-01 |
Ralf Jung | rustup; fix linked_list test
|
commit | commitdiff | tree |
2020-07-31 |
Ralf Jung | test track_caller on trait objects
|
commit | commitdiff | tree |
2020-07-30 |
Ralf Jung | remove upstreamed intrinsic impls
|
commit | commitdiff | tree |
2020-07-30 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-07-29 |
Ralf Jung | only check-build the dummy xargo project
|
commit | commitdiff | tree |
2020-07-29 |
Ralf Jung | rustup for new folder layout
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | rustup and test fixes
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | Typos
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | fix diagnostics printing when triggered during TLS...
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | deallocate thread-local statics when the thread dies
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | fix and test order of TLS dtors and thread joining
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | test referencing unsupported extern static
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | get_or_create_thread_local_alloc_id: share code with...
|
commit | commitdiff | tree |
2020-07-27 |
Ralf Jung | adjust to canonical_alloc_id removal
|
commit | commitdiff | tree |
2020-07-25 |
Ralf Jung | update rust-version
|
commit | commitdiff | tree |
2020-07-23 |
Ralf Jung | document Miri extern functions
|
commit | commitdiff | tree |
2020-07-23 |
Ralf Jung | enable leak check tests on Windows
|
commit | commitdiff | tree |
2020-07-23 |
Ralf Jung | add a Miri extern fn to mark an allocation as being...
|
commit | commitdiff | tree |
2020-07-23 |
Ralf Jung | make miri_start_panic intrinsic an FFI function
|
commit | commitdiff | tree |
2020-07-23 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-07-18 |
Ralf Jung | set errno on stdout write failure
|
commit | commitdiff | tree |
2020-07-17 |
Ralf Jung | fix typo
|
commit | commitdiff | tree |
2020-07-17 |
Ralf Jung | fix non-fatal diagnostics stacktraces
|
commit | commitdiff | tree |
2020-07-16 |
Ralf Jung | remove an unnecessary intermediate cast
|
commit | commitdiff | tree |
2020-07-15 |
Ralf Jung | make cfg(miri) greppable
|
commit | commitdiff | tree |
2020-07-15 |
Ralf Jung | rustup; fix Windows TLS
|
commit | commitdiff | tree |
2020-07-11 |
Ralf Jung | test casting a dangling ptr back from an int
|
commit | commitdiff | tree |
2020-07-11 |
Ralf Jung | go back to using canonicalize()
|
commit | commitdiff | tree |
2020-07-09 |
Ralf Jung | better way to get an absolute path
|
commit | commitdiff | tree |
2020-07-09 |
Ralf Jung | on Windows, strip the '\\?\' prefix from the canonical...
|
commit | commitdiff | tree |
2020-07-08 |
Ralf Jung | we cannot track all machine memory any more due to...
|
commit | commitdiff | tree |
2020-07-07 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-07-07 |
Ralf Jung | adjust error messages
|
commit | commitdiff | tree |
2020-07-07 |
Ralf Jung | test validation of uninit memory (used to ICE)
|
commit | commitdiff | tree |
2020-07-05 |
Ralf Jung | support relative XARGO_RUST_SRC
|
commit | commitdiff | tree |
2020-07-03 |
Ralf Jung | set --target when building miri
|
commit | commitdiff | tree |
2020-07-02 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2020-07-02 |
Ralf Jung | add option to track call IDs
|
commit | commitdiff | tree |
2020-06-28 |
Ralf Jung | fix some ignore-windows comments
|
commit | commitdiff | tree |
2020-06-28 |
Ralf Jung | move rwlock dequeuing to shared code, and use that...
|
commit | commitdiff | tree |
2020-06-28 |
Ralf Jung | Move get/set_at_offset helpers to global helpers file
|
commit | commitdiff | tree |
2020-06-27 |
Ralf Jung | with this, we support panics on Windows
|
commit | commitdiff | tree |
2020-06-27 |
Ralf Jung | implement Windows SRWLock shims
|
commit | commitdiff | tree |
2020-06-27 |
Ralf Jung | introduce platform-specific module hierarchy for dlsym...
|
commit | commitdiff | tree |
2020-06-27 |
Ralf Jung | module organization: move platform-specific code to...
|
commit | commitdiff | tree |
2020-06-27 |
Ralf Jung | Rename shims::{sync -> posic_sync} and move sync_singlethrea...
|
commit | commitdiff | tree |
2020-06-27 |
Ralf Jung | supply our own implementation of the CTFE pointer comparison...
|
commit | commitdiff | tree |
2020-06-26 |
Ralf Jung | bump Rust
|
commit | commitdiff | tree |
next |