2019-08-29 |
Christian Poveda | Small corrections |
tree | commitdiff |
2019-08-28 |
Christian Poveda | Exclude env vars using flag |
tree | commitdiff |
2019-08-28 |
Christian Poveda | Add -Zmiri-env-exclude flag |
tree | commitdiff |
2019-08-27 |
bors | Auto merge of #925 - christianpoveda:environ-shim,... |
tree | commitdiff |
2019-08-27 |
Christian Poveda | Add docs |
tree | commitdiff |
2019-08-27 |
bors | Auto merge of #917 - RalfJung:isolation, r=oli-obk |
tree | commitdiff |
2019-08-27 |
bors | Auto merge of #926 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-27 |
Ralf Jung | rustup |
tree | commitdiff |
2019-08-26 |
Christian Poveda | Write name and value for each env var |
tree | commitdiff |
2019-08-26 |
bors | Auto merge of #924 - RalfJung:getrandom, r=RalfJung |
tree | commitdiff |
2019-08-26 |
bors | Auto merge of #922 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-26 |
Ralf Jung | bump Rust and xargo |
tree | commitdiff |
2019-08-23 |
Ralf Jung | change flag name: enable-communication -> disable-isolation |
tree | commitdiff |
2019-08-23 |
bors | Auto merge of #914 - christianpoveda:use-host-rng,... |
tree | commitdiff |
2019-08-20 |
Christian Poveda | Update -Zmiri-enable-communication docs |
tree | commitdiff |
2019-08-20 |
Christian Poveda | Use err_unsup_format instead |
tree | commitdiff |
2019-08-19 |
Christian Poveda | Use host's rng when communication is enabled |
tree | commitdiff |
2019-08-18 |
bors | Auto merge of #911 - RalfJung:typed-op, r=RalfJung |
tree | commitdiff |
2019-08-18 |
Ralf Jung | adjust for typed binary/unary_op |
tree | commitdiff |
2019-08-15 |
bors | Auto merge of #859 - RalfJung:cargo, r=RalfJung |
tree | commitdiff |
2019-08-15 |
bors | Auto merge of #909 - RalfJung:deny-warn, r=oli-obk |
tree | commitdiff |
2019-08-15 |
Ralf Jung | fix warning |
tree | commitdiff |
2019-08-15 |
bors | Auto merge of #863 - RalfJung:deref-checks, r=RalfJung |
tree | commitdiff |
2019-08-15 |
Ralf Jung | adjust for fn rename |
tree | commitdiff |
2019-08-15 |
bors | Auto merge of #907 - christianpoveda:env-vars-shim... |
tree | commitdiff |
2019-08-14 |
Christian Poveda | Delegate writing to emulate_foreign_item |
tree | commitdiff |
2019-08-14 |
Christian Poveda | Move env shims to its own module |
tree | commitdiff |
2019-08-14 |
bors | Auto merge of #894 - christianpoveda:env-vars-communica... |
tree | commitdiff |
2019-08-14 |
Christian Poveda | Remove tcx parameter for EnvVars::alloc_env_value |
tree | commitdiff |
2019-08-14 |
Christian Poveda | Rename export for shims::env::EnvVars |
tree | commitdiff |
2019-08-13 |
Christian Poveda | Reorganize shims::env::EnvVars |
tree | commitdiff |
2019-08-13 |
Christian Poveda | Move test env var to test_runner |
tree | commitdiff |
2019-08-13 |
Christian Poveda | Wrap hashmap for env vars in its own type |
tree | commitdiff |
2019-08-13 |
bors | Auto merge of #906 - RalfJung:tls, r=RalfJung |
tree | commitdiff |
2019-08-13 |
Ralf Jung | make TLS state private to TLS module |
tree | commitdiff |
2019-08-12 |
bors | Auto merge of #904 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-12 |
Ralf Jung | it's called RUSTC_CTFE_BACKTRACE now |
tree | commitdiff |
2019-08-10 |
bors | Auto merge of #902 - RalfJung:ldexp, r=RalfJung |
tree | commitdiff |
2019-08-10 |
Ralf Jung | typo |
tree | commitdiff |
2019-08-10 |
Ralf Jung | clamp ldexp exponent to i16 |
tree | commitdiff |
2019-08-10 |
Ralf Jung | also support scalbn itself |
tree | commitdiff |
2019-08-09 |
Ralf Jung | use apfloat for ldexp |
tree | commitdiff |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
tree | commitdiff |
2019-08-08 |
bors | Auto merge of #898 - christianpoveda:master, r=RalfJung |
tree | commitdiff |
2019-08-08 |
Christian Poveda | Use ldexp from cmath instead |
tree | commitdiff |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
tree | commitdiff |
2019-08-08 |
bors | Auto merge of #897 - RalfJung:xargo, r=RalfJung |
tree | commitdiff |
2019-08-08 |
Ralf Jung | bump xargo version |
tree | commitdiff |
2019-08-07 |
Christian Poveda | Fix formatting |
tree | commitdiff |
2019-08-07 |
bors | Auto merge of #895 - RalfJung:uninit, r=oli-obk |
tree | commitdiff |
2019-08-07 |
Ralf Jung | Revert "uninit intrinsic is gone" |
tree | commitdiff |
2019-08-06 |
Christian Poveda | Add support for env communication |
tree | commitdiff |
2019-08-06 |
bors | Auto merge of #893 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-06 |
Christian Poveda | Add communicate field to evaluator and fix formatting |
tree | commitdiff |
2019-08-06 |
Christian Poveda | Add flag to enable communication |
tree | commitdiff |
2019-08-06 |
Ralf Jung | mention that we get the toolchain right |
tree | commitdiff |
2019-08-06 |
bors | Auto merge of #890 - RalfJung:xargo, r=RalfJung |
tree | commitdiff |
2019-08-06 |
Ralf Jung | go back to released xargo (the experiment is done) |
tree | commitdiff |
2019-08-05 |
bors | Auto merge of #889 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-05 |
Ralf Jung | rustup |
tree | commitdiff |
2019-08-05 |
bors | Auto merge of #888 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-05 |
Ralf Jung | fix for latest rustc |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #886 - Aaron1011:shim/getrandom, r=RalfJung |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Apply more formatting fixes |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Add trailing comma |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Cleanup formatting |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Shim 'libc::getrandom' in addition to 'libc::syscall... |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #884 - Aaron1011:fix/linux-getrandom... |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Replace match with expect() |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #887 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Add misssing 'roundf32' and 'roundf64' intrinsics |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Add semicolon |
tree | commitdiff |
2019-08-04 |
Aaron Hill | Do nothing when we try to generate random data of length 0 |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #883 - RalfJung:gen_random, r=RalfJung |
tree | commitdiff |
2019-08-04 |
Ralf Jung | gen_random helper: move ptr argument to front |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #876 - RalfJung:atomic, r=RalfJung |
tree | commitdiff |
2019-08-04 |
Ralf Jung | one more place -> ptr rename |
tree | commitdiff |
2019-08-04 |
Ralf Jung | places and pointers are not the same thing; this is... |
tree | commitdiff |
2019-08-04 |
Ralf Jung | check that atomics are sufficiently aligned, and add... |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung |
tree | commitdiff |
2019-08-04 |
Ralf Jung | use postfix negation instead of prefix |
tree | commitdiff |
2019-08-04 |
Ralf Jung | install xargo from git temporarily |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #881 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-03 |
Ralf Jung | test memalign contract (rustc is fixed) |
tree | commitdiff |
2019-08-03 |
Ralf Jung | adjust for rustc changes |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #877 - christianpoveda:ldexp-shim, r... |
tree | commitdiff |
2019-08-03 |
Christian Poveda | Formatting |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #880 - RalfJung:miri-rustc, r=RalfJung |
tree | commitdiff |
2019-08-03 |
Ralf Jung | set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap |
tree | commitdiff |
2019-08-03 |
Ralf Jung | annotate some unwraps with better messages |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #856 - RalfJung:type_dispatch_first,... |
tree | commitdiff |
2019-08-03 |
Ralf Jung | simplify code |
tree | commitdiff |
2019-08-03 |
Ralf Jung | implement all ptr comparisons through integer casts |
tree | commitdiff |
2019-08-03 |
Ralf Jung | adjust for ptr_op now being called type-based |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #879 - RalfJung:rustc-tests, r=RalfJung |
tree | commitdiff |
2019-08-03 |
Ralf Jung | also let bootstrap tell us where to find xargo |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #878 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-03 |
Ralf Jung | fix for error refactoring |
tree | commitdiff |
2019-08-02 |
Christian Poveda | Add shim for ldexp |
tree | commitdiff |
next |