Commit Graph

2246 Commits

Author SHA1 Message Date
Matthias Krüger
3102b13468 travis: build benchmarks as well 2018-11-17 14:25:48 +01:00
Ralf Jung
19f8a9db7d Boxes can also use the fast path 2018-11-17 12:35:58 +01:00
Ralf Jung
c847071355 add comment about not using builtin_deref 2018-11-17 12:33:44 +01:00
Matthias Krüger
731f351543 benchmarks: make them build again 2018-11-17 12:24:27 +01:00
Ralf Jung
56f1ef325a remove spurious assignments 2018-11-17 10:29:16 +01:00
Ralf Jung
662821f7f7 raw ptr deref no longer erases the tag 2018-11-17 10:11:21 +01:00
Ralf Jung
880229d4c3 escape-on-cast, now ptr-deref does not change the tag at all, ever 2018-11-17 10:05:40 +01:00
Ralf Jung
b7dbb5e2a7 also consider boxes like unique references 2018-11-17 10:05:40 +01:00
Ralf Jung
42c49116b1
Merge pull request #527 from steveklabnik/patch-2
fix cargo invocation in the readme
2018-11-16 21:41:47 +01:00
Steve Klabnik
733f675bcc
fix cargo invocation in the readme 2018-11-16 15:14:44 -05:00
Ralf Jung
36b97cd76c Factor out common top-level code from escape-to-raw and retag 2018-11-16 11:24:01 +01:00
Ralf Jung
c54dcf59ae add some tests for retagging inside tuples and options 2018-11-16 11:13:55 +01:00
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