2022-07-25 |
bors | Auto merge of #2422 - RalfJung:integers, r=oli-obk |
blob | commitdiff | raw |
2022-07-25 |
bors | Auto merge of #2436 - RalfJung:lib-crates, r=oli-obk |
blob | commitdiff | raw |
2022-07-25 |
bors | Auto merge of #2434 - RalfJung:ui-test-locked, r=oli-obk |
blob | commitdiff | raw |
2022-07-24 |
bors | Auto merge of #2440 - RalfJung:up, r=RalfJung |
blob | commitdiff | raw |
2022-07-24 |
Ralf Jung | rustup |
blob | commitdiff | raw |
2022-07-20 |
bors | Auto merge of #2403 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-07-07 |
bors | Auto merge of #2314 - RalfJung:unsized, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-07 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-07-07 |
bors | Auto merge of #2341 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-07 |
Ralf Jung | rustup; ptr atomics |
blob | commitdiff | raw | diff to current |
2022-07-06 |
bors | Auto merge of #2336 - RalfJung:wide-ptr-compare, r... |
blob | commitdiff | raw | diff to current |
2022-07-06 |
Ralf Jung | fix comparing wide raw pointers |
blob | commitdiff | raw | diff to current |
2022-04-09 |
bors | Auto merge of #2060 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-09 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
blob | commitdiff | raw | diff to current |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
blob | commitdiff | raw | diff to current |
2021-02-20 |
bors | Auto merge of #1716 - tmiasko:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-20 |
Tomasz Miąsko | rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404 |
blob | commitdiff | raw | diff to current |
2020-08-03 |
bors | Auto merge of #1495 - samrat:fd-trait, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #1487 - pnadon:miri-rename-undef-uninit... |
blob | commitdiff | raw | diff to current |
2020-07-26 |
Philippe Nadon | renamed ScalarMaybeUninit::not_undef to check_init |
blob | commitdiff | raw | diff to current |
2020-06-09 |
bors | Auto merge of #1418 - divergentdave:file-sync, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-30 |
bors | Auto merge of #1412 - josephlr:ptr, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-30 |
Joe Richey | Remove pointer arithmetic intrinsics |
blob | commitdiff | raw | diff to current |
2020-04-04 |
bors | Auto merge of #1293 - Firstyear:1289-miri-readme, r... |
blob | commitdiff | raw | diff to current |
2020-04-03 |
bors | Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1299 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | rustup for import changes |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1270 - RalfJung:incremental, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1279 - divergentdave:open_O_EXCL, r... |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1281 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
Ralf Jung | adjust for librustc rename; reduce 'extern crate' to... |
blob | commitdiff | raw | diff to current |
2020-03-01 |
bors | Auto merge of #1197 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-01 |
Ralf Jung | some formatting |
blob | commitdiff | raw | diff to current |
2020-02-14 |
bors | Auto merge of #1158 - divergentdave:shim-rename, r... |
blob | commitdiff | raw | diff to current |
2020-02-14 |
bors | Auto merge of #1174 - RalfJung:rusutp, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-02-13 |
Ralf Jung | fix for Panic InterpError refactoring |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1118 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Oliver Scherer | Rustfmt all the things |
blob | commitdiff | raw | diff to current |
2019-11-09 |
Christian Poveda | Fix merge conflicts |
blob | commitdiff | raw | diff to current |
2019-11-08 |
bors | Auto merge of #1044 - RalfJung:uprust, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-08 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2019-11-06 |
bors | Auto merge of #1037 - JOE1994:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-06 |
bors | Auto merge of #1031 - RalfJung:ptr-offset, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-06 |
Ralf Jung | ptr_offset: handle negative offsets |
blob | commitdiff | raw | diff to current |
2019-11-06 |
Ralf Jung | fix error message details |
blob | commitdiff | raw | diff to current |
2019-11-06 |
Ralf Jung | refactor ptr_offset_inbounds: it can be reduced to... |
blob | commitdiff | raw | diff to current |
2019-10-24 |
bors | Auto merge of #1020 - RalfJung:compiletest, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-24 |
bors | Auto merge of #1019 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-24 |
Ralf Jung | update comments and some tweaks |
blob | commitdiff | raw | diff to current |
2019-10-18 |
bors | Auto merge of #1004 - JohnTitor:use-memory, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-18 |
Yuki Okushi | Use memory field instead of memory() |
blob | commitdiff | raw | diff to current |
2019-08-23 |
bors | Auto merge of #914 - christianpoveda:use-host-rng,... |
blob | commitdiff | raw | diff to current |
2019-08-18 |
bors | Auto merge of #911 - RalfJung:typed-op, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-18 |
Ralf Jung | adjust for typed binary/unary_op |
blob | commitdiff | raw | diff to current |
2019-08-15 |
bors | Auto merge of #859 - RalfJung:cargo, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-15 |
bors | Auto merge of #909 - RalfJung:deny-warn, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-08-15 |
bors | Auto merge of #863 - RalfJung:deref-checks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-15 |
Ralf Jung | adjust for fn rename |
blob | commitdiff | raw | diff to current |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #877 - christianpoveda:ldexp-shim, r... |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #856 - RalfJung:type_dispatch_first,... |
blob | commitdiff | raw | diff to current |
2019-08-03 |
Ralf Jung | implement all ptr comparisons through integer casts |
blob | commitdiff | raw | diff to current |
2019-08-03 |
Ralf Jung | adjust for ptr_op now being called type-based |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #878 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-03 |
Ralf Jung | fix for error refactoring |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #853 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #852 - lzutao:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
blob | commitdiff | raw | diff to current |
2019-07-24 |
Lzu Tao | build: Fix build after rust-lang/rust#60951 |
blob | commitdiff | raw | diff to current |
2019-07-23 |
Ralf Jung | make sure we always have an RNG |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | avoid catching errors |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | support integers that can be cast to pointers in in... |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | allow dangling ptr-to-int casts; use force_bits for... |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | only treat integer operations as such |
blob | commitdiff | raw | diff to current |
2019-07-01 |
bors | Auto merge of #815 - RalfJung:memory-audit, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-30 |
Ralf Jung | don't call Memory::get without checking the pointer... |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | Merge remote-tracking branch 'ralf/machine' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-29 |
bors | Auto merge of #802 - RalfJung:machine, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | move most of the stuff from lib.rs into machine.rs... |
blob | commitdiff | raw | diff to current |
2019-06-26 |
bors | Auto merge of #779 - christianpoveda:intptrcast-model... |
blob | commitdiff | raw | diff to current |
2019-06-25 |
Christian Poveda | Fix merge conflicts |
blob | commitdiff | raw | diff to current |
2019-06-24 |
Christian Poveda | Reorganize MemoryExtra and AllocExtra structures |
blob | commitdiff | raw | diff to current |
2019-06-24 |
bors | Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-24 |
Christian Poveda | Rename new fields and move rng to MemoryExtra |
blob | commitdiff | raw | diff to current |
2019-06-24 |
Ralf Jung | Apply suggestions from code review |
blob | commitdiff | raw | diff to current |
2019-06-23 |
Ralf Jung | de-obfuscate ptr comparison a bit |
blob | commitdiff | raw | diff to current |
2019-06-23 |
Ralf Jung | adjust for refactored memory pointer checks |
blob | commitdiff | raw | diff to current |
2019-06-22 |
Christian Poveda | Force intptrcast for binary operations |
blob | commitdiff | raw | diff to current |
2019-06-21 |
Oliver Scherer | Merge branch 'master' into master |
blob | commitdiff | raw | diff to current |
2019-06-21 |
Ralf Jung | Merge pull request #777 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2019-06-20 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-20 |
Ralf Jung | allow some inequality comparisons between pointers... |
blob | commitdiff | raw | diff to current |
2019-06-13 |
Ralf Jung | Merge pull request #769 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
next |