 bjorn3
|
a6cdd8a81b
|
Fix it
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
ac42af3789
|
travis: cache build dir
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
f55d07745f
|
Fix init_static
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
878d66692c
|
Maybe prevent marking statics as immutable
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
680bcf86f0
|
Hack: copy init_static from rustc CompileTimeEvaluator to try to fix uninitialized static error
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
6a85104945
|
Use elem align as src align in copy intrinsic
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
4ecbcc5577
|
Dont claim to have marked static initialized
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
d4f30aa9c1
|
Fix alignment issue
|
2018-04-13 16:04:58 +02:00 |
|
|
Oliver Schneider
|
cd89e56f15
|
Get the tests one step further
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
a3a01ba5b7
|
Add stack guard shim
|
2018-04-13 16:04:57 +02:00 |
|
|
bjorn3
|
753da676ba
|
Rustup
|
2018-04-13 16:04:57 +02:00 |
|
|
David Renshaw
|
d289c0f464
|
partially deal with rust/46479
|
2018-01-15 09:47:17 -05:00 |
|
|
David Renshaw
|
33af3208fd
|
update for rust/47205
|
2018-01-14 22:31:59 -05:00 |
|
|
David Renshaw
|
cabdc5597c
|
update log deps
|
2018-01-06 10:21:24 -05:00 |
|
|
David Renshaw
|
03aa8765b1
|
pass typecheck
|
2018-01-02 17:43:03 -05:00 |
|
|
David Renshaw
|
30496f5dd2
|
update compiletest dependency
|
2017-12-31 08:35:02 -05:00 |
|
|
Oliver Schneider
|
5147655031
|
Merge branch 'master' into def_ty
|
2017-12-19 08:16:06 +01:00 |
|
|
Ariel Ben-Yehuda
|
a23e587dc3
|
stop using Instance::def_ty
that function has been removed
|
2017-12-16 21:52:39 -06:00 |
|
|
Eduard-Mihai Burtescu
|
919604e1ea
|
Merge pull request #358 from kennytm/master
Remove the [workspace] section.
|
2017-12-16 12:38:50 +02:00 |
|
|
kennytm
|
b7d382a956
|
Remove the [workspace] section.
Miri does not need to maintain a workspace anymore. Also, keeping miri a
workspace conflicts with rustc's own workspace.
|
2017-12-16 03:58:17 +08:00 |
|
|
Oliver Schneider
|
4654d6d04e
|
Merge pull request #355 from solson/upstreamed
Use the core miri from rustc
|
2017-12-15 10:27:58 +01:00 |
|
|
Oliver Schneider
|
2671cf34a5
|
Update to some cleanups in rustc
|
2017-12-15 10:14:02 +01:00 |
|
|
Oliver Schneider
|
aa9177fec6
|
Also update rustc_tests to unrelated rustc changes
|
2017-12-15 10:12:17 +01:00 |
|
|
Oliver Schneider
|
fc587ac6ae
|
Without a Cargo.lock it makes no sense to use --locked
|
2017-12-15 09:32:10 +01:00 |
|
|
Oliver Schneider
|
bde093fa14
|
Move validation from rustc to miri
|
2017-12-14 11:35:33 +01:00 |
|
|
Oliver Schneider
|
eccf680b5d
|
Remove type_size and type_align calls
|
2017-12-06 15:03:24 +01:00 |
|
|
Oliver Schneider
|
dd630a2a26
|
Rename lvalue to place
|
2017-12-06 08:39:31 +01:00 |
|
|
Oliver Schneider
|
bf26b96dc7
|
Update to latest rustc changes
|
2017-12-05 17:06:03 +01:00 |
|
|
Oliver Schneider
|
fd77411a18
|
Compiler bug
|
2017-11-30 13:31:37 +01:00 |
|
|
Oliver Schneider
|
ab0a805440
|
Use correct alignment
|
2017-11-27 14:32:09 +01:00 |
|
|
Oliver Schneider
|
4e8b9451ab
|
Update error messages
|
2017-11-27 14:31:51 +01:00 |
|
|
Oliver Schneider
|
a107f14ed8
|
Rustup after layout optimizations
|
2017-11-21 13:32:40 +01:00 |
|
|
Oliver Schneider
|
6dbfe23c4d
|
Rustup
|
2017-11-02 11:15:50 +01:00 |
|
|
Oliver Schneider
|
25e0f5b5db
|
Rustup
|
2017-10-16 16:21:49 +02:00 |
|
|
Oliver Schneider
|
042430270f
|
repeat expressions abort due to OOM instead of execution time exhaustion
|
2017-10-12 11:13:56 +02:00 |
|
|
Oliver Schneider
|
f7f789a547
|
Use host floats for the intrinsics that we don't have soft float impls for
|
2017-10-12 11:13:34 +02:00 |
|
|
Oliver Schneider
|
072c02f9a3
|
Use numbers instead of indentations
Noone can differentiate between 8 and 9 spaces if they aren't aligned
|
2017-10-06 17:14:12 +02:00 |
|
|
Oliver Schneider
|
8d546e8b9a
|
Use rustc's logging libraries in order to be able to log rustc::mir::interpret
|
2017-10-06 17:14:12 +02:00 |
|
|
Oliver Schneider
|
52599adf27
|
Miri core has moved to rustc::mir::interpret
|
2017-10-06 17:13:59 +02:00 |
|
|
Oliver Schneider
|
cf0f6da9af
|
Merge pull request #354 from king6cong/readme
update README.md
|
2017-09-30 11:22:04 +02:00 |
|
|
Oliver Schneider
|
fd5ededb29
|
Merge branch 'master' into readme
|
2017-09-30 10:46:34 +02:00 |
|
|
Oliver Schneider
|
cf4b28a5ac
|
Merge pull request #353 from king6cong/master
update trans_fulfill_obligation call signature
|
2017-09-30 10:46:01 +02:00 |
|
|
king6cong
|
3d1332d7f8
|
update README.md
|
2017-09-30 15:07:07 +08:00 |
|
|
king6cong
|
6221bbc5a7
|
update trans_fulfill_obligation call signature
|
2017-09-30 14:55:16 +08:00 |
|
|
Oliver Schneider
|
ed674f7cb3
|
Merge pull request #351 from RalfJung/exchange_malloc
Call exchange_malloc for box stmt
|
2017-09-27 21:46:41 +02:00 |
|
|
Ralf Jung
|
6e8650395d
|
fix oom2 test
|
2017-09-25 16:21:20 +02:00 |
|
|
Ralf Jung
|
a8980fd5e8
|
use exchange_malloc lang item for Box statements
|
2017-09-25 15:55:21 +02:00 |
|
|
Eduard-Mihai Burtescu
|
a5503a33e6
|
Merge pull request #350 from RalfJung/inhabited
get rid of ad-hoc inhabitedness test
|
2017-09-22 14:48:59 +03:00 |
|
|
Ralf Jung
|
1ad9709e00
|
get rid of ad-hoc inhabitedness test
|
2017-09-22 13:24:55 +02:00 |
|
|
Oliver Schneider
|
728e664739
|
Merge pull request #348 from RalfJung/tests
update compiletest
|
2017-09-19 16:23:18 +02:00 |
|