]> git.lizzy.rs Git - rust.git/history - src/helpers.rs
Auto merge of #945 - christianpoveda:ptr-align-offset, r=oli-obk
[rust.git] / src / helpers.rs
2019-09-16 borsAuto merge of #945 - christianpoveda:ptr-align-offset...
2019-09-15 borsAuto merge of #951 - spastorino:place-2-0, r=RalfJung
2019-09-15 Santiago PastorinoPlace projection field is now Box<[PlaceElem<'tcx>]>
2019-08-29 borsAuto merge of #935 - christianpoveda:blacklist-env...
2019-08-29 borsAuto merge of #931 - RalfJung:retag-makes-my-head-hurt...
2019-08-28 Ralf Jungsmall optimization
2019-08-28 Ralf JungStacked Borrows: don't read from memory during retagging
2019-08-23 borsAuto merge of #914 - christianpoveda:use-host-rng,...
2019-08-20 Christian PovedaUse err_unsup_format instead
2019-08-19 Christian PovedaUse host's rng when communication is enabled
2019-08-09 borsAuto merge of #896 - tmandry:add-generator-uninhabited...
2019-08-08 borsAuto merge of #871 - RalfJung:miri-rustc-cleanup, r...
2019-08-04 borsAuto merge of #885 - Aaron1011:fix/f-round, r=RalfJung
2019-08-04 borsAuto merge of #884 - Aaron1011:fix/linux-getrandom...
2019-08-04 Aaron HillReplace match with expect()
2019-08-04 borsAuto merge of #887 - RalfJung:readme, r=RalfJung
2019-08-04 Aaron HillAdd semicolon
2019-08-04 Aaron HillDo nothing when we try to generate random data of length 0
2019-08-04 borsAuto merge of #883 - RalfJung:gen_random, r=RalfJung
2019-08-04 Ralf Junggen_random helper: move ptr argument to front
2019-08-03 borsAuto merge of #877 - christianpoveda:ldexp-shim, r...
2019-08-03 borsAuto merge of #878 - RalfJung:rustup, r=RalfJung
2019-08-03 Ralf Jungfix for error refactoring
2019-07-24 borsAuto merge of #852 - lzutao:rustup, r=RalfJung
2019-07-24 borsAuto merge of #851 - RalfJung:intrptrcast-by-default...
2019-07-23 Ralf Jungmake sure we always have an RNG
2019-07-21 borsAuto merge of #849 - RalfJung:rustup, r=RalfJung
2019-07-21 Ralf Jungbump rust
2019-07-11 borsAuto merge of #830 - RalfJung:check-place, r=RalfJung
2019-07-10 Ralf Jungforce pointers before reborrowing; fixes cargo miri...
2019-07-10 Ralf Jungadjust for rustc changes; normalize mplace before doing...
2019-07-06 borsAuto merge of #826 - RalfJung:uninit, r=RalfJung
2019-07-06 borsAuto merge of #808 - RalfJung:extra-fn, r=RalfJung
2019-07-06 Ralf Junggen_random: use check_ptr_access
2019-07-06 Ralf Jungmove gen_random to helpers
2019-07-06 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2019-07-05 Ralf JungMerge remote-tracking branch 'origin/master'
2019-07-05 borsAuto merge of #825 - RalfJung:no-null, r=RalfJung
2019-07-05 Ralf Jungavoid Scalar::is_null_ptr, it is going away
2019-07-04 borsAuto merge of #822 - RalfJung:tls, r=RalfJung
2019-07-03 borsAuto merge of #820 - RalfJung:intptrcast, r=RalfJung
2019-07-03 Ralf Jungwe don't need zero-sized freeze-sensitive visiting
2019-06-29 Ralf JungMerge remote-tracking branch 'ralf/machine' into rustup
2019-06-29 borsAuto merge of #802 - RalfJung:machine, r=RalfJung
2019-06-29 Ralf Jungmove most of the stuff from lib.rs into machine.rs...
2019-06-13 Ralf JungMerge pull request #769 from RalfJung/rustup
2019-06-13 Ralf Jungrustup for lifetime refactorings
2019-06-08 Ralf JungMerge pull request #765 from RalfJung/rustup
2019-06-08 Ralf Jungrustup for EvalResult rename
2019-05-15 Ralf JungRustup (#723)
2019-05-13 Ralf Jungfix for latest rustc
2019-05-13 Ralf Jungbuild with latest version
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 Ralf Jungrewrite Stacked Borrows Core. this passes stacked-borro...
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-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 RegueiroVarious cosmetic improvements.
2018-12-11 Ralf JungMerge pull request #568 from RalfJung/cleanup
2018-12-11 Ralf Jungget rid of to_bytes hack
2018-12-11 Ralf Jungavoid repeating signatures in EvalContext extension...
2018-11-26 Ralf JungMerge branch 'master' into self-referential-generator
2018-11-24 Ralf JungMerge pull request #541 from solson/rustup
2018-11-23 Ralf Jungfix for new Align type
2018-11-20 Ralf JungMerge branch 'master' into cargo-miri-2018
2018-11-20 Ralf JungMerge pull request #526 from RalfJung/mut-visitor
2018-11-20 Ralf JungMerge branch 'miri-backtrace' into mut-visitor
2018-11-19 Ralf JungMerge remote-tracking branch 'origin/master' into mut...
2018-11-16 Ralf Jungretagging: descent into values, type-driven
2018-11-16 Ralf JungMerge pull request #524 from RalfJung/escape-to-raw
2018-11-16 Ralf JungMerge remote-tracking branch 'origin/master' into escap...
2018-11-15 Ralf Jungmake freezing inherently part of the high-level reactiv...
2018-11-08 Oliver S̶c̶h̶n̶e̶i... Merge pull request #513 from RalfJung/new-interior-mut
2018-11-08 Ralf Jungsort the fields ourselves
2018-11-08 Ralf Jungre-do large parts of stacked borrows, now with proper...
2018-11-02 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-11-01 Oliver S̶c̶h̶n̶e̶i... Merge pull request #504 from RalfJung/crate
2018-11-01 Ralf Junguse crate:: where appropriate
2018-10-22 Ralf JungMerge pull request #487 from solson/rustup
2018-10-22 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-10-19 Ralf JungMerge pull request #488 from RalfJung/start-fn
2018-10-19 Ralf Jungmove resolve_path to helpers module
2018-10-16 Ralf Jungadd Borrow tag to pointers; remove old locking code
2018-09-17 Ralf JungMerge remote-tracking branch 'origin/master' into zero...
2018-09-01 Ralf JungMerge branch 'master' into master
2018-09-01 Ralf JungMerge pull request #445 from solson/rustup
2018-09-01 Ralf JungMerge branch 'master' into rustup
2018-08-30 Ralf Jungmove some more helpers to rustc
2018-08-30 Oliver SchneiderMerge pull request #434 from solson/rustup
2018-08-24 Ralf Jungupdate for miri engine: new function handling, new...
2018-08-20 Ralf JungMerge remote-tracking branch 'origin/master'
2018-08-17 Ralf Jungfix compilation after rustc change
2018-08-16 Ralf Jungrustup for big refactor; kill most of validation
2018-08-14 Ralf JungMerge pull request #425 from solson/rustup
2018-08-14 Ralf JungMerge branch 'master' into rustup
2018-08-14 Ralf JungMerge branch 'master' into rustup
next