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

5119 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
d6b5ead0ba add Zulip site information 2021-01-15 15:23:20 +01:00
bors
84d460bb4b Auto merge of #1669 - RalfJung:rustup, r=RalfJung 
rustup

Cc https://github.com/rust-lang/rust/issues/80907
 2021-01-11 11:35:58 +00:00
Ralf Jung
8e15f3221e rustup 2021-01-11 12:35:13 +01:00
bors
f40a8f66e0 Auto merge of #1668 - RalfJung:zulip, r=RalfJung 
fix zulip-send path
 2021-01-11 11:10:30 +00:00
Ralf Jung
6c112e0459 fix zulip-send path 2021-01-11 12:09:55 +01:00
bors
838de0e838 Auto merge of #1667 - RalfJung:cron-fail-notification, r=RalfJung 
send Zulip notification when cron job fails

Let's see if this works...
 2021-01-10 19:12:00 +00:00
Ralf Jung
333d7bb2c5 send Zulip notification when cron job fails 2021-01-10 19:15:22 +01:00
bors
a09f8b0c06 Auto merge of #1663 - RalfJung:rustup, r=RalfJung 
test Weak into_raw/from_raw on dangling ptrs
 2020-12-31 12:16:58 +00:00
Ralf Jung
82c6c77b9a test Weak into_raw/from_raw on dangling ptrs 2020-12-31 13:11:34 +01:00
bors
0a723fa91d Auto merge of #1662 - RalfJung:rustup, r=RalfJung 
panicing now works with -Zmiri-track-raw-pointers
 2020-12-30 23:18:02 +00:00
Ralf Jung
7e198147df panicing now works with -Zmiri-track-raw-pointers 2020-12-31 00:17:08 +01:00
bors
3e74daa055 Auto merge of #1659 - RalfJung:rustup, r=RalfJung 
rustup; add an interesting alias test case
 2020-12-29 18:29:21 +00:00
Ralf Jung
a81ebd8fe3 rustup; add an interesting alias test case 2020-12-29 19:27:45 +01:00
bors
e18c681eea Auto merge of #1658 - RalfJung:forget, r=RalfJung 
remove intrinsic that is now implemented in the rustc side

Since https://github.com/rust-lang/rust/pull/80040, we can rely on the pass introduced in https://github.com/rust-lang/rust/pull/79049 to lower away `forget`.
 2020-12-22 11:54:05 +00:00
Ralf Jung
65f5c27d61 remove intrinsic that is now implemented in the rustc side 2020-12-22 12:47:59 +01:00
bors
d895f6e229 Auto merge of #1657 - RalfJung:zulip, r=RalfJung 
link to our shiny new Zulip stream
 2020-12-21 13:40:33 +00:00
Ralf Jung
e204c0fbab link to our shiny new Zulip stream 2020-12-21 14:39:18 +01:00
bors
9b5faa9c82 Auto merge of #1656 - RalfJung:tests, r=RalfJung 
test suite updates
 2020-12-21 12:25:57 +00:00
Ralf Jung
6dc353c091 test test suite harness with raw-ptr tracking 2020-12-21 11:36:40 +01:00
Ralf Jung
3d151c8b62 leak checker: also test AtomicPtr stored via 'swap' 2020-12-21 11:36:39 +01:00
Ralf Jung
05fcf86f11 rename test ref files for proper names 2020-12-21 11:31:57 +01:00
bors
24d8e8df10 Auto merge of #1655 - RalfJung:rustup, r=RalfJung 
rustup + cargo-miri 'cargo update'
 2020-12-21 09:55:26 +00:00
Ralf Jung
ba0d229752 rustup + cargo-miri 'cargo update' 2020-12-21 10:53:55 +01:00
bors
9b762c7b6d Auto merge of #1652 - RalfJung:update, r=RalfJung 
rustup + cargo update

Also fixes cargo warnings about depending on yanked crates.
 2020-12-17 11:54:28 +00:00
