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

6538 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Oli Scherer
389915e09b Replace all //error-pattern comments with strict syntax and fix other comments in the same files 2022-07-08 15:55:37 +00:00
Oli Scherer
4bd4838c15 Implement strict comment parsing for ui tests 2022-07-08 15:27:09 +00:00
bors
cde87d1823 Auto merge of #2345 - RalfJung:rustup, r=RalfJung 
rustup
 2022-07-08 00:13:26 +00:00
Ralf Jung
23d1f1a5a3 rustup 2022-07-07 20:12:30 -04:00
bors
622963a2df Auto merge of #2343 - RalfJung:comment, r=RalfJung 
fix comment in ./miri

pointed out in https://github.com/rust-lang/miri/pull/2288#discussion_r915445912
 2022-07-07 12:20:53 +00:00
Ralf Jung
52abae6826 fix comment in ./miri 2022-07-07 08:20:24 -04:00
bors
e7025223db Auto merge of #2342 - RalfJung:dead-opt, r=RalfJung 
remove a dead optimization

This became dead code when I removed "Untagged".
 2022-07-07 11:43:38 +00:00
Ralf Jung
6b3986f44d remove a dead optimization 2022-07-07 07:42:31 -04:00
bors
64dec227bd Auto merge of #2314 - RalfJung:unsized, r=RalfJung 
adjust for removed unsized_locals

The Miri side of https://github.com/rust-lang/rust/pull/98831
 2022-07-07 02:55:28 +00:00
Ralf Jung
b6602f5d11 rustup 2022-07-06 22:55:12 -04:00
Ralf Jung
5fed3ebc26 adjust code for copy_op changes 2022-07-06 21:40:31 -04:00
Ralf Jung
e9176c747e test for better error location on stack pop 2022-07-06 21:40:31 -04:00
Ralf Jung
e5df0cc770 adjust tests for removal of unsized_locals 2022-07-06 21:40:31 -04:00
bors
4e4607bffc Auto merge of #2341 - RalfJung:rustup, r=RalfJung 
rustup; ptr atomics

Adds support for the operations added in https://github.com/rust-lang/rust/pull/96935.
I made the pointer-binops always return the provenance of the *left* argument; `@thomcc` I hope that is what you intended. I have honestly no idea if it has anything to do with what LLVM does...

I also simplified our pointer comparison code while I was at it -- now that *all* comparison operators support wide pointers, we can unify those branches.
 2022-07-07 01:40:22 +00:00
Ralf Jung
d5f1c26380 rustup; ptr atomics 2022-07-06 21:38:52 -04:00
bors
8c7114841c Auto merge of #2339 - RalfJung:rustup, r=RalfJung 
rustup
 2022-07-06 18:07:57 +00:00
Ralf Jung
501a6b4687 rustup 2022-07-06 14:06:15 -04:00
bors
7d5ae091cb Auto merge of #2338 - RalfJung:format, r=RalfJung 
tweak format strings
 2022-07-06 13:49:46 +00:00
Ralf Jung
907a003f14 tweak format strings 2022-07-06 09:47:48 -04:00
bors
36d8f5cbfc Auto merge of #2336 - RalfJung:wide-ptr-compare, r=RalfJung 
fix comparing wide raw pointers

Fixes https://github.com/rust-lang/rust/issues/96169

However I am not sure if these are the correct semantics. I'll wait for confirmation in that issue.
 2022-07-06 12:16:25 +00:00
bors
6fcf4826de Auto merge of #2337 - RalfJung:rustup, r=RalfJung 
rustup

Adds a regression test for https://github.com/rust-lang/rust/issues/96185
 2022-07-06 02:30:17 +00:00
Ralf Jung
de2915bba7 rustup 2022-07-05 22:29:38 -04:00
Ralf Jung
6c8ad4abc9 fix comparing wide raw pointers 2022-07-05 21:21:02 -04:00
bors
1118d94bdf Auto merge of #2335 - RalfJung:rustup, r=RalfJung 
rustup
 2022-07-05 22:17:31 +00:00
Ralf Jung
f3f4bafa1b rustup 2022-07-05 18:16:20 -04:00
bors
35399c6a5d Auto merge of #2323 - RalfJung:box-is-special, r=RalfJung 
handle Box with allocators

This is the Miri side of https://github.com/rust-lang/rust/pull/98847.

Thanks `@DrMeepster` for doing most of the work of getting this test case to pass in Miri. :)
 2022-07-05 12:35:03 +00:00
