David Renshaw
|
03aa8765b1
|
pass typecheck
|
2018-01-02 17:43:03 -05: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
|
ab0a805440
|
Use correct alignment
|
2017-11-27 14:32:09 +01:00 |
|
Oliver Schneider
|
a107f14ed8
|
Rustup after layout optimizations
|
2017-11-21 13:32:40 +01: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
|
52599adf27
|
Miri core has moved to rustc::mir::interpret
|
2017-10-06 17:13:59 +02:00 |
|
Oliver Schneider
|
bc2f9259e6
|
rustup
|
2017-09-09 11:18:02 +02:00 |
|
Oliver Schneider
|
cf25ef9d9d
|
Implement align_offset intrinsic and thus enabling from_utf8
|
2017-09-01 12:26:51 +02:00 |
|
Ralf Jung
|
8539728607
|
memory: make sure we check non-NULL/undef even fore 0-sized accesses
|
2017-08-25 14:41:59 +02:00 |
|
Oliver Schneider
|
9ede346ee2
|
Refactoring: Couple values and types into an object when passed around together
|
2017-08-24 14:42:42 +02:00 |
|
Ralf Jung
|
1326aed02c
|
rustfmt
Except for error.rs, the result there looks rather ugly
|
2017-08-10 08:48:41 -07:00 |
|
Oliver Schneider
|
8ab1eeef51
|
Implement packed statics
|
2017-08-08 17:09:26 +02:00 |
|
Oliver Schneider
|
181851fc6b
|
Always allocate for globals
statics are rare and constants are copied anyway.
Reading from a constant should then yield a `ByVal` again if possible.
|
2017-08-08 17:09:26 +02:00 |
|
Oliver Schneider
|
29a3c4d28c
|
Produce backtraces for miri internals
|
2017-08-02 16:59:01 +02:00 |
|
Oliver Schneider
|
f16b9e280b
|
Move all intrinsics out of interpret and fail CTFE on intrinsic calls
|
2017-08-01 09:56:21 +02:00 |
|