Ralf Jung
|
d410b13139
|
fix compile-fail ref files
|
2019-04-21 13:18:05 +02:00 |
|
Ralf Jung
|
0694435650
|
implement exit
implement exit code via new error kind
|
2019-04-21 12:36:17 +02:00 |
|
Ralf Jung
|
788616d0f0
|
Merge pull request #704 from RalfJung/dev
Hopefully make it a bit easier to develop on Miri
|
2019-04-21 12:23:54 +02:00 |
|
Ralf Jung
|
0d53178d5b
|
Merge branch 'master' into dev
|
2019-04-21 10:57:49 +02:00 |
|
Ralf Jung
|
a20719cec6
|
add section on the no MIR error
|
2019-04-20 18:36:43 +02:00 |
|
Ralf Jung
|
96b22259cc
|
Merge pull request #697 from RalfJung/linked-list
add LinkedList test and mention the bug Miri found there
|
2019-04-20 00:38:40 +02:00 |
|
Ralf Jung
|
791abb7a7e
|
bump Rust version
|
2019-04-19 23:08:35 +02:00 |
|
Ralf Jung
|
677bd6f656
|
add LinkedList test and mention the bug Miri found there
|
2019-04-19 23:08:24 +02:00 |
|
Ralf Jung
|
4376b9ac2d
|
Merge pull request #703 from RalfJung/compiletest
bump compiletest
|
2019-04-19 19:56:47 +02:00 |
|
Ralf Jung
|
bf6b7aa550
|
rewirte development part of README
|
2019-04-19 19:53:42 +02:00 |
|
Ralf Jung
|
2481d6091a
|
warn when cargo miri setup does not do anything
|
2019-04-19 19:27:19 +02:00 |
|
Ralf Jung
|
e4cecb10db
|
bump compiletest
|
2019-04-19 18:30:53 +02:00 |
|
Oliver Scherer
|
f26c2cb4eb
|
Merge pull request #699 from RalfJung/stacked-borrows-2
test another version of 'creating a shared ref must not leak the Unique'
|
2019-04-19 09:55:44 +02:00 |
|
Ralf Jung
|
287ffb8bba
|
test another version of 'creating a shared ref must not leak the Unique'
|
2019-04-19 08:46:40 +02:00 |
|
Ralf Jung
|
0a5e541272
|
two-phase-borrow comment
|
2019-04-19 08:36:05 +02:00 |
|
Ralf Jung
|
5adfa1d56a
|
Merge pull request #698 from RalfJung/stacked-borrows-2
test that creating a 2nd mutable ref from a NonNull invalidates the first
|
2019-04-18 23:29:27 +02:00 |
|
Ralf Jung
|
22b57f6435
|
Merge branch 'master' into stacked-borrows-2
|
2019-04-18 19:28:25 +02:00 |
|
Ralf Jung
|
7d7cf4d42e
|
Merge pull request #696 from TimDiekmann/realloc
Add `realloc`
|
2019-04-18 17:21:04 +02:00 |
|
Ralf Jung
|
107b8b8ed9
|
try to fix Windows CI
|
2019-04-18 16:44:43 +02:00 |
|
Ralf Jung
|
36e99a1bda
|
remove some unneeded 'extern crate'
|
2019-04-18 16:16:32 +02:00 |
|
Tim Diekmann
|
9ecc07c9b2
|
Add handling for nullptr and size == 0
|
2019-04-18 15:20:32 +02:00 |
|
Ralf Jung
|
78e11058d3
|
CI: build with debug assertions
|
2019-04-18 14:58:30 +02:00 |
|
Ralf Jung
|
7d9dc6e698
|
test that creating a 2nd mutable ref from a NonNull invalidates the first
|
2019-04-18 14:43:25 +02:00 |
|
Tim Diekmann
|
afb64232db
|
Fix for latest upstream update
|
2019-04-18 12:39:18 +02:00 |
|
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 |
|