2019-08-29 |
Christian Poveda | Small corrections |
commit | commitdiff | tree | snapshot |
2019-08-28 |
Christian Poveda | Add env exclusion test |
commit | commitdiff | tree | snapshot |
2019-08-28 |
Christian Poveda | Exclude env vars using flag |
commit | commitdiff | tree | snapshot |
2019-08-28 |
Christian Poveda | Add -Zmiri-env-exclude flag |
commit | commitdiff | tree | snapshot |
2019-08-28 |
bors | Auto merge of #930 - RalfJung:build, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-28 |
Ralf Jung | more implicit |
commit | commitdiff | tree | snapshot |
2019-08-28 |
Ralf Jung | test that build scripts do not run in Miri |
commit | commitdiff | tree | snapshot |
2019-08-27 |
bors | Auto merge of #925 - christianpoveda:environ-shim,... |
commit | commitdiff | tree | snapshot |
2019-08-27 |
Christian Poveda | Add docs |
commit | commitdiff | tree | snapshot |
2019-08-27 |
bors | Auto merge of #927 - RalfJung:getrandom, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-27 |
Ralf Jung | explicitly enable getrandom/std feature |
commit | commitdiff | tree | snapshot |
2019-08-27 |
bors | Auto merge of #917 - RalfJung:isolation, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-08-27 |
bors | Auto merge of #926 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-27 |
Ralf Jung | hashmap ICEs with optimizations, temporarily disable |
commit | commitdiff | tree | snapshot |
2019-08-27 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2019-08-26 |
Christian Poveda | Write name and value for each env var |
commit | commitdiff | tree | snapshot |
2019-08-26 |
bors | Auto merge of #924 - RalfJung:getrandom, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-26 |
Ralf Jung | decrease getrandom version so that we dont have to... |
commit | commitdiff | tree | snapshot |
2019-08-26 |
bors | Auto merge of #922 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-26 |
Ralf Jung | bump Rust and xargo |
commit | commitdiff | tree | snapshot |
2019-08-26 |
bors | Auto merge of #921 - RalfJung:cargo-update, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-26 |
Ralf Jung | cargo update |
commit | commitdiff | tree | snapshot |
2019-08-23 |
Ralf Jung | test host randomness access |
commit | commitdiff | tree | snapshot |
2019-08-23 |
Ralf Jung | change flag name: enable-communication -> disable-isolation |
commit | commitdiff | tree | snapshot |
2019-08-23 |
bors | Auto merge of #914 - christianpoveda:use-host-rng,... |
commit | commitdiff | tree | snapshot |
2019-08-21 |
bors | Auto merge of #915 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-21 |
Ralf Jung | bump Rust |
commit | commitdiff | tree | snapshot |
2019-08-20 |
Christian Poveda | Update -Zmiri-enable-communication docs |
commit | commitdiff | tree | snapshot |
2019-08-20 |
Christian Poveda | Use err_unsup_format instead |
commit | commitdiff | tree | snapshot |
2019-08-20 |
bors | Auto merge of #837 - RalfJung:arrays, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-20 |
Ralf Jung | bump Rust |
commit | commitdiff | tree | snapshot |
2019-08-20 |
Ralf Jung | test arrray try_from (interesting const generic usage) |
commit | commitdiff | tree | snapshot |
2019-08-19 |
Christian Poveda | Use host's rng when communication is enabled |
commit | commitdiff | tree | snapshot |
2019-08-18 |
bors | Auto merge of #913 - RalfJung:uninit, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-18 |
Ralf Jung | test some new uninit APIs |
commit | commitdiff | tree | snapshot |
2019-08-18 |
bors | Auto merge of #912 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-18 |
Ralf Jung | fix test failure due to my own lint |
commit | commitdiff | tree | snapshot |
2019-08-18 |
bors | Auto merge of #911 - RalfJung:typed-op, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-18 |
Ralf Jung | update Rust |
commit | commitdiff | tree | snapshot |
2019-08-18 |
Ralf Jung | adjust for typed binary/unary_op |
commit | commitdiff | tree | snapshot |
2019-08-15 |
bors | Auto merge of #859 - RalfJung:cargo, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | rustup update |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | travis: do not install cargo from master |
commit | commitdiff | tree | snapshot |
2019-08-15 |
bors | Auto merge of #909 - RalfJung:deny-warn, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | fix warning |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | deny warnings on CI |
commit | commitdiff | tree | snapshot |
2019-08-15 |
bors | Auto merge of #863 - RalfJung:deref-checks, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | bump Rust |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | remove dead code |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | adjust for fn rename |
commit | commitdiff | tree | snapshot |
2019-08-15 |
Ralf Jung | adjust tests for eager pointer checks on deref |
commit | commitdiff | tree | snapshot |
2019-08-15 |
bors | Auto merge of #907 - christianpoveda:env-vars-shim... |
commit | commitdiff | tree | snapshot |
2019-08-14 |
Christian Poveda | Delegate writing to emulate_foreign_item |
commit | commitdiff | tree | snapshot |
2019-08-14 |
Christian Poveda | Move env shims to its own module |
commit | commitdiff | tree | snapshot |
2019-08-14 |
bors | Auto merge of #894 - christianpoveda:env-vars-communica... |
commit | commitdiff | tree | snapshot |
2019-08-14 |
Christian Poveda | Remove tcx parameter for EnvVars::alloc_env_value |
commit | commitdiff | tree | snapshot |
2019-08-14 |
Christian Poveda | Rename export for shims::env::EnvVars |
commit | commitdiff | tree | snapshot |
2019-08-13 |
Christian Poveda | Test env isolation |
commit | commitdiff | tree | snapshot |
2019-08-13 |
Christian Poveda | Reorganize shims::env::EnvVars |
commit | commitdiff | tree | snapshot |
2019-08-13 |
Christian Poveda | Move test env var to test_runner |
commit | commitdiff | tree | snapshot |
2019-08-13 |
Christian Poveda | Wrap hashmap for env vars in its own type |
commit | commitdiff | tree | snapshot |
2019-08-13 |
bors | Auto merge of #906 - RalfJung:tls, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-13 |
Ralf Jung | make TLS state private to TLS module |
commit | commitdiff | tree | snapshot |
2019-08-12 |
bors | Auto merge of #904 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-12 |
Ralf Jung | it's called RUSTC_CTFE_BACKTRACE now |
commit | commitdiff | tree | snapshot |
2019-08-10 |
bors | Auto merge of #902 - RalfJung:ldexp, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-10 |
Ralf Jung | typo |
commit | commitdiff | tree | snapshot |
2019-08-10 |
Ralf Jung | ldexp: test overflow behavior |
commit | commitdiff | tree | snapshot |
2019-08-10 |
Ralf Jung | clamp ldexp exponent to i16 |
commit | commitdiff | tree | snapshot |
2019-08-10 |
Ralf Jung | also support scalbn itself |
commit | commitdiff | tree | snapshot |
2019-08-09 |
bors | Auto merge of #899 - RalfJung:generators, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-09 |
Ralf Jung | use apfloat for ldexp |
commit | commitdiff | tree | snapshot |
2019-08-09 |
bors | Auto merge of #901 - RalfJung:protected, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-09 |
Ralf Jung | test that even &Cell must be dereferencable |
commit | commitdiff | tree | snapshot |
2019-08-09 |
bors | Auto merge of #900 - RalfJung:miri, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-09 |
Ralf Jung | local rustc builds now also need a sysroot built |
commit | commitdiff | tree | snapshot |
2019-08-09 |
Ralf Jung | bump Rust version |
commit | commitdiff | tree | snapshot |
2019-08-09 |
Ralf Jung | add async fn with partial initialization |
commit | commitdiff | tree | snapshot |
2019-08-09 |
Ralf Jung | simplify async-fn tests |
commit | commitdiff | tree | snapshot |
2019-08-09 |
Ralf Jung | test generator that yields during initialization of... |
commit | commitdiff | tree | snapshot |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
commit | commitdiff | tree | snapshot |
2019-08-08 |
bors | Auto merge of #898 - christianpoveda:master, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-08 |
Christian Poveda | Use ldexp from cmath instead |
commit | commitdiff | tree | snapshot |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
commit | commitdiff | tree | snapshot |
2019-08-08 |
bors | Auto merge of #897 - RalfJung:xargo, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-08 |
Ralf Jung | bump xargo version |
commit | commitdiff | tree | snapshot |
2019-08-07 |
Tyler Mandry | Add generator, async tests with uninhabited saved local |
commit | commitdiff | tree | snapshot |
2019-08-07 |
Christian Poveda | Fix formatting |
commit | commitdiff | tree | snapshot |
2019-08-07 |
Christian Poveda | Add env var test variable in compiletest |
commit | commitdiff | tree | snapshot |
2019-08-07 |
bors | Auto merge of #895 - RalfJung:uninit, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-08-07 |
Ralf Jung | Revert "uninit intrinsic is gone" |
commit | commitdiff | tree | snapshot |
2019-08-06 |
Christian Poveda | Add support for env communication |
commit | commitdiff | tree | snapshot |
2019-08-06 |
Christian Poveda | Update readme |
commit | commitdiff | tree | snapshot |
2019-08-06 |
bors | Auto merge of #893 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-06 |
Christian Poveda | Add communicate field to evaluator and fix formatting |
commit | commitdiff | tree | snapshot |
2019-08-06 |
Christian Poveda | Add flag to enable communication |
commit | commitdiff | tree | snapshot |
2019-08-06 |
Ralf Jung | mention that we get the toolchain right |
commit | commitdiff | tree | snapshot |
2019-08-06 |
bors | Auto merge of #891 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-08-06 |
Ralf Jung | test-cargo-miri: cargo update |
commit | commitdiff | tree | snapshot |
2019-08-06 |
bors | Auto merge of #890 - RalfJung:xargo, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |