mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,190 Commits 2 Branches 0 Tags 1.4 GiB
304cd3e410
Commit Graph

5190 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
JCTyBlaidd
69fb6413dd Tidy up comments and function layout, should fix most of the review notes. 2020-11-15 18:30:26 +00:00
bors
1499c5a4d9 Auto merge of #1624 - RalfJung:rustup, r=RalfJung 
rustup; less strict timing tests
 2020-11-12 15:51:10 +00:00
Ralf Jung
915d091973 rustup; less strict timing tests 2020-11-12 16:50:24 +01:00
bors
df4109151b Auto merge of #1623 - RalfJung:rustup, r=RalfJung 
rustup
 2020-11-11 09:34:41 +00:00
Ralf Jung
43673d9a87 rustup 2020-11-11 10:29:10 +01:00
bors
0459f0be9e Auto merge of #1621 - RalfJung:rustup, r=RalfJung 
Rustup; test btreemap with raw ptr tracking
 2020-11-10 15:53:31 +00:00
Ralf Jung
df0de77fd1 test btreemap with raw ptr tracking 2020-11-10 16:51:55 +01:00
Ralf Jung
db718d72ae remove some unnecessary feature flags 2020-11-10 16:51:07 +01:00
Ralf Jung
737ecef376 rustup and update test 2020-11-10 16:47:56 +01:00
bors
66a58d43cc Auto merge of #1615 - jyn514:contributing-instructions, r=RalfJung 
Improve contributing instructions

This builds on the changes from https://github.com/rust-lang/miri/pull/1612 and should not be merged before.

- Fix incorrect comment
- Recommend `x.py setup` over manually editing config.toml
- Link to rustc-dev-guide
 2020-11-07 23:42:21 +00:00
Joshua Nelson
43ce2c2844 Improve contributing instructions 
- Fix incorrect comment
- Recommend `x.py setup` over manually editing config.toml
- Link to rustc-dev-guide
 2020-11-07 15:37:20 -05:00
bors
85a9a43bef Auto merge of #1612 - camelid:patch-1, r=RalfJung 
CONTRIBUTING.md: Use `build --stage 1` instead of `build --stage 2`

It seems to work fine with `--stage 1` and it should be faster.

Cc #1610
Cc `@jyn514`
 2020-11-07 20:12:16 +00:00
Camelid
6a475c3ddf
CONTRIBUTING.md: Update comment 
Co-authored-by: Ralf Jung <post@ralfj.de>
 2020-11-07 11:26:41 -08:00
bors
a5c2211ada Auto merge of #1620 - RalfJung:overflow, r=RalfJung 
enable overflow checks in the standard library
 2020-11-07 14:58:41 +00:00
Ralf Jung
330ec0acdb enable overflow checks in the standard library 2020-11-07 15:56:25 +01:00
JCTyBlaidd
2a40d9b7a0 More aggressive vector index re-use, and added some tests. 2020-11-06 17:29:54 +00:00
bors
30e0c303a0 Auto merge of #1619 - RalfJung:rustup, r=RalfJung 
rustup
 2020-11-05 16:10:13 +00:00
Ralf Jung
f31f00d5af rustup 2020-11-05 17:09:44 +01:00
JCTyBlaidd
c70bbea257 Move to use of thread termination hook for vector re-use, 
convert validate atomic op to use shared reference and get_raw
 instead of get_raw_mut so it can be used for validate_atomic_load as well
 2020-11-05 14:18:28 +00:00
JCTyBlaidd
9cb6b8da3f Split out vector_clock to separate file, general tidy up of some of the 
code & add support for vector index re-use for multiple threads
 after termination.
 2020-11-05 03:54:39 +00:00
JCTyBlaidd
95c99b2044 Detect races between atomic and non-atomic accesses of a variable, 
previously only data races between two non-atomic accesses were
 detected.
 2020-11-04 21:35:48 +00:00
bors
2590bc64fe Auto merge of #1614 - RalfJung:raw-retag, r=RalfJung 
Stacked Borrows: test raw-ref-to-field with raw ptr tracking

Adds a test for https://github.com/rust-lang/rust/pull/78597 (blocked on that landing first)
 2020-11-03 19:07:45 +00:00
Ralf Jung
571b48cc47 rustup 2020-11-03 20:07:19 +01:00
JCTyBlaidd
fe2e857cc3 Add newlines at end of file + use replace. 
add dangling thread variant of one of the benchmarks
 2020-11-02 13:08:09 +00:00
