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

471 Commits

Author SHA1 Message Date
Ralf Jung
82c6c77b9a test Weak into_raw/from_raw on dangling ptrs 2020-12-31 13:11:34 +01:00
Ralf Jung
7e198147df panicing now works with -Zmiri-track-raw-pointers 2020-12-31 00:17:08 +01:00
Ralf Jung
a81ebd8fe3 rustup; add an interesting alias test case 2020-12-29 19:27:45 +01:00
Ralf Jung
ba0d229752 rustup + cargo-miri 'cargo update' 2020-12-21 10:53:55 +01:00
Ralf Jung
46162ecb69 rustup + cargo update 2020-12-17 12:53:10 +01:00
JCTyblaidd
aa4e5b26e6 Update rust version 2020-12-13 11:08:19 +00:00
Ralf Jung
19d3d9e313 rustup 2020-12-11 11:36:17 +01:00
Ralf Jung
7bbd6bca77 rustup 2020-12-10 19:53:45 +01:00
Ralf Jung
2f0d7d38b4 rustup; test AtomicPtr leak checker 2020-12-10 00:09:52 +01:00
Mara Bos
de5b26d7f0 Use new std::alloc::Allocator interface. 
This was changed in core.
 2020-12-05 00:13:33 +01:00
Ralf Jung
6145709bfc remove miri-rustc-tests 2020-11-29 21:00:50 +01:00
Ralf Jung
7a2c2f8dde rustup; test sorting for provenance-correctness 2020-11-22 18:08:57 +01:00
Ralf Jung
697f6e36bd rustup 2020-11-20 14:07:52 +01:00
Ralf Jung
a37cfed062 rustup 2020-11-19 09:21:03 +01:00
Ralf Jung
915d091973 rustup; less strict timing tests 2020-11-12 16:50:24 +01:00
Ralf Jung
43673d9a87 rustup 2020-11-11 10:29:10 +01:00
Ralf Jung
737ecef376 rustup and update test 2020-11-10 16:47:56 +01:00
Ralf Jung
f31f00d5af rustup 2020-11-05 17:09:44 +01:00
Ralf Jung
571b48cc47 rustup 2020-11-03 20:07:19 +01:00
Ralf Jung
1ad827c511 rustup 2020-10-29 20:57:38 +01:00
Ralf Jung
ddcc4f241e rustup; make panic output less dependent on stdlib internals 2020-10-25 10:00:50 +01:00
Ralf Jung
ad07b2bd44 rustup; increase slack for timing tests 2020-10-22 09:47:02 +02:00
Ralf Jung
5df6d8bec6 test new available_concurrency function 2020-10-18 11:22:09 +02:00
Ralf Jung
67cf6c2176 rustup; the bad compile times for the float test are fixed 2020-10-18 00:49:52 +02:00
est31
1ae157bc9e Replace target.target with target 
Rustc removed the target wrapper and exposed the target directly.

Result of running:

find . -type f -exec sed -i -e 's/target\.target\([)\.,;]\)/target\1/g' {} \;

Plus one manual edit of the rust-version file
 2020-10-15 21:18:23 +02:00
Aaron Hill
0893ea1973
Rustup 
This gets Miri building again after the `run_compiler` changes
 2020-10-11 17:31:52 -04:00
Ralf Jung
63a0f04ed0 rustup; bring back mir-opt-level 3 2020-10-07 09:05:18 +02:00
Ralf Jung
808032a0ed rustup; disable opt level >=2 tests due to ICE 2020-10-05 10:30:50 +02:00
Ralf Jung
02257870a6 rustup; test NaN conversion issue 2020-10-04 18:56:51 +02:00
Ralf Jung
044c9ca206 rustup 2020-10-03 15:19:57 +02:00
Ralf Jung
17e16aad62 normalize backtrace stderr even more 2020-09-30 10:02:53 +02:00
Ralf Jung
eaf56c57e5 rustup; adjust for rustc_driver changes 2020-09-29 11:05:10 +02:00
Lzu Tao
56ea94dfa3 Remove assume intrinsic from EvalContextExt 
It has been moved to rustc_mir.
 2020-09-27 10:00:06 +07:00
