2019-07-05 |
Ralf Jung | rename InterpretCx -> InterpCx |
tree | commitdiff |
2019-07-05 |
Ralf Jung | align small malloc-allocations even less, and test... |
tree | commitdiff |
2019-07-05 |
bors | Auto merge of #803 - christianpoveda:intptrcast-explici... |
tree | commitdiff |
2019-07-05 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2019-07-05 |
Ralf Jung | temporarily disable validation on Windows |
tree | commitdiff |
2019-07-05 |
bors | Auto merge of #825 - RalfJung:no-null, r=RalfJung |
tree | commitdiff |
2019-07-05 |
Ralf Jung | fix deallocating/reallocating with integer pointers |
tree | commitdiff |
2019-07-05 |
Ralf Jung | fix NULL in TLS dtors |
tree | commitdiff |
2019-07-05 |
Ralf Jung | avoid Scalar::is_null_ptr, it is going away |
tree | commitdiff |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
tree | commitdiff |
2019-07-03 |
Ralf Jung | move tls.rs into shims module |
tree | commitdiff |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
tree | commitdiff |
2019-07-03 |
Ralf Jung | avoid catching errors |
tree | commitdiff |
2019-07-03 |
Ralf Jung | don't call Stacked Borrows hooks at all when validation... |
tree | commitdiff |
2019-07-03 |
Ralf Jung | support integers that can be cast to pointers in in... |
tree | commitdiff |
2019-07-03 |
Ralf Jung | we don't need zero-sized freeze-sensitive visiting |
tree | commitdiff |
2019-07-03 |
Ralf Jung | avoid integer overflow in ptr-to-int cast |
tree | commitdiff |
2019-07-03 |
Ralf Jung | allow dangling ptr-to-int casts; use force_bits for... |
tree | commitdiff |
2019-07-03 |
Ralf Jung | only treat integer operations as such |
tree | commitdiff |
2019-07-01 |
bors | Auto merge of #815 - RalfJung:memory-audit, r=RalfJung |
tree | commitdiff |
2019-07-01 |
bors | Auto merge of #814 - RalfJung:shims, r=RalfJung |
tree | commitdiff |
2019-06-30 |
Ralf Jung | move find_fn (which is not specific to foreign items... |
tree | commitdiff |
2019-06-30 |
Ralf Jung | don't call Memory::get without checking the pointer... |
tree | commitdiff |
2019-06-30 |
bors | Auto merge of #809 - RalfJung:intptrcast, r=RalfJung |
tree | commitdiff |
2019-06-30 |
Ralf Jung | test even more size-alignment combinations. found a... |
tree | commitdiff |
2019-06-30 |
Ralf Jung | fix minimal alignment for system allocation functions |
tree | commitdiff |
2019-06-30 |
Ralf Jung | add some tracing to intptrcast |
tree | commitdiff |
2019-06-30 |
bors | Auto merge of #805 - RalfJung:shims, r=RalfJung |
tree | commitdiff |
2019-06-30 |
Ralf Jung | move shims (foreign items and intrinsics) into submodule |
tree | commitdiff |
2019-06-30 |
bors | Auto merge of #804 - RalfJung:intptrcast, r=RalfJung |
tree | commitdiff |
2019-06-30 |
Ralf Jung | fix comparing function pointers with intptrcast |
tree | commitdiff |
2019-06-30 |
bors | Auto merge of #801 - RalfJung:num_cpus, r=RalfJung |
tree | commitdiff |
2019-06-29 |
bors | Auto merge of #795 - RalfJung:intptrcast, r=RalfJung |
tree | commitdiff |
2019-06-29 |
Ralf Jung | move constants to machine.rs |
tree | commitdiff |
2019-06-29 |
Ralf Jung | comment on STACK_ADDR |
tree | commitdiff |
2019-06-29 |
Ralf Jung | support num_cpus and test that |
tree | commitdiff |
2019-06-29 |
Ralf Jung | don't compute residue twice |
tree | commitdiff |
2019-06-29 |
Ralf Jung | more sensible slack |
tree | commitdiff |
2019-06-29 |
Ralf Jung | tweak inttoptr allocation behavior |
tree | commitdiff |
2019-06-29 |
bors | Auto merge of #802 - RalfJung:machine, r=RalfJung |
tree | commitdiff |
2019-06-29 |
Ralf Jung | move most of the stuff from lib.rs into machine.rs... |
tree | commitdiff |
2019-06-28 |
bors | Auto merge of #794 - RalfJung:alignment-sanity, r=oli-obk |
tree | commitdiff |
2019-06-28 |
Ralf Jung | ptr-to-int alignment sanity check |
tree | commitdiff |
2019-06-26 |
bors | Auto merge of #779 - christianpoveda:intptrcast-model... |
tree | commitdiff |
2019-06-26 |
Christian Poveda | Fix alignment of base addresses |
tree | commitdiff |
2019-06-25 |
Christian Poveda | Fix merge conflicts |
tree | commitdiff |
2019-06-24 |
Christian Poveda | Reorganize MemoryExtra and AllocExtra structures |
tree | commitdiff |
2019-06-24 |
bors | Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung |
tree | commitdiff |
2019-06-24 |
Christian Poveda | Rename new fields and move rng to MemoryExtra |
tree | commitdiff |
2019-06-24 |
Ralf Jung | Apply suggestions from code review |
tree | commitdiff |
2019-06-23 |
Ralf Jung | de-obfuscate ptr comparison a bit |
tree | commitdiff |
2019-06-23 |
Ralf Jung | adjust for refactored memory pointer checks |
tree | commitdiff |
2019-06-22 |
Christian Poveda | Force intptrcast for binary operations |
tree | commitdiff |
2019-06-22 |
bors | Auto merge of #783 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-06-22 |
Ralf Jung | fix compilation with latest rustc |
tree | commitdiff |
2019-06-21 |
Christian Poveda | Implement intptrcast methods |
tree | commitdiff |
2019-06-21 |
Ralf Jung | Merge pull request #778 from christianpoveda/master |
tree | commitdiff |
2019-06-21 |
Oliver Scherer | Merge branch 'master' into master |
tree | commitdiff |
2019-06-21 |
Ralf Jung | Merge pull request #777 from RalfJung/rustup |
tree | commitdiff |
2019-06-21 |
Christian Poveda | Merge branch 'master' into master |
tree | commitdiff |
2019-06-20 |
Christian Poveda | Update tag methods to match Machine changes |
tree | commitdiff |
2019-06-20 |
Ralf Jung | Merge branch 'master' into rustup |
tree | commitdiff |
2019-06-20 |
Ralf Jung | Merge pull request #774 from soc/patch-1 |
tree | commitdiff |
2019-06-20 |
Ralf Jung | Merge branch 'master' into patch-1 |
tree | commitdiff |
2019-06-20 |
Ralf Jung | use org.rust-lang.miri folder on macOS |
tree | commitdiff |
2019-06-20 |
Ralf Jung | allow some inequality comparisons between pointers... |
tree | commitdiff |
2019-06-17 |
Oliver Scherer | Merge pull request #776 from RalfJung/intrinsics |
tree | commitdiff |
2019-06-16 |
Ralf Jung | implement and test unchecked_{add,sub,mul} intrinsics |
tree | commitdiff |
2019-06-16 |
Ralf Jung | test exact_div UB detection |
tree | commitdiff |
2019-06-16 |
Ralf Jung | Merge pull request #771 from kennethbgoodin/foreign_mat... |
tree | commitdiff |
2019-06-16 |
Ralf Jung | Merge branch 'master' into foreign_math_functions |
tree | commitdiff |
2019-06-16 |
Ralf Jung | Merge pull request #775 from rust-lang/rustup |
tree | commitdiff |
2019-06-15 |
soc | Fix project dirs path |
tree | commitdiff |
2019-06-14 |
Lzu Tao | Fix wrong lifetime of TyCtxt |
tree | commitdiff |
2019-06-14 |
Ralf Jung | Merge pull request #772 from RalfJung/sysroot |
tree | commitdiff |
2019-06-14 |
Ralf Jung | fix running a Miri that was built in bootstrap |
tree | commitdiff |
2019-06-14 |
Ralf Jung | change sysroot check to print the output in case of... |
tree | commitdiff |
2019-06-14 |
Oliver Scherer | Fix indentation |
tree | commitdiff |
2019-06-14 |
Kenny Goodin | Add more missing math functions |
tree | commitdiff |
2019-06-13 |
Ralf Jung | Merge pull request #769 from RalfJung/rustup |
tree | commitdiff |
2019-06-13 |
Ralf Jung | rustup for lifetime refactorings |
tree | commitdiff |
2019-06-12 |
Ralf Jung | Merge pull request #763 from kennethbgoodin/fix_cmath_f... |
tree | commitdiff |
2019-06-12 |
Kenny Goodin | Implement cbrt and hypot function calls |
tree | commitdiff |
2019-06-11 |
Ralf Jung | Merge pull request #764 from RalfJung/minmax |
tree | commitdiff |
2019-06-11 |
Ralf Jung | use apfloat's FMA primitive |
tree | commitdiff |
2019-06-11 |
Ralf Jung | implement min and max floating point intrinsics |
tree | commitdiff |
2019-06-11 |
Ralf Jung | fix from to/from f32/f64 changes |
tree | commitdiff |
2019-06-11 |
Ralf Jung | Merge pull request #766 from RalfJung/sysroot |
tree | commitdiff |
2019-06-11 |
Ralf Jung | Merge branch 'master' into sysroot |
tree | commitdiff |
2019-06-10 |
Ralf Jung | Merge pull request #767 from RalfJung/rustup |
tree | commitdiff |
2019-06-10 |
Ralf Jung | fix for rustc rename mir -> body |
tree | commitdiff |
2019-06-09 |
Ralf Jung | factor out common code to determine miri binary |
tree | commitdiff |
2019-06-09 |
Ralf Jung | fix comments |
tree | commitdiff |
2019-06-09 |
Ralf Jung | do not handle MIRI_SYSROOT in the driver at all, rely... |
tree | commitdiff |
2019-06-09 |
Ralf Jung | don't have both MIRI_SYSROOT and --sysroot |
tree | commitdiff |
2019-06-09 |
Ralf Jung | explain why we always set a sysroot; make sure we error... |
tree | commitdiff |
2019-06-09 |
Ralf Jung | remove outdated sysroot management |
tree | commitdiff |
2019-06-09 |
Ralf Jung | cargo miri: make sure we see the same sysroot for rustc... |
tree | commitdiff |
2019-06-08 |
Ralf Jung | Merge pull request #765 from RalfJung/rustup |
tree | commitdiff |
2019-06-08 |
Ralf Jung | rustup for EvalResult rename |
tree | commitdiff |
next |