2019-07-24 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
blob | commitdiff | raw |
2019-07-23 |
Ralf Jung | make sure we always have an RNG |
blob | commitdiff | raw |
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 |
2018-08-24 |
Ralf Jung | update for miri engine: new function handling, new... |
blob | commitdiff | raw | diff to current |
2018-08-20 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2018-08-17 |
Ralf Jung | fix compilation after rustc change |
blob | commitdiff | raw | diff to current |
2018-08-16 |
Ralf Jung | rustup for big refactor; kill most of validation |
blob | commitdiff | raw | diff to current |
2018-08-14 |
Ralf Jung | Merge pull request #425 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-08-14 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2018-08-14 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2018-08-07 |
Oliver Schneider | Rustup |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Oliver Schneider | Merge branch 'master' into hack_branch_for_miri_do_not_... |
blob | commitdiff | raw | diff to current |
2018-07-13 |
Ralf Jung | Merge branch 'master' into eq-hash |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Oliver Schneider | Merge pull request #391 from bjorn3/clippy_fixes |
blob | commitdiff | raw | diff to current |
2018-07-10 |
bjorn3 | Fix some clippy lints |
blob | commitdiff | raw | diff to current |
2018-06-03 |
bjorn3 | Partial rustup |
blob | commitdiff | raw | diff to current |
2018-05-26 |
bjorn3 | Partial rustup |
blob | commitdiff | raw | diff to current |
2018-05-09 |
Oliver Schneider | Merge pull request #374 from solson/cleanups |
blob | commitdiff | raw | diff to current |
2018-05-09 |
Oliver Schneider | Move back to a normal folder structure |
blob | commitdiff | raw | diff to current |
|