Ralf Jung
67c5067a2f rustup; fix tests 2020-09-24 09:19:03 +02:00
Ralf Jung
dae575c38f opt-level 3 is clean again :) 2020-09-23 22:13:13 +02:00
Ralf Jung
4b5e78052a rustup; support panic=abort on Windows 2020-09-20 15:55:36 +02:00
Ralf Jung
b0baa151b2 rustup 2020-09-20 13:13:57 +02:00
Ralf Jung
83a339e5a9 rustup; make sure the iterator moves even with smarter optimizations 2020-09-20 10:26:22 +02:00
Ralf Jung
3163242ff1 rustup; no need to special-case the guaranteed_eq/ne intrinsics any more 2020-09-17 17:42:52 +02:00
Ralf Jung
bea2d7bb55 rustup 2020-09-10 08:38:30 +02:00
Ralf Jung
210f18d6c7 work around rustc optimizations becoming too smart 2020-09-07 10:24:38 +02:00
LeSeulArtichaut
4f2f87b2df Change ty.kind -> ty.kind() 2020-09-04 22:03:45 +02:00
Ralf Jung
3466462306 rustup, fix test 2020-09-01 10:55:09 +02:00
Ralf Jung
39e6baeb91 rustup 2020-08-27 09:27:58 +02:00
Ralf Jung
2f9de18f88 rustup; account for ptr_offset_from stabilization 2020-08-24 10:06:44 +02:00
Ralf Jung
237bea2c17 avoid promotion in alignment test to get different alignment on each try 2020-08-20 10:14:13 +02:00
Ralf Jung
d5b15297ac forgot to add alignment test loop in one test 2020-08-18 10:19:29 +02:00
Ralf Jung
db159b8709 rustup 2020-08-17 16:51:48 +02:00
Ralf Jung
925d60760e rustup 2020-08-13 08:43:28 +02:00
Ralf Jung
2f68a1f5b5 rustup 2020-08-12 09:19:40 +02:00
Ralf Jung
07a4383ac8 rustup 2020-08-08 14:05:11 +02:00
Ralf Jung
422113a491 rustup 2020-08-05 13:38:15 +02:00
Ralf Jung
cda255cfb4 rustup; inner_deref has been stabilized 2020-08-03 14:20:46 +02:00
Ralf Jung
35309a200b rustup; fix linked_list test 2020-08-01 14:18:52 +02:00
Ralf Jung
d340933112 rustup 2020-07-30 18:31:19 +02:00
Ralf Jung
ee39ac9840 rustup for new folder layout 2020-07-29 14:27:14 +02:00
Ralf Jung
cae90b6d29 rustup and test fixes 2020-07-27 23:40:27 +02:00
Phil Nadon
6282e92774 Updated Rust version to latest master 
Updated Rust version since the latest version contains changes which allow this version of Miri to build.
 2020-07-26 16:05:56 -06:00
