mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6,215 Commits 2 Branches 0 Tags 1.4 GiB
61f5680da0
Commit Graph

6215 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Andy Wang
ecdab5ff35
Clearer boundries between alloc metadata with multiple buffers and an individual store buffer 2022-06-06 19:15:21 +01:00
Andy Wang
cf266584b7
Comment out and provide context to C++20 test 2022-06-06 19:15:21 +01:00
Andy Wang
aca3b3a645
set_at_index sets the default value (0) if index doesn't exist in the other vector 2022-06-06 19:15:20 +01:00
Andy Wang
e7698f4f07
Implement weak memory emulation 2022-06-06 19:15:20 +01:00
Andy Wang
16315b1540
Add test cases 2022-06-06 19:15:20 +01:00
Andy Wang
8d36e8b32c
Add weak memory config option 2022-06-06 19:15:19 +01:00
bors
3361eabf38 Auto merge of #2183 - RalfJung:better-provenance-control, r=RalfJung 
adjust for better provenance control

This is the Miri side of https://github.com/rust-lang/rust/pull/97684.
 2022-06-06 16:57:34 +00:00
Ralf Jung
84edb76e26 make output bitwidth-independent 2022-06-06 12:35:48 -04:00
bors
cd73c861c4 Auto merge of #2202 - InfRandomness:infrandomness/rustdoc-fixes, r=RalfJung 
Fix rustdoc warnings

This fixes the rustdoc warnings presented by the tool
 2022-06-06 16:32:05 +00:00
infrandomness
3ba6456181 Fix rustdoc warnings 2022-06-06 18:30:15 +02:00
Ralf Jung
b39e4c729a rustup 2022-06-06 12:10:40 -04:00
Ralf Jung
7f5cfa54d9 port some tests away from flags we want to remove 2022-06-06 11:44:36 -04:00
Ralf Jung
b1b3836172 fix rustup-toolchain without arguments 2022-06-06 11:44:27 -04:00
Ralf Jung
34d4928dce addr no longer exposes :) 2022-06-06 11:43:25 -04:00
Ralf Jung
63625b0397 adjust for better provenance control 2022-06-06 11:43:25 -04:00
bors
1c711a10a9 Auto merge of #2201 - RalfJung:arg-parsing, r=RalfJung 
argument parsing: make better use of strip_prefix

This gets rid of lots of `unwrap`. :)
 2022-06-06 15:09:47 +00:00
Ralf Jung
f31a8e0951 argument parsing: make better use of strip_prefix 2022-06-06 11:07:25 -04:00
bors
fc8631a737 Auto merge of #2198 - InfRandomness:UNIX-refactor, r=RalfJung 
Refactor POSIX to UNIX

This renames the directories containing posix to unix; where applicable,
it also rename functions with the word "posix" to "unix"

Fixes https://github.com/rust-lang/miri/issues/2012
 2022-06-06 12:45:32 +00:00
infrandomness
d0a0369a24 Refactor POSIX to UNIX 
This renames the directory containing posix to unix; where applicable,
it also rename functions with the word "posix" to "unix"
 2022-06-05 22:46:34 +02:00
bors
2eae474673 Auto merge of #2197 - RalfJung:round-robin, r=RalfJung 
make Miri's scheduler proper round-robin

When thread N blocks or yields, we activate thread N+1 next, rather than always activating thread 0. This should guarantee that as long as all threads regularly yield, each thread eventually takes a step again.

Fixes the "multiple loops that yield playing ping-pong" part of https://github.com/rust-lang/miri/issues/1388.
`@cbeuw` I hope this doesn't screw up the scheduler-dependent tests you are adding in your PR.
 2022-06-05 18:37:07 +00:00
Ralf Jung
34b359be1e more spin-loop-tests 2022-06-05 14:36:49 -04:00
Ralf Jung
47745380cd make Miri's scheduler proper round-robin 2022-06-05 14:22:00 -04:00
bors
0fbe710012 Auto merge of #2194 - RalfJung:race, r=RalfJung 
add interesting data race test

This interesting testcase came up in https://github.com/rust-lang/miri/issues/2192.
 2022-06-05 16:38:53 +00:00
Ralf Jung
b2832008e2 add interesting data race test 2022-06-05 12:38:34 -04:00
bors
d312b34feb Auto merge of #2193 - RalfJung:strict, r=RalfJung 
do not use int2ptr casts in strict provenance tests
 2022-06-05 15:49:55 +00:00
Ralf Jung
4a852126b9 do not use int2ptr casts in strict provenance tests 2022-06-05 11:47:39 -04:00
bors
5f988ab553 Auto merge of #2189 - RalfJung:clippy, r=RalfJung 
run Clippy on CI

