Commit Graph

1725 Commits

Author SHA1 Message Date
Ralf Jung
af6ede08b0
Merge branch 'master' into deps 2018-07-12 11:08:20 +02:00
Oliver Schneider
f8fabe4ed1
Merge pull request #395 from RalfJung/tests
Test suite work
2018-07-12 11:00:45 +02:00
Ralf Jung
949106148c ignore panic test on Windows 2018-07-12 10:24:25 +02:00
memoryleak47
eb8195f095 typo 2018-07-12 10:22:23 +02:00
Ralf Jung
5f2f254695 move tests that no longer need MIR out of fullmir 2018-07-12 10:22:23 +02:00
Ralf Jung
ff5b0fee33 fix many tests and ignore some others; enable compile_fail tests again 2018-07-12 10:22:23 +02:00
Ralf Jung
5fc990cebd bump dependencies 2018-07-12 10:19:14 +02:00
Oliver Schneider
54da84fbd8
Merge pull request #394 from RalfJung/start-fn
document -Zmiri-start-fn; make its logic more clear
2018-07-12 00:01:14 +02:00
Ralf Jung
0e0f52df75
Merge branch 'master' into start-fn 2018-07-11 21:30:24 +02:00
Oliver Schneider
1896ba2435
Merge pull request #393 from RalfJung/no-bin
stop producing binaries
2018-07-11 21:23:03 +02:00
Ralf Jung
e5de51a322 use -Zmiri-start-fn as a clue to REQUIRE the lang item to be present 2018-07-11 20:25:27 +02:00
Ralf Jung
dd7cc47e5c document -Zmiri-start-fn; make its logic more clear 2018-07-11 19:39:09 +02:00
Ralf Jung
197b75764c without aux builds, we don't need to set always-encode-mir any more 2018-07-11 19:36:45 +02:00
Ralf Jung
7023126094 stop producing binaries 2018-07-11 19:36:45 +02:00
Oliver Schneider
ef64c25bd0
Merge pull request #392 from RalfJung/dirs
fix deprecation warning: use dirs crate for home_dir
2018-07-11 17:59:04 +02:00
Ralf Jung
d4e8d0b935 fix deprecation warning: use dirs crate for home_dir 2018-07-11 17:42:35 +02:00
Oliver Schneider
8127440014
Merge pull request #391 from bjorn3/clippy_fixes
Clippy fixes
2018-07-11 10:53:16 +02:00
bjorn3
52bf4732fd Fix some clippy lints 2018-07-10 17:32:38 +02:00
bjorn3
f321593655 Workaround for rustc bug 2018-07-10 17:20:07 +02:00
Alexander Regueiro
5b7bb32b0e Rustup 2018-07-02 17:00:36 +01:00
Oliver Schneider
e1dbbe538f Rustup 2018-07-01 16:01:42 +02:00
Oliver Schneider
9143a69f4b
Merge pull request #386 from mati865/rustup
Rustup
2018-06-29 15:01:11 +02:00
Mateusz Mikuła
d4b98b221d Rusutp 2018-06-29 14:10:57 +02:00
Oliver Schneider
9d8945e3e8
Merge pull request #385 from bjorn3/patch-1
Add missing pub
2018-06-12 06:28:20 -07:00
bjorn3
d1de6781e8
Add missing pub 2018-06-12 07:30:29 +02:00
Oliver Schneider
51f0035faa
Merge pull request #384 from bjorn3/create_ecx
Split create_ecx out of eval_main
2018-06-11 10:38:39 -07:00
bjorn3
b04391c565 Split create_ecx out of eval_main 2018-06-11 18:51:40 +02:00
Oliver Schneider
0f7513a4ee
Merge pull request #383 from bjorn3/rustup
Rustup to rustc 1.28.0-nightly (2a0062974 2018-06-09)
2018-06-10 17:24:47 +02:00
bjorn3
25ca33d107 Fix rustc_tests 2018-06-10 11:47:04 +02:00
bjorn3
60669cbdfd Rustup to rustc 1.28.0-nightly (2a0062974 2018-06-09) 2018-06-10 11:23:56 +02:00
Oliver Schneider
0755fd6429
Merge pull request #376 from bjorn3/fix_some_tests
Fix a couple of compile-fail tests
2018-06-05 18:37:22 +02:00
bjorn3
ac25a513af Re-enable never_transmute_humans.rs 2018-06-05 18:08:18 +02:00
bjorn3
94754de600 Convert legitimate failing errors to the new error format 2018-06-05 18:08:18 +02:00
bjorn3
8ae66db798 Convert some of the tests to the new format 2018-06-05 18:08:18 +02:00
bjorn3
569792acbc Address some review comments 2018-06-05 18:08:18 +02:00
bjorn3
3db0568c40 Fix a couple of tests 2018-06-05 18:08:18 +02:00
Oliver Schneider
9ba64e290a
Merge pull request #380 from solson/rustup
Rustup
2018-06-03 16:47:48 +02:00
Oliver Schneider
ae61193dc5 Merge remote-tracking branch 'origin/master' into rustup 2018-06-03 16:28:35 +02:00
Oliver Schneider
e1734470e7 Reenable the rustc tester 2018-06-03 13:08:51 +02:00
Oliver Schneider
675587280f Update cargo-miri 2018-06-03 13:08:51 +02:00
Oliver Schneider
cec51f8513 Use correct bit size when reading usize values 2018-06-03 13:08:51 +02:00
Oliver Schneider
8284b4e912 to_u64 and to_bytes are horribly easy to use wrongly. 2018-06-03 13:08:51 +02:00
Oliver Schneider
77c8582031 align_offset intrinsic is now a lang item 2018-06-03 13:08:51 +02:00
Oliver Schneider
1d9c56ddf4 TlsKey is messy because it changes types between systems 2018-06-03 13:08:51 +02:00
Oliver Schneider
062be7c047 Comparing non-pointer-size types should be possible 2018-06-03 13:08:51 +02:00
Oliver Schneider
9655aaf3aa Comparing Scalar's with differend defined values is false 2018-06-03 13:08:51 +02:00
Oliver Schneider
1bd088a96c memcmp returns i32 2018-06-03 13:08:51 +02:00
bjorn3
4143922d1d Partial rustup 2018-06-03 13:08:51 +02:00
bjorn3
1437a975d6 s/allocate_cached/allocate_bytes 2018-06-03 13:08:51 +02:00
bjorn3
98802769a1 Rustup to rustc 1.28.0-nightly (a3085756e 2018-05-19) 2018-06-03 13:08:51 +02:00