Ralf Jung
c641fbde02 update rust-version 2020-07-25 10:02:25 +02:00
Ralf Jung
7d6aec6887 rustup 2020-07-23 10:40:13 +02:00
Ralf Jung
ce5ed69eac rustup; fix Windows TLS 2020-07-15 08:42:15 +02:00
Ralf Jung
dcb0f6309e we cannot track all machine memory any more due to int-ptr-casts 2020-07-08 12:01:49 +02:00
Ralf Jung
04019eec3c rustup 2020-07-07 22:57:58 +02:00
Ralf Jung
6ca67a346b rustup 2020-07-02 10:48:01 +02:00
Ralf Jung
3ea8c5fa33 bump Rust 2020-06-26 20:36:08 +02:00
Ralf Jung
9d41e4c899 rustup 2020-06-25 11:34:52 +02:00
Ralf Jung
4788f775f8 rustup; stop testing with mir opts as they are currently broken 2020-06-22 13:09:39 +02:00
Ralf Jung
2940da9d1f bump Rust 2020-06-20 11:48:42 +02:00
Ralf Jung
5c5b61ffb0 rustup 2020-06-15 17:38:27 +02:00
Ralf Jung
9df8d588ea rustup 2020-06-15 10:58:20 +02:00
Ralf Jung
e063ce2737 rustup; and a bit of UnsafeCell detection refactoring 2020-06-13 11:30:31 +02:00
Ralf Jung
3994352405 rustup 2020-06-12 10:13:49 +02:00
Ralf Jung
34f495a994 rustup 2020-06-10 10:55:48 +02:00
Ralf Jung
dcb2b30982 rustup, and adjust timing tests 2020-06-03 09:40:21 +02:00
Ralf Jung
17dd44ee92 rustup 2020-06-01 19:23:54 +02:00
Ralf Jung
7cd68eb11b rustup 2020-06-01 01:15:00 +02:00
Ralf Jung
3032224d19 rustup, adjust error message 2020-05-31 10:30:25 +02:00
Ralf Jung
c77e9022d5 rustup (and account for stabilization) 2020-05-30 09:23:25 +02:00
Ralf Jung
f55c0153f1 str_strip is stable 2020-05-29 10:01:07 +02:00
Ralf Jung
229784ba62 rustup 2020-05-28 09:19:01 +02:00
Ralf Jung
7a3ccb1b57 rustup 2020-05-24 14:00:32 +02:00
Ralf Jung
58bc2185e1 rustup 2020-05-22 17:03:37 +02:00
Ralf Jung
42a3e87838 rustup, and now we also need to install llvm-tools 2020-05-22 10:29:47 +02:00
Ralf Jung
11d9409e82 rustup 2020-05-22 09:00:32 +02:00
Ralf Jung
00a4421573 rustup 2020-05-21 15:53:26 +02:00
Ralf Jung
cc1a2119f6 adjust for changed allocation strategy 2020-05-20 00:00:35 +02:00
Ralf Jung
e0f9081c5c use new rustc_driver::catch_with_exit_code 2020-05-16 11:30:11 +02:00
Ralf Jung
4f06197aff rustup 2020-05-10 10:32:29 +02:00
Ralf Jung
379ac82a1c bump Rust, fix for renames 2020-05-09 10:15:09 +02:00
Ralf Jung
b4ad90669b rustup 2020-05-07 23:59:26 +02:00
Ralf Jung
fb3a067ac6 rustup; fix error messages 2020-05-07 08:38:59 +02:00
Ralf Jung
65c3914a29 rustup 2020-05-04 09:43:09 +02:00
Ralf Jung
1578540959 bump Rust, fix warnings 2020-05-03 12:10:24 +02:00
Ralf Jung
ee6460e763 rustup 2020-05-02 11:00:37 +02:00
Ralf Jung
dbd6403955 rustup for fixed error messages 2020-05-02 02:13:48 +02:00
Ralf Jung
393165f859 rustup; fix for changed error messages 2020-05-01 14:43:59 +02:00
Ralf Jung
1a704a517a rustup, adjust error messages 2020-05-01 10:29:39 +02:00
Ralf Jung
a5445e0230 rustup for more LocalDefId changes 2020-04-28 10:30:21 +02:00
Samrat Man Singh
da86c81e39 Add test to verify arg size mismatch throws UB 
Also: bump up `rust-version`
 2020-04-27 09:37:31 +05:30
