Ralf Jung
|
1a7fb7ec3c
|
expand comment about incomplete support for interior mutability
|
2018-10-22 12:51:47 +02:00 |
|
Ralf Jung
|
0b22a1c9d9
|
env vars should work on macOS
|
2018-10-22 09:04:32 +02:00 |
|
Ralf Jung
|
fdb3022a11
|
env vars are only available with full MIR
|
2018-10-22 08:41:48 +02:00 |
|
Ralf Jung
|
41eabb658e
|
bump Rust version
|
2018-10-22 08:41:06 +02:00 |
|
Ralf Jung
|
957d18c343
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-22 08:41:01 +02:00 |
|
Ralf Jung
|
bbb1d80703
|
disable env var test on macOS, win
|
2018-10-21 01:31:46 +02:00 |
|
Ralf Jung
|
53dc505592
|
Merge pull request #488 from RalfJung/start-fn
Automatically use start-fn if we have all the MIR
|
2018-10-19 13:47:56 +02:00 |
|
Ralf Jung
|
8134918390
|
don't use NOTE in tests
|
2018-10-19 12:29:49 +02:00 |
|
Ralf Jung
|
069b661a10
|
typo
|
2018-10-19 10:09:53 +02:00 |
|
Ralf Jung
|
0b6e349417
|
automalically use start-fn if we have all the MIR
|
2018-10-19 10:07:17 +02:00 |
|
Ralf Jung
|
186e42d088
|
move resolve_path to helpers module
|
2018-10-19 09:54:41 +02:00 |
|
Ralf Jung
|
b9fe91e486
|
fix for ptr-to-raw casts properly erasing the tag
|
2018-10-18 12:04:41 +02:00 |
|
Ralf Jung
|
8d754e63ae
|
Merge pull request #485 from apoelstra/2018-10-comment-482
add some comments to clarify command-line argument munging in #482
|
2018-10-18 10:00:19 +02:00 |
|
Andrew Poelstra
|
4fa5bfa2bb
|
add some comments to clarify command-line argument munging in #482
|
2018-10-17 20:24:52 +00:00 |
|
Ralf Jung
|
b259512c57
|
bump for ENABLE_PTR_TRACKING_HOOKS, and remove some dead code
|
2018-10-17 17:36:07 +02:00 |
|
Ralf Jung
|
1907782b64
|
reenable some tests that work now, and organize them better with directories
|
2018-10-17 16:58:54 +02:00 |
|
Ralf Jung
|
d4b78b36ab
|
stacked borrows: enforcement at memory accesses
|
2018-10-17 15:15:53 +02:00 |
|
Ralf Jung
|
66b4bb7cf2
|
stacked borrows: track refs and derefs
|
2018-10-16 18:35:27 +02:00 |
|
Ralf Jung
|
348f782085
|
add env var emulation test, and fix it complaining about leaks
|
2018-10-16 18:35:27 +02:00 |
|
Ralf Jung
|
b84f7e2029
|
add Borrow tag to pointers; remove old locking code
|
2018-10-16 18:35:27 +02:00 |
|
Ralf Jung
|
38ed191d28
|
Merge pull request #484 from RalfJung/mir-opt
Test with opt levels 0 and 1
|
2018-10-16 18:35:07 +02:00 |
|
Ralf Jung
|
f5e3cdbf03
|
explain our flags in the README
|
2018-10-16 17:58:31 +02:00 |
|
Ralf Jung
|
37de74f015
|
test with opt levels 0 and 1
|
2018-10-16 17:57:03 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
3247c6688c
|
Merge pull request #482 from apoelstra/2018-10-lib-tests
cargo-miri: support running unit tests for libraries as well as test binaries
|
2018-10-16 11:48:59 +02:00 |
|
Andrew Poelstra
|
4faf8fad10
|
cargo-miri: support running unit tests for libraries as well as test binaries
|
2018-10-15 18:38:07 +00:00 |
|
Ralf Jung
|
8e0180d4e7
|
Merge pull request #478 from RalfJung/rustc-tests
make rustc-tests a binary in the main project
|
2018-10-14 12:04:58 +02:00 |
|
Ralf Jung
|
88ec62640e
|
make rustc-tests a binary in the main project
|
2018-10-14 11:48:15 +02:00 |
|
Ralf Jung
|
8b14b03368
|
Merge pull request #473 from solson/rustup
rustup: Update for rustc validation fixes
|
2018-10-14 11:29:14 +02:00 |
|
Ralf Jung
|
9a1dd865c1
|
whitelist Windows Mutex
|
2018-10-14 11:06:36 +02:00 |
|
Ralf Jung
|
b24e1b789d
|
fix rustc_test compilation
|
2018-10-14 10:50:35 +02:00 |
|
Ralf Jung
|
99ca3820e7
|
bump toolchain
|
2018-10-14 10:35:48 +02:00 |
|
Ralf Jung
|
837a17625a
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-14 10:35:27 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
10244b5a0e
|
Merge pull request #477 from RalfJung/miri-validate
Validate more things
|
2018-10-12 12:26:39 +02:00 |
|
Ralf Jung
|
c9cf0344ee
|
enable validation for compile-fail tests, and add some new ones
|
2018-10-12 10:54:37 +02:00 |
|
Ralf Jung
|
62b819ba18
|
whitelist std::ptr::read
|
2018-10-12 10:40:44 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
7fb2fa70a7
|
Merge pull request #476 from RalfJung/atomics
atomics wrap around on overflow
|
2018-10-12 09:31:09 +02:00 |
|
Ralf Jung
|
b99e1267be
|
atomics wrap around on overflow
|
2018-10-12 09:08:17 +02:00 |
|
Ralf Jung
|
26f9d617c3
|
do not validate start-fn code
|
2018-10-11 16:10:04 +02:00 |
|
Ralf Jung
|
1846f111c9
|
fix return place for __rust_maybe_catch_panic
|
2018-10-11 15:28:21 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
dc08735acf
|
Merge pull request #474 from RalfJung/miri-validate
Enable enforcing the validity invariant per default
|
2018-10-11 13:36:43 +02:00 |
|
Ralf Jung
|
e4dfb7013b
|
enable validation per default, but add a flag to disable it and use that for some run-pass tests
compile-fail does not do validation yet
|
2018-10-11 11:24:22 +02:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
616645255a
|
Merge pull request #468 from RalfJung/pointer-provenance
update for ptr provenance
|
2018-10-11 09:15:35 +02:00 |
|
Ralf Jung
|
d94d32e937
|
enforce_validity became a function
|
2018-10-11 09:02:28 +02:00 |
|
Ralf Jung
|
a090edbc03
|
explain a test
|
2018-10-11 08:59:39 +02:00 |
|
Ralf Jung
|
791f464ea0
|
update for size_and_align considering extern types
|
2018-10-11 08:59:39 +02:00 |
|
Ralf Jung
|
ce5b183e8b
|
update for new return place handling
|
2018-10-11 08:59:39 +02:00 |
|
Ralf Jung
|
cde707d28b
|
bump toolchain
|
2018-10-11 08:45:57 +02:00 |
|
Ralf Jung
|
8ea8cd2919
|
update for ptr provenance
|
2018-10-11 08:42:26 +02:00 |
|
Ralf Jung
|
15a00043ba
|
Merge pull request #470 from RalfJung/ptr-offset
only allow 0-offset on integer pointers
|
2018-10-10 11:28:33 +02:00 |
|
Ralf Jung
|
a439262859
|
Merge branch 'master' into ptr-offset
|
2018-10-10 10:03:34 +02:00 |
|