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 |
2019-06-06 |
Oliver Scherer | Merge pull request #761 from ecstatic-morse/type-name |
tree | commitdiff |
2019-06-06 |
Dylan MacKenzie | Use in-core implementation of `type_name`. |
tree | commitdiff |
2019-06-03 |
Ralf Jung | remove too expensive debug assertion (#755) |
tree | commitdiff |
2019-06-03 |
Ralf Jung | Merge branch 'master' into debug |
tree | commitdiff |
2019-06-02 |
Ralf Jung | Tag static/const allocations (#748) |
tree | commitdiff |
2019-06-02 |
Ralf Jung | use new rustc infrastructure to tag the base pointer... |
tree | commitdiff |
2019-05-31 |
Ralf Jung | remove too expensive debug assertion |
tree | commitdiff |
2019-05-29 |
Ralf Jung | Merge branch 'master' into miri-build |
tree | commitdiff |
2019-05-29 |
Ralf Jung | fix for rustc changes (#749) |
tree | commitdiff |
2019-05-29 |
Ralf Jung | fix for rustc changes |
tree | commitdiff |
2019-05-28 |
Ralf Jung | update for rustc Scalar changes, test for pointer wrapp... |
tree | commitdiff |
2019-05-28 |
Ralf Jung | adjust for rustc changes |
tree | commitdiff |
2019-05-28 |
Ralf Jung | add Miri build script (#745) |
tree | commitdiff |
2019-05-27 |
Ralf Jung | Merge branch 'master' into miri-build |
tree | commitdiff |
2019-05-27 |
Ralf Jung | fix for latest rustc (#746) |
tree | commitdiff |
2019-05-27 |
Ralf Jung | fix for latest rustc |
tree | commitdiff |
2019-05-27 |
Ralf Jung | make miri script smarter: auto-determine MIRI_SYSROOT... |
tree | commitdiff |
2019-05-24 |
Oliver Scherer | Merge pull request #742 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-05-24 |
Ralf Jung | avoid printing the tag twice |
tree | commitdiff |
2019-05-24 |
Ralf Jung | avoid having both Debug and Display for a type and... |
tree | commitdiff |
2019-05-23 |
Ralf Jung | Merge pull request #741 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-05-23 |
Ralf Jung | use prettier printing |
tree | commitdiff |
2019-05-23 |
Ralf Jung | Merge pull request #740 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-05-23 |
Ralf Jung | hopefully improve error message a bit |
tree | commitdiff |
2019-05-19 |
Ralf Jung | Merge pull request #732 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-05-19 |
Ralf Jung | typo |
tree | commitdiff |
2019-05-19 |
Ralf Jung | Use `drain` instead of manually rolling it ourselves... |
tree | commitdiff |
2019-05-19 |
Oliver Scherer | Prefer `drain` over manual implementation of `drain` |
tree | commitdiff |
2019-05-17 |
Oliver Scherer | Merge pull request #730 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-05-17 |
Ralf Jung | nits |
tree | commitdiff |
next |