2019-07-01 |
bors | Auto merge of #815 - RalfJung:memory-audit, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-01 |
bors | Auto merge of #814 - RalfJung:shims, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-01 |
bors | Auto merge of #816 - RalfJung:gitattr, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-01 |
Ralf Jung | be explicit about our line endings |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | move find_fn (which is not specific to foreign items... |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | don't call Memory::get without checking the pointer... |
commit | commitdiff | tree | snapshot |
2019-06-30 |
bors | Auto merge of #809 - RalfJung:intptrcast, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | test even more size-alignment combinations. found a... |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | fix minimal alignment for system allocation functions |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | add some tracing to intptrcast |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | move appveyor env var settings to more appropriate... |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | fix setting rustc flags |
commit | commitdiff | tree | snapshot |
2019-06-30 |
bors | Auto merge of #806 - varkor:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | Miri is not deterministic any more |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | use intptrcast for heap_allocator test; then it should... |
commit | commitdiff | tree | snapshot |
2019-06-30 |
bors | Auto merge of #807 - RalfJung:test-name, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | improve comment |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | better name for a test: threads -> sync |
commit | commitdiff | tree | snapshot |
2019-06-30 |
varkor | Fix `unused_must_use` inside `Box` |
commit | commitdiff | tree | snapshot |
2019-06-30 |
bors | Auto merge of #805 - RalfJung:shims, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | move shims (foreign items and intrinsics) into submodule |
commit | commitdiff | tree | snapshot |
2019-06-30 |
bors | Auto merge of #804 - RalfJung:intptrcast, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-30 |
Ralf Jung | fix comparing function pointers with intptrcast |
commit | commitdiff | tree | snapshot |
2019-06-30 |
bors | Auto merge of #801 - RalfJung:num_cpus, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-29 |
bors | Auto merge of #795 - RalfJung:intptrcast, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | move constants to machine.rs |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | comment on STACK_ADDR |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | support num_cpus and test that |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | make sure we catch alignment problems even with intrptrcast |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | don't compute residue twice |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | more sensible slack |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | tweak inttoptr allocation behavior |
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 |
next |