and fix some things it complains about. Also use `rustup-toolchain` script on CI (reduces code duplication, and good thing to make sure it keeps working, since we recommend it in the docs).

I left `ui_test` out for now; I'll leave those nits to `@oli-obk.` ;)
 2022-06-05 15:18:39 +00:00
bors
5a1b09eb9f Auto merge of #2190 - RalfJung:rustup, r=RalfJung 
rustup

Cc https://github.com/rust-lang/rust/issues/97745
 2022-06-04 23:44:29 +00:00
Ralf Jung
32c03080f1 rustup 2022-06-04 19:43:46 -04:00
Ralf Jung
3d30aece83 clippy: cargo-miri 2022-06-04 13:37:37 -04:00
Ralf Jung
151b6b13e0 clippy: main crate 2022-06-04 13:29:00 -04:00
Ralf Jung
bd7f83dc37 run clippy on CI 2022-06-04 13:25:54 -04:00
bors
92c2e3c0bc Auto merge of #2186 - matthiaskrgr:clippy, r=RalfJung 
clippy fixes

clippy::redundant_closure
clippy::unnecessary_mut_passed
clippy::single_char_pattern
clippy::clone_on_copy
clippy::into_iter_on_ref
clippy::extra_unused_lifetimes
 2022-06-04 15:17:17 +00:00
Matthias Krüger
bcc491a6ba clippy fixes 
clippy::redundant_closure
clippy::unnecessary_mut_passed
clippy::single_char_pattern
clippy::clone_on_copy
clippy::into_iter_on_ref
clippy::extra_unused_lifetimes
 2022-06-04 17:10:32 +02:00
bors
f8840e683e Auto merge of #2184 - RalfJung:readme, r=RalfJung 
fix dangling reference in the README
 2022-06-03 18:49:13 +00:00
Ralf Jung
625b4ed341 fix dangling reference in the README 2022-06-03 14:48:45 -04:00
bors
53a2b2f1c3 Auto merge of #2180 - RalfJung:stale, r=RalfJung 
delete stale stderr files

`@oli-obk` can we do anything to detect them? Not sure if compiletest does anything smart here.
 2022-06-03 12:10:32 +00:00
Ralf Jung
2b9c45f96f delete stale stderr files 2022-06-03 08:10:09 -04:00
bors
8bcb8064dd Auto merge of #2178 - RalfJung:double-ref, r=RalfJung 
do not pass TyCtxt by reference
 2022-06-02 19:11:46 +00:00
Ralf Jung
e79a331fea do not pass TyCtxt by reference 2022-06-02 15:11:22 -04:00
bors
7f4f6072aa Auto merge of #2177 - DrMeepster:global_allocator_backtrace_test, r=RalfJung 
add test for backtrace with global allocator

closes #1996
 2022-06-02 11:37:11 +00:00
DrMeepster
0b7a148ad9 add test for backtrace with global allocator 2022-06-01 17:32:01 -07:00
bors
232260bbdc Auto merge of #2176 - RalfJung:test-dirs, r=oli-obk 
rename test suite directories

Fixes https://github.com/rust-lang/miri/issues/2154
 2022-06-01 15:41:11 +00:00
Ralf Jung
3d634c975c rename test suite directories 2022-06-01 10:53:38 -04:00
bors
749efd2956 Auto merge of #2174 - RalfJung:summary, r=oli-obk 
print list of failed tests in summary

compiletest does this and it is quite useful; see e.g. [here](https://github.com/rust-lang/rust/runs/6473917188?check_suite_focus=true). Example output:

![image](https://user-images.githubusercontent.com/330628/171382085-21674f46-9db4-49ef-9c52-2be06b307e28.png)
 2022-06-01 13:01:22 +00:00
Ralf Jung
9b9edc7440 print list of failed tests in summary 2022-06-01 08:59:34 -04:00
bors
40306ba6c3 Auto merge of #2175 - RalfJung:xargo, r=oli-obk 
bump Xargo

Also use that as a clue to refresh our CI caches.

Fixes https://github.com/rust-lang/miri/issues/705
 2022-06-01 12:39:28 +00:00
bors
f7c1b5bb0c Auto merge of #2167 - rust-lang:gesundheit, r=RalfJung 
Check that diagnostics happen in the line that they are annotated for

fixes #2131
 2022-06-01 11:48:12 +00:00
Oli Scherer
4b100a1b58 Check that diagnostics happen in the line that they are annotated for 2022-06-01 11:47:54 +00:00
Ralf Jung
4f70093805 advanced GHA 2022-06-01 06:45:09 -04:00