Ralf Jung
46162ecb69 rustup + cargo update 2020-12-17 12:53:10 +01:00
bors
85e56131a1 Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc, r=RalfJung 
More tests, fix issue 1643 and detect races with allocation.

Fixes #1643 by disabling race detection for V-Table memory, adds race detection between r/w & memory allocation, and adds more tests.

~~There is one unusual result in dealloc_read_race_stack_drop.rs, where the stack variable is read by thread 0 & thread 2 and so reports a race with thread 0, any ideas for the cause of the read on thread 0?~~ Fixed, bug with reporting the index a read race occured in correctly.
 2020-12-13 19:50:57 +00:00
JCTyblaidd
c13aabcb45 Tidy new_allocation 2020-12-13 11:14:41 +00:00
JCTyblaidd
aa4e5b26e6 Update rust version 2020-12-13 11:08:19 +00:00
JCTyblaidd
e73579632b Rework to work with machine hook. 2020-12-13 11:04:58 +00:00
JCTyblaidd
81c4eb7d74 Update src/data_race.rs 
Co-authored-by: Ralf Jung <post@ralfj.de>
 2020-12-13 11:04:58 +00:00
JCTyBlaidd
aaf8ca4c77 Fix review changes 2020-12-13 11:04:58 +00:00
JCTyBlaidd
4e74f9f013 Change to disable mir-opt in compile-flags 2020-12-13 11:04:58 +00:00
JCTyBlaidd
3df67141e6 Disable tests in windows 2020-12-13 11:04:58 +00:00
JCTyBlaidd
a30105df0b Defeat the mir-opt=3 optimizer. 2020-12-13 11:04:58 +00:00
JCTyBlaidd
8676c60f87 Update note 2020-12-13 11:04:58 +00:00
JCTyBlaidd
296ba8b1c8 Fix bug with reporting wrong thread for races with reads & add thread ids to data-race tests 2020-12-13 11:04:58 +00:00
JCTyBlaidd
fbe7fbb890 Add concurrent caller location test 2020-12-13 11:04:58 +00:00
JCTyblaidd
c4ccd0b6a1 Fix nits 
Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
 2020-12-13 11:04:58 +00:00
JCTyBlaidd
f4bcef1113 Increase sleep times for the scheduler 2020-12-13 11:04:58 +00:00
JCTyBlaidd
1ded6d328a Remove old FIXME 2020-12-13 11:04:58 +00:00
JCTyBlaidd
c45b1b16be More tests, fix issue 1643 and detect races with allocation. 2020-12-13 11:04:58 +00:00
bors
2065b52dfe Auto merge of #1648 - RalfJung:windows-track-raw, r=RalfJung 
enable track-raw-ptr tests on Windows

With https://github.com/rust-lang/rust/pull/79893 landed, raw-pointer-tracking now works even for the Windows runtime. :)
 2020-12-11 10:37:40 +00:00
Ralf Jung
19d3d9e313 rustup 2020-12-11 11:36:17 +01:00
Ralf Jung
27a518e166 enable track-raw-ptr tests on Windows 2020-12-11 11:28:33 +01:00
bors
1ddbda28e3 Auto merge of #1646 - RalfJung:rustup, r=RalfJung 
rustup
 2020-12-10 18:54:21 +00:00
Ralf Jung
7bbd6bca77 rustup 2020-12-10 19:53:45 +01:00
bors
75ea76d6f5 Auto merge of #1645 - RalfJung:rustup, r=RalfJung 
Rustup; make use of AtomicPtr fixes
 2020-12-10 08:05:35 +00:00
Ralf Jung
2f0d7d38b4 rustup; test AtomicPtr leak checker 2020-12-10 00:09:52 +01:00
bors
c9a6b23699 Auto merge of #1642 - jonahwilliams:patch-1, r=RalfJung 
Fix README.md typo "extend" -> "extent"

Just something I noticed while reading.
 2020-12-07 08:21:49 +00:00
Jonah Williams
789c8a006b
Fix README.md typo "extend" -> "extent" 
Just something I noticed while reading
 2020-12-06 17:54:59 -08:00