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 | make sure we catch alignment problems even with intrptrcast |
tree | commitdiff |
2019-06-28 |
bors | Auto merge of #798 - RalfJung:format-ptr, r=RalfJung |
tree | commitdiff |
2019-06-28 |
Ralf Jung | test pointer string formatting |
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 |
bors | Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung |
tree | commitdiff |
2019-06-24 |
Ralf Jung | Apply suggestions from code review |
tree | commitdiff |
2019-06-24 |
Ralf Jung | expand and better explain alignment check tests |
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-21 |
Christian Poveda | Duplicate compile-fail tests for intptrcast |
tree | commitdiff |
2019-06-21 |
bors | Auto merge of #782 - RalfJung:generator, r=RalfJung |
tree | commitdiff |
2019-06-21 |
Ralf Jung | add a failing test where an immovable generator gets... |
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-20 |
Ralf Jung | Merge branch 'master' into rustup |
tree | commitdiff |
2019-06-20 |
Ralf Jung | Merge branch 'master' into patch-1 |
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 unchecked_rem |
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-14 |
Kenny Goodin | Add more missing math functions |
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 | test FMA a bit more |
tree | commitdiff |
2019-06-11 |
Ralf Jung | test more enum-int-cast code paths |
tree | commitdiff |
2019-06-11 |
Ralf Jung | implement min and max floating point intrinsics |
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-09 |
Ralf Jung | do not handle MIRI_SYSROOT in the driver at all, rely... |
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-04 |
Ralf Jung | Merge pull request #757 from RalfJung/test-ice |
tree | commitdiff |
2019-06-04 |
Ralf Jung | test for no-validation-only failure |
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 | test that we cannot access unescaped static memory... |
tree | commitdiff |
2019-06-02 |
Ralf Jung | fix existing tests |
tree | commitdiff |
2019-06-01 |
Ralf Jung | Merge pull request #759 from RalfJung/rustup |
tree | commitdiff |
2019-06-01 |
Ralf Jung | rustup for ... deprecation |
tree | commitdiff |
2019-05-30 |
Ralf Jung | Rustup (#752) |
tree | commitdiff |
2019-05-30 |
Ralf Jung | move fn_item/ptr tests to closures file |
tree | commitdiff |
2019-05-30 |
Ralf Jung | update for rustc warning about missing dyn |
tree | commitdiff |
2019-05-29 |
Ralf Jung | Merge pull request #751 from RalfJung/rc |
tree | commitdiff |
2019-05-29 |
Ralf Jung | test weak_into_raw |
tree | commitdiff |
2019-05-29 |
Ralf Jung | Merge branch 'master' into miri-build |
tree | commitdiff |
2019-05-28 |
Ralf Jung | update for rustc Scalar changes, test for pointer wrapp... |
tree | commitdiff |
2019-05-28 |
Ralf Jung | test for pointer wrapping ICE |
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 error pattern |
tree | commitdiff |
2019-05-21 |
Ralf Jung | Merge pull request #738 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-05-21 |
Ralf Jung | test for new read rules |
tree | commitdiff |
2019-05-21 |
Ralf Jung | Merge pull request #736 from rust-lang/rustup |
tree | commitdiff |
2019-05-21 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into master.2 |
tree | commitdiff |
2019-05-20 |
Ralf Jung | prepare for MaybeUninit stabilization |
tree | commitdiff |
2019-05-17 |
Ralf Jung | test and support two-phase reborrows of raw pointers... |
tree | commitdiff |
2019-05-17 |
Ralf Jung | give up on two-phase borrows |
tree | commitdiff |
2019-05-15 |
Ralf Jung | this also fixed our 2-phase woes |
tree | commitdiff |
2019-05-15 |
Ralf Jung | make writes act stack-like |
tree | commitdiff |
2019-05-15 |
Ralf Jung | Rustup (#723) |
tree | commitdiff |
2019-05-13 |
Ralf Jung | make HashMap test a bit nicer |
tree | commitdiff |
2019-05-02 |
Oliver Scherer | Merge pull request #720 from RalfJung/rustup |
tree | commitdiff |
2019-05-01 |
Ralf Jung | fix tests for latest Rust |
tree | commitdiff |
2019-04-30 |
Ralf Jung | Merge pull request #719 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-04-30 |
Ralf Jung | add arielby's example |
tree | commitdiff |
2019-04-22 |
Oliver Scherer | Merge pull request #702 from RalfJung/exit |
tree | commitdiff |
2019-04-22 |
Ralf Jung | Merge branch 'master' into exit |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Merge pull request #710 from RalfJung/travis |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Travis: test cargo miri on foreign arch |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Merge pull request #708 from RalfJung/alloc-tests |
tree | commitdiff |
2019-04-21 |
Ralf Jung | test System/Global allocator API: alloc_zeroed, realloc |
tree | commitdiff |
2019-04-21 |
Ralf Jung | fix compile-fail ref files |
tree | commitdiff |
2019-04-21 |
Ralf Jung | implement exit |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Merge branch 'master' into dev |
tree | commitdiff |
2019-04-19 |
Ralf Jung | Merge pull request #697 from RalfJung/linked-list |
tree | commitdiff |
2019-04-19 |
Ralf Jung | add LinkedList test and mention the bug Miri found... |
tree | commitdiff |
2019-04-19 |
Oliver Scherer | Merge pull request #699 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-04-19 |
Ralf Jung | test another version of 'creating a shared ref must... |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge pull request #698 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge branch 'master' into stacked-borrows-2 |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge pull request #696 from TimDiekmann/realloc |
tree | commitdiff |
2019-04-18 |
Tim Diekmann | Add handling for `nullptr` and `size == 0` |
tree | commitdiff |
2019-04-18 |
Ralf Jung | test that creating a 2nd mutable ref from a NonNull... |
tree | commitdiff |
2019-04-18 |
Tim Diekmann | Merge branch 'master' into realloc |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge pull request #695 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-04-17 |
Tim Diekmann | Add `realloc` |
tree | commitdiff |
2019-04-17 |
Ralf Jung | more tests -- also one showing why we are not done yet |
tree | commitdiff |
2019-04-17 |
Ralf Jung | add tests for fixes: sharing no longer leaks, and we... |
tree | commitdiff |
2019-04-17 |
Ralf Jung | barriers are dead, long live protectors -- this enables... |
tree | commitdiff |
2019-04-17 |
Ralf Jung | test creating two raw pointers from the same mutable ref |
tree | commitdiff |
2019-04-17 |
Ralf Jung | organize stacked borrows run-pass tests |
tree | commitdiff |
next |