Ralf Jung
4dec02dd92 rustup 2020-04-24 00:52:43 +02:00
Ralf Jung
4b9abdaa50 rustup 2020-04-22 23:43:54 +02:00
Ralf Jung
5d2c8358f8 rustup 2020-04-20 09:33:34 +02:00
Ralf Jung
6ad0187265 rustup for FieldsShape::Primitive 2020-04-17 14:19:26 +02:00
Ralf Jung
3548dcf8cc rustup 2020-04-15 12:39:28 +02:00
Ralf Jung
8e73db6510 rustup 2020-04-14 09:40:00 +02:00
Ralf Jung
91d7964513 rustup 2020-04-13 00:44:29 +02:00
Ralf Jung
f77e0281c9 rustup 2020-04-10 10:28:07 +02:00
Ralf Jung
7841f44593 rustup 2020-04-07 19:33:03 +02:00
Ralf Jung
3eb76f4a77 rustup 2020-04-05 18:28:05 +02:00
Ralf Jung
bd9ec746a5 Rust bootstrap sysroot now has src in the same place as rust-src, so remove special hack 2020-04-04 12:07:22 +02:00
Ralf Jung
9f3383d55d rustup for import changes 2020-04-03 00:05:35 +02:00
Ralf Jung
033eae5ad7 rustup for AllocRef changes 2020-04-02 11:45:17 +02:00
Ralf Jung
165dfd78a9 rustup 2020-04-02 09:14:23 +02:00
Ralf Jung
1e3800ffb1 rustup 2020-04-01 19:40:10 +02:00
Ralf Jung
1cfd80ea2d rustup; fix Windows env var memory type 2020-03-30 22:13:53 +02:00
Ralf Jung
8948a29a4c adjust for librustc rename; reduce 'extern crate' to rustc crates 2020-03-30 11:07:32 +02:00
Ralf Jung
5ff7eef2ff rustup; fix for TyLayout rename 2020-03-30 10:23:04 +02:00
Ralf Jung
f181e75db2 rustup 2020-03-29 10:01:31 +02:00
JOE1994
fc8f88e04e change helper fn 'write_os_str_to_wide_str' 2020-03-27 00:08:27 -04:00
Ralf Jung
81d505670b rustup; get rid of some try_from that are no longer needed 2020-03-26 00:11:50 +01:00
Ralf Jung
9b0e9dec49 rustup, adjust for renames 2020-03-25 09:05:30 +01:00
Ralf Jung
80088e131b rustup for trait MachineStopType 2020-03-24 08:24:36 +01:00
Ralf Jung
284067cc15 rustup 2020-03-23 23:48:24 +01:00
Ralf Jung
b4b8750e44 bump Rust; HashMap should now work on macOS even with isolation 2020-03-23 10:34:15 +01:00
Ralf Jung
8306073835 bump Rust 2020-03-21 23:17:07 +01:00
Ralf Jung
e890d4d5e1 call error location was fixed by rustup 2020-03-21 12:52:23 +01:00
Ralf Jung
e3a72be107 rustup 2020-03-20 10:34:24 +01:00
Ralf Jung
49051e05ea rustup, and some final message adjustments 2020-03-19 08:41:01 +01:00
Ralf Jung
b82cf36117 rustup; remove no longer existing intrinsics 2020-03-17 21:11:19 +01:00
Ralf Jung
8a26a288c2 rustup 2020-03-16 21:32:57 +01:00
Ralf Jung
bddf9e050b rustup 2020-03-16 09:59:01 +01:00
Ralf Jung
956692d902 bump rust-version 2020-03-15 11:15:09 +01:00
Ralf Jung
497fbcbf44 rustup, fix for intrinsic rename and transmute error change 2020-03-14 09:27:35 +01:00
Ralf Jung
5531a79f4c rustup, test Abort terminator 2020-03-12 20:48:04 +01:00
Ralf Jung
45d5a37787 rustup+fix 2020-03-11 20:39:18 +01:00
Elichai Turkel
881e65c01b
bump rust-version to latest 2020-03-11 15:39:18 +02:00
Ralf Jung
5040cb7f81 rustup 2020-03-09 17:03:45 +01:00
Ralf Jung
148269dd4b finally stop using min/max_value and the integer modules 2020-03-04 13:01:06 +01:00
Ralf Jung
ad1f0f6e65 bump Rust 2020-03-04 08:54:12 +01:00
Ralf Jung
88c45f9891 adjust for rustc changes 2020-03-02 13:51:08 +01:00
Ralf Jung
21a5da99a4 rustup 2020-03-02 09:03:11 +01:00
Ralf Jung
ea5aa19487 rustup 2020-03-01 10:22:13 +01:00
Ralf Jung
df732c863e rustup 2020-02-29 13:28:59 +01:00
Ralf Jung
739d796b05 rustup 2020-02-25 18:12:00 +01:00
Ralf Jung
627d7cba64 fix for const-prop lint changes 2020-02-21 10:33:00 +01:00
Ralf Jung
a60dfcf6e7 rustup 2020-02-20 11:09:12 +01:00
Ralf Jung
56f9ee2c2d bump Rust (no changes needed) 2020-02-19 09:15:12 +01:00
Ralf Jung
a61596d333 rustup 2020-02-14 08:59:42 +01:00
Ralf Jung
87644d120f rustup 2020-02-12 21:44:09 +01:00
Ralf Jung
d208a5fe3b rustup; fix generator test 2020-02-07 14:02:27 +01:00
Ralf Jung
4b6a0d7a8e bump rustc; adjust tests 2020-02-06 11:20:28 +01:00
Yuki Okushi
121791b9af Bump rustc 2020-02-02 18:45:53 +09:00
Tim Diekmann
74e0482ec3
Bump rust version 2020-01-29 04:10:40 +01:00
Ralf Jung
c5797130d7 bump rustc 2020-01-26 11:06:13 -06:00
Ralf Jung
b2303a7da1 slice_patterns is stable now 2020-01-19 10:03:18 -06:00
Ralf Jung
88f0102753 rustup more 2020-01-15 19:35:41 +01:00
Ralf Jung
23c74449a2 rustup 2020-01-15 19:27:21 +01:00
Ralf Jung
b1676a3e89 test that unwrap gets us the right panic location 2020-01-09 11:20:13 +01:00
Yuki Okushi
86ee705cd5 Rustup 2020-01-07 05:13:18 +09:00
Yuki Okushi
ebacb8ae4e Rustup 2020-01-05 15:55:15 -08:00
Wesley Wiser
959033cbfb Bump rustc version to fix miri 2020-01-01 21:33:51 -05:00
Aaron Hill
84a43fcb6f
Rustup 
This is mainly to see if CI can reproduce a strange issue I'm running
into locally
 2020-01-01 03:25:44 -05:00
