2019-10-11 |
Christian Poveda | Change error handling style for consistency |
blob | commitdiff | raw |
2019-10-11 |
Christian Poveda | Correct style of comments |
blob | commitdiff | raw | diff to current |
2019-10-11 |
Christian Poveda | Move functions to eval libc constants to helpers |
blob | commitdiff | raw | diff to current |
2019-09-30 |
Christian Poveda | Reserve fides for stdio and fix merge issues |
blob | commitdiff | raw | diff to current |
2019-09-28 |
bors | Auto merge of #957 - christianpoveda:ptr-align-offset... |
blob | commitdiff | raw | diff to current |
2019-09-28 |
bors | Auto merge of #963 - rust-lang:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-09-26 |
Oliver Scherer | Rustup to `sty` -> `kind` changes |
blob | commitdiff | raw | diff to current |
2019-09-16 |
bors | Auto merge of #945 - christianpoveda:ptr-align-offset... |
blob | commitdiff | raw | diff to current |
2019-09-15 |
bors | Auto merge of #951 - spastorino:place-2-0, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-09-15 |
Santiago Pastorino | Place projection field is now Box<[PlaceElem<'tcx>]> |
blob | commitdiff | raw | diff to current |
2019-08-29 |
bors | Auto merge of #935 - christianpoveda:blacklist-env... |
blob | commitdiff | raw | diff to current |
2019-08-29 |
bors | Auto merge of #931 - RalfJung:retag-makes-my-head-hurt... |
blob | commitdiff | raw | diff to current |
2019-08-28 |
Ralf Jung | small optimization |
blob | commitdiff | raw | diff to current |
2019-08-28 |
Ralf Jung | Stacked Borrows: don't read from memory during retagging |
blob | commitdiff | raw | diff to current |
2019-08-23 |
bors | Auto merge of #914 - christianpoveda:use-host-rng,... |
blob | commitdiff | raw | diff to current |
2019-08-20 |
Christian Poveda | Use err_unsup_format instead |
blob | commitdiff | raw | diff to current |
2019-08-19 |
Christian Poveda | Use host's rng when communication is enabled |
blob | commitdiff | raw | diff to current |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #884 - Aaron1011:fix/linux-getrandom... |
blob | commitdiff | raw | diff to current |
2019-08-04 |
Aaron Hill | Replace match with expect() |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #887 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-04 |
Aaron Hill | Add semicolon |
blob | commitdiff | raw | diff to current |
2019-08-04 |
Aaron Hill | Do nothing when we try to generate random data of length 0 |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #883 - RalfJung:gen_random, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-04 |
Ralf Jung | gen_random helper: move ptr argument to front |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #877 - christianpoveda:ldexp-shim, r... |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #878 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-03 |
Ralf Jung | fix for error refactoring |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #852 - lzutao:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
blob | commitdiff | raw | diff to current |
2019-07-23 |
Ralf Jung | make sure we always have an RNG |
blob | commitdiff | raw | diff to current |
2019-07-21 |
bors | Auto merge of #849 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-21 |
Ralf Jung | bump rust |
blob | commitdiff | raw | diff to current |
2019-07-11 |
bors | Auto merge of #830 - RalfJung:check-place, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-10 |
Ralf Jung | force pointers before reborrowing; fixes cargo miri... |
blob | commitdiff | raw | diff to current |
2019-07-10 |
Ralf Jung | adjust for rustc changes; normalize mplace before doing... |
blob | commitdiff | raw | diff to current |
2019-07-06 |
bors | Auto merge of #826 - RalfJung:uninit, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-06 |
bors | Auto merge of #808 - RalfJung:extra-fn, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | gen_random: use check_ptr_access |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | move gen_random to helpers |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2019-07-05 |
bors | Auto merge of #825 - RalfJung:no-null, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Ralf Jung | avoid Scalar::is_null_ptr, it is going away |
blob | commitdiff | raw | diff to current |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | we don't need zero-sized freeze-sensitive visiting |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | Merge remote-tracking branch 'ralf/machine' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-29 |
bors | Auto merge of #802 - RalfJung:machine, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | move most of the stuff from lib.rs into machine.rs... |
blob | commitdiff | raw | diff to current |
2019-06-13 |
Ralf Jung | Merge pull request #769 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2019-06-13 |
Ralf Jung | rustup for lifetime refactorings |
blob | commitdiff | raw | diff to current |
2019-06-08 |
Ralf Jung | Merge pull request #765 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2019-06-08 |
Ralf Jung | rustup for EvalResult rename |
blob | commitdiff | raw | diff to current |
2019-05-15 |
Ralf Jung | Rustup (#723) |
blob | commitdiff | raw | diff to current |
2019-05-13 |
Ralf Jung | fix for latest rustc |
blob | commitdiff | raw | diff to current |
2019-05-13 |
Ralf Jung | build with latest version |
blob | commitdiff | raw | diff to current |
2019-04-18 |
Tim Diekmann | Merge branch 'master' into realloc |
blob | commitdiff | raw | diff to current |
2019-04-18 |
Ralf Jung | Merge pull request #695 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | rewrite Stacked Borrows Core. this passes stacked-borro... |
blob | commitdiff | raw | diff to current |
2019-04-06 |
Ralf Jung | Merge branch 'master' into patch-1 |
blob | commitdiff | raw | diff to current |
2019-04-03 |
Oliver Scherer | Merge pull request #672 from rust-lang/update |
blob | commitdiff | raw | diff to current |
2019-04-03 |
Oliver Scherer | Update to rustc nightly |
blob | commitdiff | raw | diff to current |
2019-02-27 |
Ralf Jung | Merge pull request #648 from RalfJung/avoid-full-slice |
blob | commitdiff | raw | diff to current |
2019-02-27 |
Ralf Jung | avoid [..] |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Ralf Jung | Merge pull request #635 from alexreg/cosmetic-2 |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Alexander Regueiro | Various cosmetic improvements. |
blob | commitdiff | raw | diff to current |
2018-12-11 |
Ralf Jung | Merge pull request #568 from RalfJung/cleanup |
blob | commitdiff | raw | diff to current |
2018-12-11 |
Ralf Jung | get rid of to_bytes hack |
blob | commitdiff | raw | diff to current |
2018-12-11 |
Ralf Jung | avoid repeating signatures in EvalContext extension... |
blob | commitdiff | raw | diff to current |
2018-11-26 |
Ralf Jung | Merge branch 'master' into self-referential-generator |
blob | commitdiff | raw | diff to current |
2018-11-24 |
Ralf Jung | Merge pull request #541 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-11-23 |
Ralf Jung | fix for new Align type |
blob | commitdiff | raw | diff to current |
2018-11-20 |
Ralf Jung | Merge branch 'master' into cargo-miri-2018 |
blob | commitdiff | raw | diff to current |
2018-11-20 |
Ralf Jung | Merge pull request #526 from RalfJung/mut-visitor |
blob | commitdiff | raw | diff to current |
2018-11-20 |
Ralf Jung | Merge branch 'miri-backtrace' into mut-visitor |
blob | commitdiff | raw | diff to current |
2018-11-19 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into mut... |
blob | commitdiff | raw | diff to current |
2018-11-16 |
Ralf Jung | retagging: descent into values, type-driven |
blob | commitdiff | raw | diff to current |
2018-11-16 |
Ralf Jung | Merge pull request #524 from RalfJung/escape-to-raw |
blob | commitdiff | raw | diff to current |
2018-11-16 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into escap... |
blob | commitdiff | raw | diff to current |
2018-11-15 |
Ralf Jung | make freezing inherently part of the high-level reactiv... |
blob | commitdiff | raw | diff to current |
2018-11-08 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #513 from RalfJung/new-interior-mut |
blob | commitdiff | raw | diff to current |
2018-11-08 |
Ralf Jung | sort the fields ourselves |
blob | commitdiff | raw | diff to current |
2018-11-08 |
Ralf Jung | re-do large parts of stacked borrows, now with proper... |
blob | commitdiff | raw | diff to current |
2018-11-02 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-11-01 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #504 from RalfJung/crate |
blob | commitdiff | raw | diff to current |
2018-11-01 |
Ralf Jung | use crate:: where appropriate |
blob | commitdiff | raw | diff to current |
2018-10-22 |
Ralf Jung | Merge pull request #487 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-10-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-10-19 |
Ralf Jung | Merge pull request #488 from RalfJung/start-fn |
blob | commitdiff | raw | diff to current |
2018-10-19 |
Ralf Jung | move resolve_path to helpers module |
blob | commitdiff | raw | diff to current |
2018-10-16 |
Ralf Jung | add Borrow tag to pointers; remove old locking code |
blob | commitdiff | raw | diff to current |
2018-09-17 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into zero... |
blob | commitdiff | raw | diff to current |
2018-09-01 |
Ralf Jung | Merge branch 'master' into master |
blob | commitdiff | raw | diff to current |
2018-09-01 |
Ralf Jung | Merge pull request #445 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-09-01 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2018-08-30 |
Ralf Jung | move some more helpers to rustc |
blob | commitdiff | raw | diff to current |
2018-08-30 |
Oliver Schneider | Merge pull request #434 from solson/rustup |
blob | commitdiff | raw | diff to current |
next |