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

2171 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Ralf Jung
430e047a6f start collecting some things ALLOWED by stacked borrows in a run-pass test 2018-11-01 08:58:03 +01:00
Ralf Jung
85f821d7e9 unify checks on memory access and reborrowing, and update for Machine trait change 2018-11-01 08:58:03 +01:00
Ralf Jung
bba3c49e84 basic retagging (no fn_entry); this also makes us catch more bugs even with optimizations and we can finally stop mutating the state on deref 2018-11-01 08:58:03 +01:00
Ralf Jung
7ac0e79ad5 stub Retag hook; fix tests for removal of -Zmir-emit-validate 2018-11-01 08:58:03 +01:00
Ralf Jung
fba55ba2a9 make the -Z flags we use more consistent 2018-11-01 08:58:03 +01:00
Ralf Jung
27b1f47b0a use crate:: where appropriate 2018-11-01 08:57:22 +01:00
Ralf Jung
2833b54100
Merge pull request #503 from RalfJung/atomic-arith 
Reject atomic arithmetic on non-integer types
 2018-10-31 13:02:37 +01:00
Ralf Jung
1fe925e758
Merge branch 'master' into atomic-arith 2018-10-31 11:19:26 +01:00
Ralf Jung
75f667e000
Merge pull request #502 from RalfJung/debug 
Improve debug env var handling
 2018-10-31 11:19:12 +01:00
Ralf Jung
40b7502613 Reject atomic arithmetic on non-integer types 
Fixes #181
 2018-10-31 11:04:35 +01:00
Ralf Jung
016009a301 properly recognize log levels 2018-10-31 10:58:19 +01:00
Ralf Jung
5397f2e436 when using MIRI_LOG, avoid logging for what rustc does before miri gets started 2018-10-31 10:53:37 +01:00
Ralf Jung
7a6a68731e remove unused extern crate 2018-10-31 10:19:20 +01:00
Ralf Jung
8f811fe12f update README 2018-10-31 10:16:50 +01:00
Ralf Jung
cd256448d5 dumping locals with MIRI_BACKTRACE=1 is feasible now 2018-10-31 10:16:42 +01:00
Ralf Jung
eb153810e3 Use MIRI_ env vars to set RUST_ ones 
This means we can do `MIRI_LOG=debug cargo run` and get something reasonable,
even if cargo has to build some dependencies first.
 2018-10-31 10:09:55 +01:00
Ralf Jung
f0c1f18314
Merge pull request #501 from RalfJung/travis 
rewrite cargo-miri test in Python
 2018-10-30 15:29:45 +01:00
Ralf Jung
8fe51ca669 try to find python3 on macOS 2018-10-30 15:07:40 +01:00
Ralf Jung
f6b1f9e487 rewrite cargo-miri test in Python 2018-10-30 11:26:53 +01:00
Ralf Jung
9c57f2ba35
Merge pull request #492 from solson/rustup 
Stacked Borrows NG
 2018-10-30 11:05:56 +01:00
Ralf Jung
1fa0ff88c0 fix nits 2018-10-30 10:41:01 +01:00
Ralf Jung
9c9552260c test cargo-miri without validation, and fix how we invoke it so we see output in case of failure 2018-10-30 10:40:28 +01:00
Ralf Jung
6cbe280094 Merge remote-tracking branch 'origin/master' into rustup 2018-10-30 09:40:18 +01:00
Ralf Jung
a48b2cc4e9 disable validation for some tests that need further investigation 2018-10-30 09:40:01 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
af05d1d397
Merge pull request #499 from RalfJung/test-opt 
MIR optimization level 3 works again :)
 2018-10-30 09:22:59 +01:00
Ralf Jung
942204ee32 bump Rust version 2018-10-30 08:40:50 +01:00
Ralf Jung
559f63a2b6 Merge remote-tracking branch 'origin/master' into rustup 2018-10-30 08:40:30 +01:00
Ralf Jung
cba30e8e8b opt level 3 works again :) 2018-10-29 11:51:22 +01:00
Ralf Jung
f86c706df2
Merge pull request #498 from RalfJung/rustup 
Update for generate_stacktrace return type change
 2018-10-29 10:04:41 +01:00
Ralf Jung
f7741bcfe0 bump compiletest 2018-10-29 09:15:58 +01:00
Ralf Jung
4ccdcdcace rustup 2018-10-29 09:15:15 +01:00
Ralf Jung
4a98f64142 Merge remote-tracking branch 'origin/master' into rustup 2018-10-26 15:06:21 +02:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
09a3f7265e
Merge pull request #495 from RalfJung/no-null 
Avoid using is_null
 2018-10-25 12:31:17 +01:00
Ralf Jung
d890a70c39 update for is_null removal 2018-10-25 11:37:42 +02:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
c02988b1c3
Merge pull request #494 from RalfJung/readme 
update README
 2018-10-24 17:01:38 +01:00
Ralf Jung
8f9ca242fa expand -Z flag docs 2018-10-24 15:32:51 +02:00
Ralf Jung
86aa8352c6 Work on miri installation and usage instructions 2018-10-24 15:29:48 +02:00
Ralf Jung
1cbed5ca35
Merge pull request #483 from apoelstra/2018-10-readme 
improve README instructions for using `rustup` and for compiling separate crates
 2018-10-24 15:07:22 +02:00
Ralf Jung
a34b9c7b70 make some things public for the benefit of priroda 2018-10-24 11:39:31 +02:00
Andrew Poelstra
5347411a2d README: remove "specific nightly" instructions and use +nightly throughout 
Also replace `cargo miri test` with `cargo miri` in general examples.
 2018-10-23 15:22:14 +00:00
Andrew Poelstra
abda1a8ebb rename rust-toolchain to rust-version; add note to README about usage 2018-10-23 15:22:14 +00:00
Andrew Poelstra
3dcf655eea readme: pull "common problems" into their own section 2018-10-23 15:22:14 +00:00
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