]> git.lizzy.rs Git - rust.git/history - src
warn when cargo miri setup does not do anything
[rust.git] / src /
2019-04-19 Ralf Jungwarn when cargo miri setup does not do anything
2019-04-19 Oliver SchererMerge pull request #699 from RalfJung/stacked-borrows-2
2019-04-19 Ralf Jungtwo-phase-borrow comment
2019-04-18 Ralf JungMerge pull request #698 from RalfJung/stacked-borrows-2
2019-04-18 Ralf JungMerge branch 'master' into stacked-borrows-2
2019-04-18 Ralf JungMerge pull request #696 from TimDiekmann/realloc
2019-04-18 Ralf Jungremove some unneeded 'extern crate'
2019-04-18 Tim DiekmannAdd handling for `nullptr` and `size == 0`
2019-04-18 Tim DiekmannFix for latest upstream update
2019-04-18 Tim DiekmannMerge branch 'master' into realloc
2019-04-18 Ralf JungMerge pull request #695 from RalfJung/stacked-borrows-2
2019-04-17 Tim DiekmannAdd `realloc`
2019-04-17 Ralf Jungembrace find_map and some whitespace changes
2019-04-17 Oliver SchererApply suggestions from code review
2019-04-17 Ralf Jungbarriers are dead, long live protectors -- this enables...
2019-04-17 Ralf Jungabstract mapping over all the stacks in some memory...
2019-04-17 Ralf Junglet the permission of a new pointer depend on the type...
2019-04-17 Ralf Jungsome failures are impossible
2019-04-17 Ralf Jungmore comments
2019-04-17 Ralf Jungmake run-pass tests pass. tweak how we remove barriers.
2019-04-17 Ralf Jungrewrite Stacked Borrows Core. this passes stacked-borro...
2019-04-17 Ralf JungMerge pull request #692 from RalfJung/rand
2019-04-16 Ralf Jungfix RtlGenRandom argument size
2019-04-16 Ralf JungMerge branch 'master' into rand
2019-04-16 Oliver SchererMerge pull request #691 from RalfJung/pragmatic-ptr-eq
2019-04-16 Ralf Jungstub out pthread_atfork to that we support thread_rng()
2019-04-16 Ralf Jungfix 0-sized getrandom
2019-04-16 Ralf Jungbe pragmatic about ptr-int comparisons, for now
2019-04-12 Ralf JungMerge pull request #687 from RalfJung/rustup
2019-04-12 Ralf Jungrustup
2019-04-11 Ralf JungMerge pull request #680 from RalfJung/miri-unsized
2019-04-11 Ralf JungMerge remote-tracking branch 'origin/master'
2019-04-10 Ralf JungMerge pull request #683 from Aaron1011/feature/random
2019-04-10 Ralf JungFix typo
2019-04-09 Oliver SchererMerge branch 'master' into feature/random
2019-04-09 Aaron HillSome final cleanup
2019-04-09 Aaron HillRetrieve SYS_getrandom from libc using const-eval
2019-04-09 Aaron HillImprove deterministic mode error message
2019-04-09 Aaron HillFix 'RtlGenRandom' argument slots
2019-04-09 Aaron HillInterpret system call numbers relative to target archit...
2019-04-09 Aaron HillRefactor random number generation
2019-04-09 Aaron HillCleanup argument parsing
2019-04-08 Ralf Jungfix dumping uninitialized locals
2019-04-08 Ralf JungMerge pull request #681 from TimDiekmann/calloc
2019-04-08 Tim DiekmannMerge branch 'master' into calloc
2019-04-08 bjorn3Update src/fn_call.rs
2019-04-08 Aaron HillUse raw syscall numbers
2019-04-07 Aaron HillUse getrandom() syscall number from libc
2019-04-07 Aaron HillImplement non-deterministc mode
2019-04-07 Tim DiekmannTidy up calloc code
2019-04-07 Tim DiekmannFix tagging order
2019-04-07 Tim DiekmannAdd `calloc`
2019-04-06 Ralf JungMerge branch 'master' into patch-1
2019-04-03 Oliver SchererMerge pull request #672 from rust-lang/update
2019-04-03 Oliver SchererUpdate to rustc nightly
2019-03-30 Ralf JungMerge pull request #668 from kenta7777/rename-evalconte...
2019-03-30 kenta7777renames EvalContext to InterpretCx
2019-03-18 Ralf JungMerge pull request #663 from RalfJung/range-contains
2019-03-18 Oliver SchererUpdate src/bin/miri-rustc-tests.rs
2019-03-18 Ralf Jungfix for rustc change
2019-03-18 Ralf Jungbump Rust; remove stabilized feature
2019-03-11 Ralf JungMerge pull request #659 from rust-lang/update
2019-03-11 Oliver SchererRemove dead code and docs
2019-03-11 Oliver SchererMake the rustc test runner build again
2019-03-11 Oliver SchererReintroduce prepending the input file name to the miri...
2019-03-11 John Kåre AlsakerUse the new rustc interface
2019-03-10 Ralf JungMerge pull request #660 from rust-lang/readme
2019-03-10 Ralf Jungmention --exclude-should-panic
2019-03-02 Ralf JungMerge pull request #647 from spastorino/place_base
2019-03-01 Santiago PastorinoPlace::Local(x) is now Place::Base(PlaceBase::Local(x))
2019-02-27 Ralf JungMerge pull request #648 from RalfJung/avoid-full-slice
2019-02-27 Ralf Jungavoid [..]
2019-02-26 Ralf JungMerge pull request #635 from alexreg/cosmetic-2
2019-02-26 Alexander RegueiroFixed nits raised in review.
2019-02-26 Alexander RegueiroVarious cosmetic improvements.
2019-02-26 Ralf JungMerge pull request #646 from rchaser53/issue-58645
2019-02-26 rchaser53use copy_op directly insteadof write_scalar
2019-02-15 Ralf JungMerge pull request #623 from RalfJung/fat-ptr-eq
2019-02-15 Ralf Jungtypo and comments
2019-02-15 Ralf JungFix comparing fat pointers
2019-02-15 Ralf Jungupdate for new bin_op APIs
2019-02-14 Ralf JungMerge remote-tracking branch 'origin/master' into str...
2019-02-13 Ralf JungMerge pull request #632 from RalfJung/memalign
2019-02-13 Ralf Jungimplement and test posix_memalign
2019-02-13 Ralf JungMerge pull request #630 from RalfJung/rust-src
2019-02-13 Ralf Jungskip installing rust-src if XARGO_RUST_SRC is set
2019-02-13 Ralf JungMerge branch 'master' into format-padding
2019-02-12 Ralf JungMerge pull request #629 from RalfJung/rename
2019-02-12 Ralf Jungrename things away from 'Shr' that are used for much...
2019-02-12 Ralf Jungbe more clear which stack we are talking about
2019-02-11 Ralf JungMerge branch 'master' into appveyor
2019-02-10 Oliver SchererMerge pull request #624 from RalfJung/args
2019-02-09 Ralf Jungalso enable passing arguments through from cargo-miri
2019-02-09 Ralf Jungalso pass actual arguments to Windows
2019-02-09 Ralf Jungfix build
2019-02-09 Ralf Jungimplement passing arguments to the interpreted program
2019-02-09 Ralf JungMerge pull request #625 from RalfJung/likely
2019-02-09 Ralf Jungfix (un)likely intrinsics
2019-02-08 Ralf JungMerge branch 'master' into bash
2019-02-08 Ralf JungMerge pull request #620 from RalfJung/stderr-flush
next