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 |
|
Ariel Ben-Yehuda
|
a23e587dc3
|
stop using Instance::def_ty
that function has been removed
|
2017-12-16 21:52:39 -06:00 |
|
Oliver Schneider
|
2671cf34a5
|
Update to some cleanups in rustc
|
2017-12-15 10:14:02 +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
|
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
|
6dbfe23c4d
|
Rustup
|
2017-11-02 11:15:50 +01:00 |
|
Oliver Schneider
|
25e0f5b5db
|
Rustup
|
2017-10-16 16:21:49 +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
|
52599adf27
|
Miri core has moved to rustc::mir::interpret
|
2017-10-06 17:13:59 +02:00 |
|
Ralf Jung
|
a8980fd5e8
|
use exchange_malloc lang item for Box statements
|
2017-09-25 15:55:21 +02:00 |
|
Oliver Schneider
|
709ab245df
|
Merge branch 'master' into windows
|
2017-09-16 15:06:26 +02:00 |
|
Oliver Schneider
|
cf92528426
|
Add windows support
|
2017-09-16 14:02:59 +02:00 |
|
Ralf Jung
|
5a5aa49db7
|
get rid of the --miri_host_target hack
|
2017-09-16 13:29:38 +02:00 |
|
Ralf Jung
|
060bb2fa9f
|
use ui test mode rather than mir-opt
These tests are not run per default
|
2017-09-16 12:36:31 +02:00 |
|
Oliver Schneider
|
8cbfbf77f8
|
Remove #[linkage(foo)] statics from core miri
|
2017-09-15 13:03:07 +02:00 |
|
Ralf Jung
|
a66f622a98
|
rustup
|
2017-09-14 09:55:17 +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 |
|
Oliver Schneider
|
446ed26412
|
Add at least the program name argument in order to get rustc tests a little further
|
2017-08-29 12:26:20 +02:00 |
|
Oliver Schneider
|
88fc45b37c
|
Get some more rustc tests working
|
2017-08-29 11:58:22 +02:00 |
|
Oliver Schneider
|
f817f1c660
|
Get rid of env var race condition once and for all
|
2017-08-28 17:32:21 +02:00 |
|
Oliver Schneider
|
dd5b0100f3
|
Merge remote-tracking branch 'origin/master' into memory
|
2017-08-28 16:13:09 +02:00 |
|
Oliver Schneider
|
7355a1ea28
|
Remove some unused extern crate
|
2017-08-28 14:08:31 +02:00 |
|
Oliver Schneider
|
1fce886ac3
|
Make some things public that are required by priroda
|
2017-08-28 14:08:10 +02:00 |
|
Ralf Jung
|
b1ca65447a
|
refactor memory write API to match read API
|
2017-08-25 19:08:04 +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
|
81f5de7f05
|
rename memory::Kind to memory::MemoryKind
|
2017-08-09 14:53:22 +02:00 |
|
Oliver Schneider
|
bba753deac
|
c_int != usize
|
2017-08-08 17:09:26 +02: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 |
|
Ralf Jung
|
ac49e7c650
|
only collect backtrace when RUST_BACKTRACE is set; resolve symbols lazily when printing
|
2017-08-04 10:55:35 -07:00 |
|
Oliver Schneider
|
29a3c4d28c
|
Produce backtraces for miri internals
|
2017-08-02 16:59:01 +02:00 |
|
Oliver Schneider
|
393216d410
|
Add a better error message than syscall 318 not found
|
2017-08-01 16:12:29 +02:00 |
|
Oliver Schneider
|
d05784f23c
|
Address comments
|
2017-08-01 11:11:57 +02:00 |
|
Oliver Schneider
|
54ecdf16b3
|
Remove leftover unused file
|
2017-08-01 09:56:21 +02:00 |
|
Oliver Schneider
|
23d351d6d4
|
Move tls code to its own file
|
2017-08-01 09:56:21 +02:00 |
|
Oliver Schneider
|
adfea61665
|
Allow machines to create new memory kinds
|
2017-08-01 09:56:21 +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 |
|