2019-08-06 |
Christian Poveda | Add communicate field to evaluator and fix formatting |
blob | commitdiff | raw |
2019-08-05 |
bors | Auto merge of #889 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-05 |
Ralf Jung | rustup |
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 #856 - RalfJung:type_dispatch_first,... |
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 #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-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 | fix for changd machine trait signatures |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | better error message when the program tries to spawn... |
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 |
Ralf Jung | align small malloc-allocations even less, and test... |
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 #804 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-30 |
Ralf Jung | fix comparing function pointers with intptrcast |
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 | move constants to machine.rs |
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 |
|