Ralf Jung
|
a1f895d6f2
|
retagging: descent into values, type-driven
|
2018-11-16 11:09:33 +01:00 |
|
Ralf Jung
|
d78b62e3e4
|
Merge pull request #524 from RalfJung/escape-to-raw
Stacked Borrows beautififcation, update for EscapeToRaw
|
2018-11-16 10:48:12 +01:00 |
|
Ralf Jung
|
827e5180f2
|
stacked borrows is broken without full MIR
|
2018-11-16 10:01:54 +01:00 |
|
Ralf Jung
|
c93f6d6bb0
|
Merge remote-tracking branch 'origin/master' into escape-to-raw
|
2018-11-16 09:41:47 +01:00 |
|
Ralf Jung
|
021bf1f3b3
|
Merge pull request #525 from RalfJung/trust-the-type-system
remove type system tests
|
2018-11-16 09:41:35 +01:00 |
|
Ralf Jung
|
70738bf8cc
|
where there is 2, there should be 1
|
2018-11-16 08:53:43 +01:00 |
|
Ralf Jung
|
ca7b088aba
|
remove type system tests
|
2018-11-16 08:50:44 +01:00 |
|
Ralf Jung
|
4e34457715
|
bump Rust
|
2018-11-16 08:40:08 +01:00 |
|
Ralf Jung
|
60e26af323
|
add a sanity assertion
|
2018-11-16 08:40:00 +01:00 |
|
Ralf Jung
|
cf1746222e
|
we no longer even try pushing to a frozen location
|
2018-11-15 21:22:05 +01:00 |
|
Ralf Jung
|
f521fd5e0f
|
let's call this a redundant reborrow
|
2018-11-15 21:22:05 +01:00 |
|
Ralf Jung
|
c234009fdd
|
generalize reborrow-to-raw exception to a general redundancy check
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
ba8eb7608e
|
add an interesting demo for &mut being unique
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
5a801c0dc1
|
adjust comment
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
a87e952102
|
Separate deref and access into different operations; add special exception for creating raw references
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
224d03dbdc
|
organize std tests a bit better
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
a94e197105
|
better test the special exception for reading through unique when things are shared
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
aa8f523df6
|
test for special things that are now possible
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
94e751267c
|
add another mean test case
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
020313dd85
|
make freezing inherently part of the high-level reactivate/initiate operations
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
09919c2b59
|
Retag is the only operation that generates new tags
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
1e51a382ed
|
update for changed FrameInfo, do not print span for all frames
|
2018-11-15 09:14:03 +01:00 |
|
Ralf Jung
|
3554d1acdc
|
Merge pull request #522 from RalfJung/alloc-extra
update for memory_deallocated moving to AllocExtra
|
2018-11-15 09:13:37 +01:00 |
|
Ralf Jung
|
5120abc0c6
|
bump Rust
|
2018-11-15 08:54:32 +01:00 |
|
Ralf Jung
|
f5bd85d009
|
update for memory_deallocated moving to AllocExtra
|
2018-11-14 16:03:38 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
2e6eb0070b
|
Merge pull request #518 from RalfJung/readme
add a description of what miri can do for you
|
2018-11-14 09:11:33 +01:00 |
|
Ralf Jung
|
bf3e376049
|
move slide and report links to history
|
2018-11-14 08:23:43 +01:00 |
|
Ralf Jung
|
8368fe89bc
|
miri history
|
2018-11-13 14:16:08 +01:00 |
|
Ralf Jung
|
c81e45f73a
|
add a description of what miri can do for you
|
2018-11-13 13:31:35 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
60a6a817d0
|
Merge pull request #517 from RalfJung/readme
cargo miri test currently does not work
|
2018-11-13 09:14:10 +01:00 |
|
Ralf Jung
|
f37fc5eb7a
|
cargo miri test currently does not work
|
2018-11-12 20:20:35 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
bb5cea0d59
|
Merge pull request #516 from RalfJung/rc
Rc should be fixed
|
2018-11-12 12:39:37 +01:00 |
|
Ralf Jung
|
e7aa5c68ff
|
Update rustc for AllocationExtra trait
Based on https://github.com/solson/miri/pull/493 but there were more conflicts
than code so I opted not to cherry-pick.
|
2018-11-12 08:54:12 +01:00 |
|
Ralf Jung
|
f233dc0687
|
Rc should be fixed
|
2018-11-11 10:12:44 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
61debe831e
|
Merge pull request #515 from RalfJung/test
use custom test runner so that we can get proper test filtering
|
2018-11-09 18:33:44 +01:00 |
|
Ralf Jung
|
54307cd888
|
bump compiletest so that we can share the tempdir() call
|
2018-11-09 14:04:22 +01:00 |
|
Ralf Jung
|
97302e86c2
|
remove unused import
|
2018-11-09 11:51:39 +01:00 |
|
Ralf Jung
|
45e14f8dc5
|
use custom test runner so that we can get proper test filtering
|
2018-11-09 11:50:34 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
d136fdb701
|
Merge pull request #513 from RalfJung/new-interior-mut
New Stacked Borrows, now with better support for interior mutability
|
2018-11-08 20:22:54 +01:00 |
|
Ralf Jung
|
d694dc43f4
|
bump Rust version
|
2018-11-08 08:35:14 +01:00 |
|
Ralf Jung
|
f4e45ff2b7
|
sort the fields ourselves
|
2018-11-08 08:29:34 +01:00 |
|
Ralf Jung
|
00936316d1
|
treat shared and raw borrows alike
|
2018-11-08 08:29:34 +01:00 |
|
Ralf Jung
|
74635a57e2
|
re-do large parts of stacked borrows, now with proper support for partiall frozen data
|
2018-11-08 08:29:34 +01:00 |
|
Ralf Jung
|
d0b79cf53b
|
Merge pull request #514 from solson/rustup
bump rust
|
2018-11-08 08:26:00 +01:00 |
|
Ralf Jung
|
a05ba90300
|
disable Rc test for now, it ain't working
|
2018-11-07 14:24:11 +01:00 |
|
Ralf Jung
|
2ff1f24f2b
|
bump rust
|
2018-11-07 10:41:15 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
0e9e0f2d82
|
Merge pull request #510 from solson/rustup
rustup: value -> immediate, by-value HasLayout, edition 2018
|
2018-11-05 17:02:38 +01:00 |
|
Ralf Jung
|
f6d6470bc4
|
move to 2018 edition
I want NLL :D
|
2018-11-05 15:45:27 +01:00 |
|
Ralf Jung
|
9edac3189a
|
rustup
|
2018-11-05 08:52:02 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
c6ffcd0aa8
|
Merge pull request #509 from solson/rustup
fix for latest nightly
|
2018-11-04 11:57:12 +01:00 |
|