2019-06-29 |
Ralf Jung | support num_cpus and test that |
commit | commitdiff | tree | snapshot |
2019-06-29 |
bors | Auto merge of #802 - RalfJung:machine, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | move most of the stuff from lib.rs into machine.rs... |
commit | commitdiff | tree | snapshot |
2019-06-28 |
bors | Auto merge of #798 - RalfJung:format-ptr, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-28 |
Ralf Jung | test pointer string formatting |
commit | commitdiff | tree | snapshot |
2019-06-28 |
bors | Auto merge of #796 - RalfJung:rand, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-28 |
Ralf Jung | bump rand to released 0.7 |
commit | commitdiff | tree | snapshot |
2019-06-28 |
bors | Auto merge of #794 - RalfJung:alignment-sanity, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-06-28 |
Ralf Jung | ptr-to-int alignment sanity check |
commit | commitdiff | tree | snapshot |
2019-06-28 |
bors | Auto merge of #793 - jyn514:master, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-28 |
Joshua Nelson | Show usage if run without arguments |
commit | commitdiff | tree | snapshot |
2019-06-26 |
bors | Auto merge of #779 - christianpoveda:intptrcast-model... |
commit | commitdiff | tree | snapshot |
2019-06-26 |
Christian Poveda | Fix alignment of base addresses |
commit | commitdiff | tree | snapshot |
2019-06-25 |
bors | Auto merge of #790 - RalfJung:readme, r=oli-obk |
commit | commitdiff | tree | snapshot |
2019-06-25 |
Ralf Jung | add snippet for running Miri on CI |
commit | commitdiff | tree | snapshot |
2019-06-25 |
Christian Poveda | Fix merge conflicts |
commit | commitdiff | tree | snapshot |
2019-06-24 |
Christian Poveda | Reorganize MemoryExtra and AllocExtra structures |
commit | commitdiff | tree | snapshot |
2019-06-24 |
bors | Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-24 |
Ralf Jung | bump Rust commit |
commit | commitdiff | tree | snapshot |
2019-06-24 |
Christian Poveda | Rename new fields and move rng to MemoryExtra |
commit | commitdiff | tree | snapshot |
2019-06-24 |
Ralf Jung | Apply suggestions from code review |
commit | commitdiff | tree | snapshot |
2019-06-24 |
Ralf Jung | expand and better explain alignment check tests |
commit | commitdiff | tree | snapshot |
2019-06-23 |
Ralf Jung | de-obfuscate ptr comparison a bit |
commit | commitdiff | tree | snapshot |
2019-06-23 |
Ralf Jung | adjust for refactored memory pointer checks |
commit | commitdiff | tree | snapshot |
2019-06-22 |
Christian Poveda | Force intptrcast for binary operations |
commit | commitdiff | tree | snapshot |
2019-06-22 |
bors | Auto merge of #783 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-22 |
bors | Auto merge of #784 - RalfJung:ci, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-22 |
Ralf Jung | also run tests for cron jobs |
commit | commitdiff | tree | snapshot |
2019-06-22 |
Ralf Jung | fix compilation with latest rustc |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Christian Poveda | Duplicate compile-fail tests for intptrcast |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Christian Poveda | Implement intptrcast methods |
commit | commitdiff | tree | snapshot |
2019-06-21 |
bors | Auto merge of #782 - RalfJung:generator, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Ralf Jung | add a failing test where an immovable generator gets... |
commit | commitdiff | tree | snapshot |
2019-06-21 |
bors | Auto merge of #780 - RalfJung:ci, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Ralf Jung | fix Travis bors branch names |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Ralf Jung | AppVeyor: only run on bors branches |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Ralf Jung | Travis: also run on bors branches, and not on master |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Ralf Jung | Merge pull request #778 from christianpoveda/master |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Oliver Scherer | Merge branch 'master' into master |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Oliver Scherer | Update rust-version |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Ralf Jung | Merge pull request #777 from RalfJung/rustup |
commit | commitdiff | tree | snapshot |
2019-06-21 |
Christian Poveda | Merge branch 'master' into master |
commit | commitdiff | tree | snapshot |
2019-06-20 |
Christian Poveda | Update tag methods to match Machine changes |
commit | commitdiff | tree | snapshot |
2019-06-20 |
Ralf Jung | Merge branch 'master' into rustup |
commit | commitdiff | tree | snapshot |
2019-06-20 |
Ralf Jung | Merge pull request #774 from soc/patch-1 |
commit | commitdiff | tree | snapshot |
2019-06-20 |
Ralf Jung | Merge branch 'master' into patch-1 |
commit | commitdiff | tree | snapshot |
2019-06-20 |
Ralf Jung | use org.rust-lang.miri folder on macOS |
commit | commitdiff | tree | snapshot |
2019-06-20 |
Ralf Jung | allow some inequality comparisons between pointers... |
commit | commitdiff | tree | snapshot |
2019-06-20 |
Ralf Jung | bump Rust, no changes needed |
commit | commitdiff | tree | snapshot |
2019-06-17 |
Oliver Scherer | Merge pull request #776 from RalfJung/intrinsics |
commit | commitdiff | tree | snapshot |
2019-06-16 |
Ralf Jung | implement and test unchecked_{add,sub,mul} intrinsics |
commit | commitdiff | tree | snapshot |
2019-06-16 |
Ralf Jung | test unchecked_rem |
commit | commitdiff | tree | snapshot |
2019-06-16 |
Ralf Jung | test exact_div UB detection |
commit | commitdiff | tree | snapshot |
2019-06-16 |
Ralf Jung | Merge pull request #771 from kennethbgoodin/foreign_mat... |
commit | commitdiff | tree | snapshot |
2019-06-16 |
Ralf Jung | Merge branch 'master' into foreign_math_functions |
commit | commitdiff | tree | snapshot |
2019-06-16 |
Ralf Jung | Merge pull request #775 from rust-lang/rustup |
commit | commitdiff | tree | snapshot |
2019-06-16 |
Ralf Jung | bump rustc yet again |
commit | commitdiff | tree | snapshot |
2019-06-15 |
soc | Fix project dirs path |
commit | commitdiff | tree | snapshot |
2019-06-14 |
Lzu Tao | Fix wrong lifetime of TyCtxt |
commit | commitdiff | tree | snapshot |
2019-06-14 |
Ralf Jung | Merge pull request #772 from RalfJung/sysroot |
commit | commitdiff | tree | snapshot |
2019-06-14 |
Ralf Jung | fix running a Miri that was built in bootstrap |
commit | commitdiff | tree | snapshot |
2019-06-14 |
Ralf Jung | change sysroot check to print the output in case of... |
commit | commitdiff | tree | snapshot |
2019-06-14 |
Oliver Scherer | Fix indentation |
commit | commitdiff | tree | snapshot |
2019-06-14 |
Kenny Goodin | Add more missing math functions |
commit | commitdiff | tree | snapshot |
2019-06-13 |
Ralf Jung | Merge pull request #769 from RalfJung/rustup |
commit | commitdiff | tree | snapshot |
2019-06-13 |
Ralf Jung | rustup for lifetime refactorings |
commit | commitdiff | tree | snapshot |
2019-06-13 |
Ralf Jung | README: mention to cargo update, mention rustup-toolcha... |
commit | commitdiff | tree | snapshot |
2019-06-12 |
Ralf Jung | Merge pull request #763 from kennethbgoodin/fix_cmath_f... |
commit | commitdiff | tree | snapshot |
2019-06-12 |
Kenny Goodin | Implement cbrt and hypot function calls |
commit | commitdiff | tree | snapshot |
2019-06-12 |
Ralf Jung | Merge pull request #701 from RalfJung/rand |
commit | commitdiff | tree | snapshot |
2019-06-12 |
Ralf Jung | bump rand so that the test passes |
commit | commitdiff | tree | snapshot |
2019-06-12 |
Ralf Jung | test rand a bit more |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | Merge pull request #764 from RalfJung/minmax |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | bump Rust version |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | test FMA a bit more |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | test more enum-int-cast code paths |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | use apfloat's FMA primitive |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | implement min and max floating point intrinsics |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | fix from to/from f32/f64 changes |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | Merge pull request #766 from RalfJung/sysroot |
commit | commitdiff | tree | snapshot |
2019-06-11 |
Ralf Jung | Merge branch 'master' into sysroot |
commit | commitdiff | tree | snapshot |
2019-06-10 |
Ralf Jung | Merge pull request #767 from RalfJung/rustup |
commit | commitdiff | tree | snapshot |
2019-06-10 |
Ralf Jung | fix for rustc rename mir -> body |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | factor out common code to determine miri binary |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | make sure that find_sysroot always sets MIRI_SYSROOT |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | fix comments |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | do not handle MIRI_SYSROOT in the driver at all, rely... |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | don't have both MIRI_SYSROOT and --sysroot |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | explain why we always set a sysroot; make sure we error... |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | remove outdated sysroot management |
commit | commitdiff | tree | snapshot |
2019-06-09 |
Ralf Jung | cargo miri: make sure we see the same sysroot for rustc... |
commit | commitdiff | tree | snapshot |
2019-06-08 |
Ralf Jung | Merge pull request #765 from RalfJung/rustup |
commit | commitdiff | tree | snapshot |
2019-06-08 |
Ralf Jung | rustup for EvalResult rename |
commit | commitdiff | tree | snapshot |
2019-06-06 |
Oliver Scherer | Merge pull request #761 from ecstatic-morse/type-name |
commit | commitdiff | tree | snapshot |
2019-06-06 |
Dylan MacKenzie | Use in-core implementation of `type_name`. |
commit | commitdiff | tree | snapshot |
2019-06-04 |
Ralf Jung | Merge pull request #757 from RalfJung/test-ice |
commit | commitdiff | tree | snapshot |
2019-06-04 |
Ralf Jung | bump Rust |
commit | commitdiff | tree | snapshot |
2019-06-04 |
Ralf Jung | test for no-validation-only failure |
commit | commitdiff | tree | snapshot |
2019-06-03 |
Ralf Jung | remove too expensive debug assertion (#755) |
commit | commitdiff | tree | snapshot |
2019-06-03 |
Ralf Jung | Merge branch 'master' into debug |
commit | commitdiff | tree | snapshot |
next |