Ralf Jung
2931e0fd63 handle Box with allocators 2022-07-05 08:34:41 -04:00
bors
1a60a7dc89 Auto merge of #2334 - RalfJung:range, r=RalfJung 
we don't need HexRange any more
 2022-07-05 11:56:14 +00:00
Ralf Jung
a07398d441 we don't need HexRange any more 2022-07-05 07:38:42 -04:00
bors
723fa96c8d Auto merge of #2329 - RalfJung:benches, r=oli-obk 
add command to run our benchmarks

This is quite ad-hoc but better than nothing IMO.
I have also deleted the old `benches` folder. Some of these tests have UB 😂 and the rest doesn't seem very useful to benchmark the things that are slow about Miri today.

Cc `@saethlin`
 2022-07-05 11:29:55 +00:00
bors
178e7f3f33 Auto merge of #2333 - rust-lang:miriup, r=oli-obk 
Bump rust version

rustc changes: https://github.com/rust-lang/rust/pull/98811

rustc issue: https://github.com/rust-lang/rust/issues/98922
 2022-07-05 10:18:54 +00:00
Oli Scherer
afb937ab25 Bump rust version 2022-07-05 10:17:43 +00:00
bors
4dacf5ae64 Auto merge of #2330 - RalfJung:notex, r=oli-obk 
remove ancient tex files

These are the sources of `@solson's` original report, I think. They will remain available in the git history, but I don't think there is much point in still carrying them around on master. The readme links to their rendered PDFs:
- https://solson.me/miri-slides.pdf
- https://solson.me/miri-report.pdf
 2022-07-05 08:28:17 +00:00
Ralf Jung
6083963b4b do not enable expensive-debug-assertions in installed Miri in CI 2022-07-04 20:14:07 -04:00
Ralf Jung
b2e64653eb ensure that benchmarks can actually run 2022-07-04 19:40:44 -04:00
Ralf Jung
6ec8909fdb less silly Cargo.toml 2022-07-04 19:26:43 -04:00
bors
b93a70fe3f Auto merge of #2331 - RalfJung:trophy, r=RalfJung 
trophy case++
 2022-07-04 20:11:17 +00:00
Ralf Jung
58b6e592a2 trophy case++ 2022-07-04 16:10:57 -04:00
Ralf Jung
722c229c42 add a simple benchmark with concurrency 2022-07-04 15:58:55 -04:00
Ralf Jung
97dd53d5ef remove ancient tex files 2022-07-04 15:26:02 -04:00
Ralf Jung
d7a9989f52 add command to run our benchmarks 2022-07-04 15:23:31 -04:00
Ralf Jung
04a0135af7 make unicode benchmark not take 20s 2022-07-04 15:12:40 -04:00
Ralf Jung
25cbfcc5be delete ancient benchmarks 2022-07-04 15:11:14 -04:00
bors
709e29a167 Auto merge of #2327 - RalfJung:unit-return, r=RalfJung 
call_function: make the unit-return-type case more convenient
 2022-07-04 17:47:28 +00:00
Ralf Jung
22aa7f98c5 call_function: make the unit-return-type case more convenient 2022-07-04 13:46:11 -04:00
bors
f338e62e57 Auto merge of #2326 - RalfJung:vscode, r=RalfJung 
update vscode settings

Following [this recommendation](https://rust-lang.zulipchat.com/#narrow/stream/122651-general/topic/.22target.22.20directory.20in.20rustc.20tree.3F/near/288428273)
Cc https://github.com/rust-lang/rustc-dev-guide/pull/1384
 2022-07-04 17:07:46 +00:00
Ralf Jung
0ce1e14c89 update vscode settings 2022-07-04 13:07:18 -04:00
bors
984b46cc7d Auto merge of #2320 - RalfJung:less-rebuilds, r=RalfJung 
reduce regex features to reduce rebuilds

Helps with the issue I [mentioned on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Miri.20rebuilds/near/287442340).
 2022-07-03 16:31:49 +00:00
Ralf Jung
248a10eaf5 reduce regex features to reduce rebuilds 2022-07-03 12:28:57 -04:00
bors
2e20cae150 Auto merge of #2319 - RalfJung:dont-touch-vtables, r=RalfJung 
fix retagging of vtable ptrs

Fixes a problem reported by `@saethlin` on [Zulip](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Stacked.20Borrows.20field.20retagging/near/288040048).
 2022-07-03 15:56:55 +00:00