JCTyBlaidd
2e75de5ac9 Mark all new tests as disabled on windows 2020-11-02 12:40:12 +00:00
JCTyBlaidd
cae4302003 Fix & rebase 2020-11-02 03:06:30 +00:00
JCTyBlaidd
ed32b260f9 Add tests, and fix bug in atomic RMW relaxed stores 2020-11-02 02:57:06 +00:00
JCTyBlaidd
89814f1b3f Initial data-race detector, 
passes all current tests but additional tests are required
 2020-11-02 02:57:05 +00:00
Ralf Jung
7eaba6684c fix trophy case URL 2020-10-31 16:28:56 +01:00
Ralf Jung
00bc944eea test Rc with raw pointer tracking 2020-10-31 16:24:34 +01:00
Ralf Jung
f936bc6b92 fix writing to read-only raw pointer in thread-local test 2020-10-31 16:24:34 +01:00
Ralf Jung
80a0a12b07 Stacked Borrows: test raw-ref-to-field with raw ptr tracking 2020-10-31 16:24:34 +01:00
bors
9a2cfbfc0a Auto merge of #1613 - RalfJung:test-normalize, r=RalfJung 
backtrace tests: support more ways of checking out Rust locally

Tests failed when using a local build as my folders are called `rustc`, `rustc.2`, ...
Expand the regex to also support that naming scheme.
 2020-10-31 12:48:49 +00:00
Ralf Jung
e7246be4f0 backtrace tests: support more ways of checking out Rust locally 2020-10-31 13:47:42 +01:00
Camelid
bb59980b2d CONTRIBUTING.md: Use build --stage 1 instead of build --stage 2 
It seems to work fine with `--stage 1` and it should be faster.
 2020-10-30 14:34:07 -07:00
bors
e4840ef4c9 Auto merge of #1611 - RalfJung:timing-tests, r=RalfJung 
increase timeout to avoid spurious test failures

just saw this fail on macOS in PR CI, so add some extra safety margin
 2020-10-30 18:22:11 +00:00
Ralf Jung
2a4faf638b increase timeout to avoid spurious test failures 2020-10-30 18:59:58 +01:00
bors
8f368393da Auto merge of #1610 - camelid:patch-2, r=RalfJung 
Update locally-built rustc instructions

Cc rust-lang/rust#78435
 2020-10-30 17:58:03 +00:00
Camelid
1496462a89 Update locally-built rustc instructions 2020-10-30 09:57:39 -07:00
bors
08ab8ce670 Auto merge of #1609 - camelid:patch-1, r=RalfJung 
Fix link in README

The section it references is now in `CONTRIBUTING.md`.
 2020-10-29 23:37:41 +00:00
Camelid
02af2a38ac
Fix link in README 2020-10-29 16:14:54 -07:00
bors
6359b1b0eb Auto merge of #1607 - RalfJung:rustup, r=RalfJung 
rustup
 2020-10-29 19:58:10 +00:00
Ralf Jung
1ad827c511 rustup 2020-10-29 20:57:38 +01:00
bors
c3a84c1ca8 Auto merge of #1606 - RalfJung:trophy, r=oli-obk 
update trophy case
 2020-10-28 13:40:51 +00:00
bors
83f7657ed0 Auto merge of #1603 - RalfJung:track-raw, r=oli-obk 
add an option to track raw pointer tags in Stacked Borrows

Also make error messages more informative by printing the affected memory location
 2020-10-28 13:19:25 +00:00
Ralf Jung
2589b48251 update trophy case 2020-10-28 14:05:37 +01:00
Ralf Jung
bf54607ba0 test raw pointer tracking; we cannot track raw pointers on Windows 2020-10-28 13:54:50 +01:00
bors
606436753a Auto merge of #1604 - RalfJung:std-debug-assert, r=oli-obk 
disable debug assertions in the standard library

Debug assertions in the standard library can be somewhat expensive to check, in particular the ones covering each and every `ptr::write/copy/copy_nonoverlapping`. Miri will find most of those problems anyway since they cause UB. There are other debug assertions, such as ensuring internal invariants are maintained, but given how slow Miri already is, I think it is better to skip those checks in Miri and instead figure out a better way for people to use a standard library with debug assertions enabled.
 2020-10-28 12:54:01 +00:00
Ralf Jung
70af7aed88 expand flag docs 2020-10-28 13:03:46 +01:00
bors
b7d0cecf2d Auto merge of #1605 - RalfJung:readme, r=RalfJung 
Readme: remove outdated CI badges
 2020-10-28 11:58:08 +00:00