Commit Graph

2106 Commits

Author SHA1 Message Date
Ralf Jung
cfa6397ad0 UnsafeCell no longer needs to be on the whitelist 2018-11-20 08:50:08 +01:00
Ralf Jung
6085865975 adjust for InboundsCheck parameter of memory bounds check 2018-11-20 08:45:25 +01:00
Ralf Jung
b8486ce9d6 bump Rust version 2018-11-20 08:30:18 +01:00
Ralf Jung
d619049b2d Merge branch 'miri-backtrace' into mut-visitor 2018-11-20 08:29:51 +01:00
Ralf Jung
a806805f23 add an interesting testcase 2018-11-19 10:26:40 +01:00
Ralf Jung
06d77730de reorder cargo flags for consistency 2018-11-19 09:42:03 +01:00
Ralf Jung
aad47db21b Merge remote-tracking branch 'origin/master' into mut-visitor 2018-11-19 09:41:40 +01:00
Ralf Jung
dc2d15d883
Merge pull request #530 from RalfJung/appveyor
AppVeyor: consistently use --all-features
2018-11-18 09:10:28 +01:00
Ralf Jung
18b2426b1b AppVeyor: consistently use --all-features 2018-11-17 15:01:38 +01:00
Ralf Jung
64ac8fd1cc
Merge pull request #529 from matthiaskrgr/bench
benchmarks: make them build again
2018-11-17 14:48:42 +01:00
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