2020-04-24 |
David Cook | Add message before dumping alloc |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1361 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1358 - dtolnay:ci, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Keep MiriCommand out of ask_to_run function |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1359 - RalfJung:cargo-bin-exe, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Ralf Jung | test suite: rely on CARGO_BIN_EXE_ env vars to find... |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Preserve consistent output whether or not CI is set |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Remove unneeded setup step from CI instructions in... |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Disable interactive prompts in CI |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1356 - brson:trophy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Brian Anderson | Update README.md |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Brian Anderson | Add ryu and tikv to trophy case |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Reorder output |
commit | commitdiff | tree | snapshot |
2020-04-22 |
bors | Auto merge of #1348 - RalfJung:raw-addr-of-align, r... |
commit | commitdiff | tree | snapshot |
2020-04-22 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-22 |
Ralf Jung | Stacked Borrows: alignment does not matter |
commit | commitdiff | tree | snapshot |
2020-04-22 |
bors | Auto merge of #1353 - divergentdave:file-set-len, r... |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Add comment |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Print hex dump of alloc on reading undef bytes |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Implement ftruncate64/ftruncate for File::set_len |
commit | commitdiff | tree | snapshot |
2020-04-20 |
bors | Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Ralf Jung | adjust for asm -> llvm_asm rename |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Ralf Jung | adjust for Weak::as_raw -> as_ptr rename |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Vytautas Astrauskas | Move stack and stack_mut implementation in Machine... |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Vytautas Astrauskas | Move the stack to the evaluator to make Miri compile... |
commit | commitdiff | tree | snapshot |
2020-04-19 |
bors | Auto merge of #1342 - divergentdave:pause-instruction... |
commit | commitdiff | tree | snapshot |
2020-04-19 |
David Cook | Review comments |
commit | commitdiff | tree | snapshot |
2020-04-19 |
bors | Auto merge of #1351 - RalfJung:float-test-source, r... |
commit | commitdiff | tree | snapshot |
2020-04-19 |
Ralf Jung | test some more extreme cast cases |
commit | commitdiff | tree | snapshot |
2020-04-19 |
Ralf Jung | note source of test values |
commit | commitdiff | tree | snapshot |
2020-04-19 |
David Cook | Add support for std::thread::yield_now |
commit | commitdiff | tree | snapshot |
2020-04-19 |
David Cook | Flip matching |
commit | commitdiff | tree | snapshot |
2020-04-18 |
bors | Auto merge of #1349 - RalfJung:machine-layouts, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-18 |
Ralf Jung | use pre-computed layouts some more |
commit | commitdiff | tree | snapshot |
2020-04-18 |
bors | Auto merge of #1347 - RalfJung:float-cast-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-18 |
Ralf Jung | rename test_cast -> test_both_cast to make purpose... |
commit | commitdiff | tree | snapshot |
2020-04-18 |
bors | Auto merge of #1325 - RalfJung:float_to_int_unchecked... |
commit | commitdiff | tree | snapshot |
2020-04-18 |
Ralf Jung | use u128::MAX symbolic name |
commit | commitdiff | tree | snapshot |
2020-04-18 |
bors | Auto merge of #1346 - RalfJung:dyn-layout-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-18 |
Ralf Jung | some UB gets masked by optimizations |
commit | commitdiff | tree | snapshot |
2020-04-18 |
Ralf Jung | test that we check dynamic actual size of object |
commit | commitdiff | tree | snapshot |
2020-04-17 |
Ralf Jung | test that we properly check dynamic alignment |
commit | commitdiff | tree | snapshot |
2020-04-17 |
bors | Auto merge of #1344 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-17 |
Ralf Jung | rustup for FieldsShape::Primitive |
commit | commitdiff | tree | snapshot |
2020-04-17 |
bors | Auto merge of #1343 - RalfJung:derive-packed, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-17 |
Ralf Jung | test #[derive] on packed struct |
commit | commitdiff | tree | snapshot |
2020-04-17 |
David Cook | Handle std::sync::atomic::spin_loop_hint() |
commit | commitdiff | tree | snapshot |
2020-04-16 |
bors | Auto merge of #1341 - RalfJung:force-ptr-everywhere... |
commit | commitdiff | tree | snapshot |
2020-04-16 |
Ralf Jung | ReadBytesAsPointer is always supported |
commit | commitdiff | tree | snapshot |
2020-04-16 |
bors | Auto merge of #1338 - RalfJung:test-cleanup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-16 |
Ralf Jung | merge packed_static and packed_struct |
commit | commitdiff | tree | snapshot |
2020-04-16 |
Ralf Jung | avoid test-wide allowance of unused/dead code |
commit | commitdiff | tree | snapshot |
2020-04-16 |
Ralf Jung | consolidate ptr tests in fewer files |
commit | commitdiff | tree | snapshot |
2020-04-15 |
bors | Auto merge of #1337 - RalfJung:intrinsic-tests, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ralf Jung | test some so-far untested intrinsics |
commit | commitdiff | tree | snapshot |
2020-04-15 |
bors | Auto merge of #1334 - KrishnaSannasi:track-dealloc... |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ozaren | added deallocation tracking |
commit | commitdiff | tree | snapshot |
2020-04-15 |
bors | Auto merge of #1336 - RalfJung:instance-sanity, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ralf Jung | tighten Instance sanity check |
commit | commitdiff | tree | snapshot |
2020-04-15 |
bors | Auto merge of #1330 - RalfJung:retag-return-place,... |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ralf Jung | retag return places |
commit | commitdiff | tree | snapshot |
2020-04-15 |
Ralf Jung | adjust for frame hook changes |
commit | commitdiff | tree | snapshot |
2020-04-14 |
bors | Auto merge of #1331 - samrat:macos-mach-timebase-info... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Samrat Man... | Reword comment in mach_timebase_info |
commit | commitdiff | tree | snapshot |
2020-04-14 |
bors | Auto merge of #1333 - RalfJung:flag-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | make sure we find some things without validation or... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | make sure our disable flags do not miss all bugs; move... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Samrat Man... | Use precomputed TyLayout from `machine.layouts` |
commit | commitdiff | tree | snapshot |
2020-04-14 |
bors | Auto merge of #1332 - RalfJung:disable-alignment-check... |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | fix comment in alignment test |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Ralf Jung | tweak flag section in README |
commit | commitdiff | tree | snapshot |
2020-04-14 |
Samrat Man... | Use pre-defined u32 layout |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | mention new option in README and diagnostics |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | add option to disable alignment checks |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Samrat Man... | [macOS] Implement `mach_timebase_info` |
commit | commitdiff | tree | snapshot |
2020-04-13 |
bors | Auto merge of #1329 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | note Miri's leak check abilities and that they are... |
commit | commitdiff | tree | snapshot |
2020-04-13 |
bors | Auto merge of #1328 - RalfJung:align-false-pos, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-13 |
Ralf Jung | for alignment errors, note that there might be false... |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1327 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | remove some unnecessary trait bounds |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | add tests for invalid float-to-int casts |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | test some more corner cases in happy float casts |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | move error-pattern to inline annotation where possible |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | implement float_to_int_unchecked |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | also test unsafe cast intrinsic (happy cases) |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1324 - RalfJung:intrinsic-orga, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | there is no 'align_of_val' intrinsic |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | remove an intrinsic that was moved to rustc |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | organize intrinsics into groups |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1323 - RalfJung:noref, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | avoid a bunch of as_ref/as_mut |
commit | commitdiff | tree | snapshot |
2020-04-12 |
bors | Auto merge of #1322 - RalfJung:noref, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-12 |
Ralf Jung | avoid ref in matches |
commit | commitdiff | tree | snapshot |
2020-04-11 |
bors | Auto merge of #1321 - RalfJung:float, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |