Tim Diekmann
|
af3c4c0c23
|
Merge branch 'master' into realloc
|
2019-04-18 12:22:58 +02:00 |
|
Ralf Jung
|
ae9e9cb47c
|
Merge pull request #695 from RalfJung/stacked-borrows-2
Stacked borrows 2 (alpha 1)
|
2019-04-18 10:15:37 +02:00 |
|
Tim Diekmann
|
0e6deee76e
|
Add realloc
|
2019-04-18 01:20:21 +02:00 |
|
Ralf Jung
|
39ecd05c46
|
embrace find_map and some whitespace changes
|
2019-04-17 16:25:38 +02:00 |
|
Oliver Scherer
|
abe8959339
|
Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
|
2019-04-17 16:22:33 +02:00 |
|
Ralf Jung
|
e1ed855a44
|
more tests -- also one showing why we are not done yet
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
0a313183b1
|
bump Rust
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
72cec0562c
|
add tests for fixes: sharing no longer leaks, and we can handle entering interior mutability
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
46d5fd8487
|
barriers are dead, long live protectors -- this enables overlapping two-phase borrows!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
e7a500b7e1
|
test creating two raw pointers from the same mutable ref
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
14e701f7d8
|
abstract mapping over all the stacks in some memory range
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
7b7fef1b53
|
let the permission of a new pointer depend on the type only
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
a503259d8b
|
organize stacked borrows run-pass tests
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
97c34c266f
|
try to test the problematic cast-to-raw case... unfortunately with the implicit reborrow that's not currently possible
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
924624f810
|
some failures are impossible
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
ef52be031c
|
adjust compile-fail error messages
This also passes miri-test-libstd!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
a6d377ca0b
|
more comments
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
966d638760
|
make run-pass tests pass. tweak how we remove barriers.
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
3f0a2a2941
|
rewrite Stacked Borrows Core. this passes stacked-borrows.rs!
|
2019-04-17 16:02:57 +02:00 |
|
Oliver Scherer
|
3e8bd4560c
|
Merge pull request #694 from RalfJung/readme
document -Zmiri-seed
|
2019-04-17 09:23:47 +02:00 |
|
Ralf Jung
|
d7bcaab737
|
document -Zmiri-seed
|
2019-04-17 08:20:02 +02:00 |
|
Ralf Jung
|
ff88062d4c
|
Merge pull request #692 from RalfJung/rand
Fix 0-sized getrandom and thread_rng()
|
2019-04-17 07:42:43 +02:00 |
|
Ralf Jung
|
a50512f751
|
fix RtlGenRandom argument size
|
2019-04-16 21:27:27 +02:00 |
|
Ralf Jung
|
6fdc75024b
|
Merge branch 'master' into rand
|
2019-04-16 20:55:58 +02:00 |
|
Oliver Scherer
|
f6fef3b08b
|
Merge pull request #691 from RalfJung/pragmatic-ptr-eq
be pragmatic about ptr-int comparisons, for now
|
2019-04-16 20:52:55 +02:00 |
|
Ralf Jung
|
54039cafa8
|
try to really fix tests on macOS
|
2019-04-16 20:36:33 +02:00 |
|
Ralf Jung
|
341798f09d
|
fix tests on macOS
|
2019-04-16 20:14:23 +02:00 |
|
Ralf Jung
|
59541d446a
|
pick better test names
|
2019-04-16 20:12:55 +02:00 |
|
Ralf Jung
|
5761a0bf61
|
fix ref file
|
2019-04-16 19:55:22 +02:00 |
|
Ralf Jung
|
ba567d19f0
|
stub out pthread_atfork to that we support thread_rng()
|
2019-04-16 19:53:10 +02:00 |
|
Ralf Jung
|
9c8ad5f9e1
|
fix 0-sized getrandom
|
2019-04-16 19:26:02 +02:00 |
|
Ralf Jung
|
bd4a772e1a
|
update cargo miri test to test rng crate a bit; this currently fails
|
2019-04-16 19:13:53 +02:00 |
|
Ralf Jung
|
af2b42de0a
|
fix compile-fail test
|
2019-04-16 19:09:41 +02:00 |
|
Ralf Jung
|
ceca7c5020
|
tweak entropy tests a bit
|
2019-04-16 19:06:08 +02:00 |
|
Ralf Jung
|
378d9d4172
|
be pragmatic about ptr-int comparisons, for now
|
2019-04-16 17:47:37 +02:00 |
|
Ralf Jung
|
7c06679f93
|
Merge pull request #690 from RalfJung/rustup
rustup
|
2019-04-14 10:52:12 +02:00 |
|
Ralf Jung
|
a246116bdc
|
rustup
|
2019-04-14 10:30:00 +02:00 |
|
Ralf Jung
|
98a45153e3
|
Merge pull request #689 from RalfJung/rustup
lower rand version requirement
|
2019-04-13 00:20:30 +02:00 |
|
Ralf Jung
|
b031213efd
|
Merge branch 'master' into rustup
|
2019-04-12 23:20:54 +02:00 |
|
Ralf Jung
|
98296d60e7
|
lower rand version requirement
|
2019-04-12 23:17:58 +02:00 |
|
Ralf Jung
|
c758a79390
|
Merge pull request #688 from RalfJung/rustup
rustup
|
2019-04-12 23:13:30 +02:00 |
|
Ralf Jung
|
aa79244b62
|
rustup
|
2019-04-12 22:15:55 +02:00 |
|
Ralf Jung
|
164a89fa12
|
Merge pull request #687 from RalfJung/rustup
rustup
|
2019-04-12 13:39:19 +02:00 |
|
Ralf Jung
|
5f29a53992
|
rustup
|
2019-04-12 12:32:26 +02:00 |
|
Ralf Jung
|
4eac25ce47
|
Merge pull request #680 from RalfJung/miri-unsized
test calling Box<dyn FnOnce>
|
2019-04-11 23:18:43 +02:00 |
|
Ralf Jung
|
8235f5694c
|
bump Rust version
|
2019-04-11 22:09:27 +02:00 |
|
Ralf Jung
|
8de4f34a7f
|
Merge remote-tracking branch 'origin/master'
|
2019-04-11 22:09:09 +02:00 |
|
Ralf Jung
|
83d199eb86
|
fix async-fn test
|
2019-04-10 17:20:54 +02:00 |
|
Ralf Jung
|
2dc6e8b01f
|
Merge pull request #683 from Aaron1011/feature/random
Implement non-deterministc mode
|
2019-04-10 09:20:33 +02:00 |
|
Aaron Hill
|
a8763f3d8d
|
Don't create HashMap<K, V> when not needed
|
2019-04-09 23:36:27 -04:00 |
|