Commit Graph

2118 Commits

Author SHA1 Message Date
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
Ralf Jung
a8af5ae139 fix for latest nightly 2018-11-04 10:30:15 +01:00
Ralf Jung
c62fa57e2b
Merge pull request #507 from RalfJung/nonzero
test that we check the layout constraints as early as we can
2018-11-03 13:47:42 +01:00
Ralf Jung
efd2f0e0e4 move new test to correct dir 2018-11-03 12:33:14 +01:00
Ralf Jung
e68687b840 test that we check the layout constraints as early as we can 2018-11-03 12:25:57 +01:00
Ralf Jung
1d2877d773
Merge pull request #506 from solson/rustup
Rustup for retagging
2018-11-03 12:04:17 +01:00
Ralf Jung
cb691b7ed9 comment on mut-to-shr transmutes 2018-11-03 11:42:38 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
8ac5d988e2
typo
Co-Authored-By: RalfJung <post@ralfj.de>
2018-11-03 11:39:50 +01:00
Ralf Jung
8da2c9e34e fix adding default arguments 2018-11-03 11:03:53 +01:00
Ralf Jung
5f42aa61d5 illegal_write2 does not work with optimizations 2018-11-03 10:23:50 +01:00
Ralf Jung
e9f79f5f6f bump Rust version 2018-11-03 09:11:37 +01:00
Ralf Jung
dc859f345d Merge remote-tracking branch 'origin/master' into rustup 2018-11-02 14:32:56 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
b1be4ee564
Merge pull request #504 from RalfJung/crate
use crate:: imports where appropriate
2018-11-01 12:16:14 +01:00
Ralf Jung
a68779fd16 use crate:: import to make edition port easier later 2018-11-01 09:00:09 +01:00
Ralf Jung
81534496dc rename RefKind to UsageKind, because it not only used for references now 2018-11-01 08:58:03 +01:00
Ralf Jung
478f137c39 put all the logic into reactivatable() 2018-11-01 08:58:03 +01:00
Ralf Jung
3302656247 More extensive slice and vec tests
Not all of them pass validation...
2018-11-01 08:58:03 +01:00