mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,126 Commits 2 Branches 0 Tags 1.4 GiB
094d07c114
Commit Graph

2126 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Andrew Poelstra
f77b292948 added line indicating that build.sh and cargo miri need the same toolchain 2018-10-23 15:22:14 +00:00
Andrew Poelstra
95f740600c improve README instructions for using rustup and for compiling separate Cargo projects 2018-10-23 15:22:14 +00:00
Ralf Jung
356369dd08 test against passing invalid shared refs around 2018-10-23 16:01:22 +02:00
Ralf Jung
5388037f8a remove code duplication by letting reactivatable() compute what reactivate() has to do 2018-10-23 15:59:50 +02:00
Ralf Jung
fe83ef323c also run compile-fail tests with and without optimizations 2018-10-23 13:09:17 +02:00
Ralf Jung
cc328f6374 test passing invalid refs around 2018-10-23 11:20:04 +02:00
Ralf Jung
25d7e1937e
Merge pull request #487 from solson/rustup 
Rustup
 2018-10-22 20:42:58 +02:00
Ralf Jung
8cd73e534f use as(_mut)_ptr on slices to entirely escape them to raw 2018-10-22 18:51:06 +02:00
Ralf Jung
44b3c38b44 make sure raw ptrs only have to be valid as far as they are used 2018-10-22 18:34:48 +02:00
Ralf Jung
26bb4f79dc get rid of implicit Raw at bottom of stack; locals get a uniq at their bottom 2018-10-22 18:17:37 +02:00
Ralf Jung
01828fde53 respect memory's privacy 2018-10-22 16:48:10 +02:00
Ralf Jung
fda03e9d7d some more compile-fail tests 2018-10-22 16:48:10 +02:00
Ralf Jung
dd1558f337 rustc update and be very selective about what we accept on a deref 2018-10-22 16:48:09 +02:00
Ralf Jung
1ae1b9bfea adapt to rustc API changes and factor out computing the tag for ty+mutbl 2018-10-22 16:45:03 +02:00
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