| 2019-08-06 |
Christian Poveda | Add communicate field to evaluator and fix formatting |
blob | commitdiff | raw |
| 2019-08-06 |
Christian Poveda | Add flag to enable communication |
blob | commitdiff | raw | diff to current |
| 2019-08-04 |
bors | Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-08-03 |
bors | Auto merge of #881 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-08-03 |
Ralf Jung | adjust for rustc changes |
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 #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 #854 - lzutao:warn-idioms, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-24 |
Lzu Tao | build: Warn if not use 2018 idioms |
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-23 |
Ralf Jung | make sure we always have an RNG |
blob | commitdiff | raw | diff to current |
| 2019-07-21 |
bors | Auto merge of #849 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-21 |
Ralf Jung | bump rust |
blob | commitdiff | raw | diff to current |
| 2019-07-11 |
bors | Auto merge of #833 - RalfJung:win, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-11 |
Ralf Jung | reenable all tests on Windows |
blob | commitdiff | raw | diff to current |
| 2019-07-11 |
bors | Auto merge of #830 - RalfJung:check-place, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-10 |
Ralf Jung | we do this these days |
blob | commitdiff | raw | diff to current |
| 2019-07-10 |
Ralf Jung | adjust for rustc changes; normalize mplace before doing... |
blob | commitdiff | raw | diff to current |
| 2019-07-06 |
bors | Auto merge of #826 - RalfJung:uninit, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-06 |
bors | Auto merge of #808 - RalfJung:extra-fn, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-06 |
Ralf Jung | update to FnVal changes; implement basic Dlsym support... |
blob | commitdiff | raw | diff to current |
| 2019-07-06 |
bors | Auto merge of #799 - rust-lang:rustup, r=RalfJung |
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-05 |
bors | Auto merge of #817 - RalfJung:small-alloc, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-07-05 |
Ralf Jung | rename InterpretCx -> InterpCx |
blob | commitdiff | raw | diff to current |
| 2019-07-05 |
bors | Auto merge of #803 - christianpoveda:intptrcast-explici... |
blob | commitdiff | raw | diff to current |
| 2019-07-05 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
| 2019-07-05 |
Ralf Jung | temporarily disable validation on Windows |
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 | don't call Stacked Borrows hooks at all when validation... |
blob | commitdiff | raw | diff to current |
| 2019-07-01 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
| 2019-06-30 |
bors | Auto merge of #801 - RalfJung:num_cpus, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-06-29 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
| 2019-06-29 |
bors | Auto merge of #795 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
| 2019-06-29 |
Ralf Jung | tweak inttoptr allocation behavior |
blob | commitdiff | raw | diff to current |
| 2019-06-29 |
Ralf Jung | some module comments |
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 |
|
projects / rust.git / history