2018-11-28 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-11-28 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
2018-11-28 |
Ralf Jung | Merge pull request #545 from solson/oli-obk-patch-1
|
commit | commitdiff | tree |
2018-11-28 |
Ralf Jung | Merge remote-tracking branches 'origin/master' and...
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | Merge pull request #549 from RalfJung/readme
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | fix README install instructions
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | barriers prevent deallocation
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | no barriers for boxes
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | for now, we allow Undef in raw pointers as we do in...
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | implement function barriers
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | track call IDs
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | adjust for memory_allocated hook, make RangeMap preallocated...
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | Merge pull request #543 from RalfJung/auto-libstd
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | use new dir for CI and docs
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | inform the user when and where we are creating a cache dir
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | we need to recursively create the dir
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | use proper platform cache dir
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into auto...
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | std::ptr no longer needs whitelisting
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | tweaks
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | remove unneeded backtrace feature
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | cargo miri setup: print when we are executing commands
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | there are less places now to keep the flags in sync
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | install directly from git repo
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | kill xargo dir and update docs
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | tweak comments, remove debug output
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | use cargo miri setup for CI
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | complete setup routine: instal rust-src, build libstd...
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | setup routine to install xargo when missing
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | cargo miri: factor package manifest logic into separate...
|
commit | commitdiff | tree |
2018-11-27 |
Ralf Jung | fix clippy lint whitelisting
|
commit | commitdiff | tree |
2018-11-26 |
Ralf Jung | do not use 'let _', it is strange
|
commit | commitdiff | tree |
2018-11-26 |
Ralf Jung | Merge pull request #536 from RalfJung/self-referential...
|
commit | commitdiff | tree |
2018-11-26 |
Ralf Jung | Merge branch 'master' into self-referential-generator
|
commit | commitdiff | tree |
2018-11-26 |
Ralf Jung | Merge pull request #519 from solson/allocations
|
commit | commitdiff | tree |
2018-11-26 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
2018-11-26 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into allocations
|
commit | commitdiff | tree |
2018-11-24 |
Ralf Jung | Merge pull request #541 from solson/rustup
|
commit | commitdiff | tree |
2018-11-24 |
Ralf Jung | bump Rust
|
commit | commitdiff | tree |
2018-11-23 |
Ralf Jung | fix for new Align type
|
commit | commitdiff | tree |
2018-11-22 |
Ralf Jung | Merge pull request #538 from solson/rustup
|
commit | commitdiff | tree |
2018-11-22 |
Ralf Jung | bump rust
|
commit | commitdiff | tree |
2018-11-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | Merge branch 'master' into partially-invalidate-mut
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | Merge pull request #539 from RalfJung/no-frozen-mut
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | test that we support partial invalidation of mutable...
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | slightly more verbose error msg
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | if let
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | on a deref, check that we are not using a mutable ref...
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | remove stabilized feature flag
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | make sure compile-fail tests would compile if we screw up
|
commit | commitdiff | tree |
2018-11-21 |
Ralf Jung | bump Rust
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | also add an async fn test
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | test self-referential generator
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | Merge pull request #535 from RalfJung/tests-edition...
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | make tests compatible with 2018 edition
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | use 2018 edition for tests
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | Merge pull request #533 from RalfJung/cargo-miri-2018
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | Merge branch 'master' into cargo-miri-2018
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | Merge pull request #526 from RalfJung/mut-visitor
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | stdout not implemented on windows
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | UnsafeCell no longer needs to be on the whitelist
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | adjust for InboundsCheck parameter of memory bounds...
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | bump Rust version
|
commit | commitdiff | tree |
2018-11-20 |
Ralf Jung | Merge branch 'miri-backtrace' into mut-visitor
|
commit | commitdiff | tree |
2018-11-19 |
Ralf Jung | port cargo-miri-test to 2018 edition, mostly to test...
|
commit | commitdiff | tree |
2018-11-19 |
Ralf Jung | add an interesting testcase
|
commit | commitdiff | tree |
2018-11-19 |
Ralf Jung | reorder cargo flags for consistency
|
commit | commitdiff | tree |
2018-11-19 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into mut...
|
commit | commitdiff | tree |
2018-11-18 |
Ralf Jung | Merge pull request #530 from RalfJung/appveyor
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | AppVeyor: consistently use --all-features
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | Merge pull request #529 from matthiaskrgr/bench
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | Boxes can also use the fast path
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | add comment about not using builtin_deref
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | remove spurious assignments
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | raw ptr deref no longer erases the tag
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | escape-on-cast, now ptr-deref does not change the tag...
|
commit | commitdiff | tree |
2018-11-17 |
Ralf Jung | also consider boxes like unique references
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | Merge pull request #527 from steveklabnik/patch-2
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | Factor out common top-level code from escape-to-raw...
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | add some tests for retagging inside tuples and options
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | retagging: descent into values, type-driven
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | Merge pull request #524 from RalfJung/escape-to-raw
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | stacked borrows is broken without full MIR
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into escape...
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | Merge pull request #525 from RalfJung/trust-the-type...
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | where there is 2, there should be 1
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | remove type system tests
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | bump Rust
|
commit | commitdiff | tree |
2018-11-16 |
Ralf Jung | add a sanity assertion
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | we no longer even try pushing to a frozen location
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | let's call this a redundant reborrow
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | generalize reborrow-to-raw exception to a general redundancy...
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | add an interesting demo for &mut being unique
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | adjust comment
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | Separate deref and access into different operations...
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | organize std tests a bit better
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | better test the special exception for reading through...
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | test for special things that are now possible
|
commit | commitdiff | tree |
2018-11-15 |
Ralf Jung | add another mean test case
|
commit | commitdiff | tree |
next |