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 |
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 |
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 | Merge branch 'master' into rustup |
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 |
Ralf Jung | Merge branch 'master' into rustup |
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 |
Ralf Jung | some module comments |
commit | commitdiff | tree | snapshot |
2019-06-29 |
Ralf Jung | Merge remote-tracking branch 'ralf/machine' into rustup |
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 |
Christian Poveda | Remove default derive for MemoryExtra |
commit | commitdiff | tree | snapshot |
2019-06-26 |
Christian Poveda | Initialize MemoryExtra with StdRng |
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 |
next |