2019-07-24 |
bors | Auto merge of #854 - lzutao:warn-idioms, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-24 |
Lzu Tao | build: Warn if not use 2018 idioms |
commit | commitdiff | tree | snapshot |
2019-07-24 |
bors | Auto merge of #852 - lzutao:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-24 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
commit | commitdiff | tree | snapshot |
2019-07-24 |
Ralf Jung | explain better what is non-deterministic here |
commit | commitdiff | tree | snapshot |
2019-07-24 |
Lzu Tao | build: Fix build after rust-lang/rust#60951 |
commit | commitdiff | tree | snapshot |
2019-07-23 |
Ralf Jung | fix non-deterministic test |
commit | commitdiff | tree | snapshot |
2019-07-23 |
Ralf Jung | use checked arithmetic in intrptrcast |
commit | commitdiff | tree | snapshot |
2019-07-23 |
Ralf Jung | remove redundant tests / flags |
commit | commitdiff | tree | snapshot |
2019-07-23 |
Ralf Jung | review failing compile-fail tests |
commit | commitdiff | tree | snapshot |
2019-07-23 |
Ralf Jung | update miri-seed handling for run-pass test suite |
commit | commitdiff | tree | snapshot |
2019-07-23 |
Ralf Jung | make sure we always have an RNG |
commit | commitdiff | tree | snapshot |
2019-07-21 |
bors | Auto merge of #849 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Ralf Jung | bump rust |
commit | commitdiff | tree | snapshot |
2019-07-20 |
bors | Auto merge of #848 - RalfJung:rustc-tests, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-20 |
Ralf Jung | disable some compile-fail tests for rustc |
commit | commitdiff | tree | snapshot |
2019-07-19 |
bors | Auto merge of #847 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-19 |
Ralf Jung | fix miri-rustc-tests |
commit | commitdiff | tree | snapshot |
2019-07-19 |
Ralf Jung | fix for rustc_driver change |
commit | commitdiff | tree | snapshot |
2019-07-16 |
bors | Auto merge of #843 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Ralf Jung | fix compile-fail tests for latest rustc |
commit | commitdiff | tree | snapshot |
2019-07-14 |
bors | Auto merge of #840 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-14 |
Ralf Jung | update README about what we do not support |
commit | commitdiff | tree | snapshot |
2019-07-14 |
bors | Auto merge of #839 - RalfJung:noalloc, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-13 |
Ralf Jung | avoid unnecessary allocation |
commit | commitdiff | tree | snapshot |
2019-07-13 |
bors | Auto merge of #834 - jyn514:master, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-13 |
Joshua Nelson | Give a useful error message if user gives invalid rando... |
commit | commitdiff | tree | snapshot |
2019-07-13 |
bors | Auto merge of #836 - RalfJung:arrays, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-13 |
Ralf Jung | test some const-generic-using methods |
commit | commitdiff | tree | snapshot |
2019-07-11 |
bors | Auto merge of #833 - RalfJung:win, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-11 |
Ralf Jung | thread creation error for Windows |
commit | commitdiff | tree | snapshot |
2019-07-11 |
Ralf Jung | reenable all tests on Windows |
commit | commitdiff | tree | snapshot |
2019-07-11 |
bors | Auto merge of #830 - RalfJung:check-place, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-11 |
Ralf Jung | bump rust |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Ralf Jung | we do this these days |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Ralf Jung | bump rustc |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Ralf Jung | force pointers before reborrowing; fixes cargo miri... |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Ralf Jung | now we can also enable the ptr_int_cast test again |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Ralf Jung | adjust for rustc changes; normalize mplace before doing... |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Ralf Jung | ptr_offset works fine with intptrcast now |
commit | commitdiff | tree | snapshot |
2019-07-10 |
bors | Auto merge of #832 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Ralf Jung | bump rustc |
commit | commitdiff | tree | snapshot |
2019-07-10 |
bors | Auto merge of #831 - lzutao:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-10 |
Lzu Tao | Remove SliceConcatExt import |
commit | commitdiff | tree | snapshot |
2019-07-06 |
bors | Auto merge of #827 - lzutao:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-06 |
bors | Auto merge of #826 - RalfJung:uninit, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Lzu Tao | build: Revert update beta toolchain |
commit | commitdiff | tree | snapshot |
2019-07-06 |
lzutao | Remove stable cargo feature `default-run` |
commit | commitdiff | tree | snapshot |
2019-07-06 |
bors | Auto merge of #824 - RalfJung:c_str, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | use Memory::read_c_str, avoid a few to_ptr |
commit | commitdiff | tree | snapshot |
2019-07-06 |
bors | Auto merge of #808 - RalfJung:extra-fn, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | bump rustc |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | fix for changd machine trait signatures |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | adjust for get_fn signature change |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | gen_random: use check_ptr_access |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | move gen_random to helpers |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | bump the version of getrandom that we test |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | better error message when the program tries to spawn... |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | update to FnVal changes; implement basic Dlsym support... |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | uninit intrinsic is gone |
commit | commitdiff | tree | snapshot |
2019-07-06 |
bors | Auto merge of #799 - rust-lang:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | fix test using mem::uninitialized |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | fix unused variable warning |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | bump rustc |
commit | commitdiff | tree | snapshot |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
commit | commitdiff | tree | snapshot |
2019-07-05 |
bors | Auto merge of #817 - RalfJung:small-alloc, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | dangling-ptr-to-int should work now; move to noseed |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | bump rustc |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | rename InterpretCx -> InterpCx |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | align small malloc-allocations even less, and test... |
commit | commitdiff | tree | snapshot |
2019-07-05 |
bors | Auto merge of #803 - christianpoveda:intptrcast-explici... |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | temporarily disable validation on Windows |
commit | commitdiff | tree | snapshot |
2019-07-05 |
bors | Auto merge of #825 - RalfJung:no-null, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | temporarily disable intptrcast advanced testing on... |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | temporarily disable validation for 'cargo miri test... |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | fix deallocating/reallocating with integer pointers |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | fix NULL in TLS dtors |
commit | commitdiff | tree | snapshot |
2019-07-05 |
Ralf Jung | avoid Scalar::is_null_ptr, it is going away |
commit | commitdiff | tree | snapshot |
2019-07-04 |
Ralf Jung | temporarily disable ptr_offset, maybe that helps |
commit | commitdiff | tree | snapshot |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | move tls.rs into shims module |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Christian Poveda | Fix explicit cast test |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Christian Poveda | Update rust-version |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Christian Poveda | Add intptrcast test for explicit casts |
commit | commitdiff | tree | snapshot |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | avoid catching errors |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | make a test noseed for now that does not work with... |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | don't call Stacked Borrows hooks at all when validation... |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | support integers that can be cast to pointers in in... |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | we don't need zero-sized freeze-sensitive visiting |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | avoid integer overflow in ptr-to-int cast |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | allow dangling ptr-to-int casts; use force_bits for... |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | only treat integer operations as such |
commit | commitdiff | tree | snapshot |
2019-07-03 |
Ralf Jung | dont add the -Zmiri-seed flag twice |
commit | commitdiff | tree | snapshot |
2019-07-02 |
Ralf Jung | run all run-pass tests with intrptrcast. makes many... |
commit | commitdiff | tree | snapshot |
2019-07-02 |
bors | Auto merge of #819 - RalfJung:test-name, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-02 |
Ralf Jung | fix outdated test name: overalign -> align |
commit | commitdiff | tree | snapshot |
2019-07-02 |
bors | Auto merge of #818 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2019-07-02 |
Ralf Jung | add another bug we found to the list |
commit | commitdiff | tree | snapshot |
next |