Christian Poveda
c60ab94d20
bump rustc version 2019-12-28 09:09:42 -05:00
Oliver Scherer
4aef81eb85 Remove to_ptr uses 2019-12-27 14:26:05 +01:00
Oliver Scherer
bac261573f Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22) 2019-12-23 23:02:36 +01:00
Oliver Scherer
d9859c83fc Rustup to rustc 1.42.0-nightly (9ff30a781 2019-12-21) 2019-12-21 11:45:09 +01:00
Ralf Jung
74ef63ff0a the never type got de-stabilized again; adjust tests 2019-12-15 12:23:43 +01:00
Ralf Jung
bbd512d52f bump Rust 2019-12-14 12:06:01 +01:00
Ralf Jung
67151a712d rustup 2019-12-08 10:32:50 +01:00
Ralf Jung
cefc592273 bump Rust, fix error messages 2019-12-08 01:45:41 +01:00
Ralf Jung
edac086f1c rustup for find_fn rename 2019-12-04 23:31:39 +01:00
Ralf Jung
07af5c9ffc rustup 2019-12-03 23:38:41 +01:00
Ralf Jung
6d8e87111b bump Rust for exact_div fix 2019-12-03 17:37:42 +01:00
Ralf Jung
ebe5a51336 bump Rust to HEAD 2019-12-03 08:22:09 +01:00
Aaron Hill
a418fe9826
Rustup for BodyCache changes 2019-12-02 20:21:03 -05:00
Ralf Jung
2ef5ac17cc rustup 2019-12-02 16:04:51 +01:00
Ralf Jung
42732cc9bb rustup 2019-12-02 15:42:38 +01:00
Ralf Jung
f3c00a447c use new MachineStop error variant 2019-12-02 09:05:35 +01:00
Ralf Jung
c39482b203 rustup 2019-12-01 10:29:19 +01:00
Ralf Jung
fbc1fb20ac bump Rust version 2019-11-27 08:45:24 +01:00
Ralf Jung
6888555ca9 rustup for never stabilization 2019-11-22 09:50:22 +01:00
Ralf Jung
f16f891191 slice matching overflow got fixed 2019-11-20 19:38:41 +01:00
Ralf Jung
82374ad9bd comments and slight refactoring 2019-11-19 14:51:08 +01:00
Ralf Jung
4712ed3ff5 rustup again 2019-11-17 09:03:16 +01:00
Ralf Jung
68bc7e077b bump Rust 2019-11-16 09:00:05 +01:00
Ralf Jung
2c55a508e9 rustup 2019-11-11 21:25:57 +01:00
Ralf Jung
37b1190def rustup 2019-11-08 22:07:52 +01:00
Ralf Jung
bcbc666493 let's see if newer rustc helps 2019-11-08 10:08:57 +01:00
Ralf Jung
428fc531d8 silence a lint that catches the bug statically 2019-11-07 09:44:00 +01:00
Ralf Jung
b2a2f4dd15 rustup 2019-11-06 09:25:02 +01:00
Ralf Jung
3847334e72 rustup 2019-11-05 20:17:45 +01:00
Ralf Jung
47bfd84c98 rustup 2019-11-03 10:02:32 +01:00
Ralf Jung
15ae234a42 rustup for span in intrinsic emulation 2019-10-30 10:16:58 +01:00
Ralf Jung
d8a3a1f09c rustup for projection interning 2019-10-26 09:33:24 +02:00
Ralf Jung
55e1251886 rustc-dev landed; adjust rust version 2019-10-24 13:12:26 +02:00
Ralf Jung
cf9340113e rustup: more flexible write_bytes avoids allocations and removes itertools dependency 2019-10-24 10:15:30 +02:00
Ralf Jung
354de02c24 rustup; fix debugging 2019-10-23 16:33:54 +02:00
Ralf Jung
47eb8549ee rustup + cargo update 2019-10-23 10:25:22 +02:00
Ralf Jung
2690f5948a rustup: fix for write_bytes and new union rules 2019-10-22 10:13:11 +02:00
Ralf Jung
789eeee6a5 bump Rust (no changes needed) 2019-10-21 13:31:38 +02:00