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 |
|
Oliver Schneider
|
601673d06f
|
trans -> codegen_backend
|
2018-06-03 13:08:51 +02:00 |
|
bjorn3
|
b906ce84ec
|
Rustup to rustc 1.28.0-nightly (952f344cd 2018-05-18)
|
2018-06-03 13:08:51 +02:00 |
|
bjorn3
|
574aa3bc42
|
Rustup to rustc 1.27.0-nightly (ff2ac35db 2018-05-12)
|
2018-06-03 13:08:51 +02:00 |
|
Oliver Schneider
|
20c2e0bede
|
Test miri on mac os
|
2018-05-11 11:29:18 +02:00 |
|
bjorn3
|
8d6a893a4a
|
Rustup to 1.27.0-nightly (acd3871ba 2018-05-10)
|
2018-05-11 09:38:13 +02:00 |
|
Oliver Schneider
|
27fe263669
|
Move back to a normal folder structure
|
2018-05-09 14:37:00 +02:00 |
|
Oliver Schneider
|
52599adf27
|
Miri core has moved to rustc::mir::interpret
|
2017-10-06 17:13:59 +02:00 |
|
king6cong
|
6221bbc5a7
|
update trans_fulfill_obligation call signature
|
2017-09-30 14:55:16 +08:00 |
|
Ralf Jung
|
a8980fd5e8
|
use exchange_malloc lang item for Box statements
|
2017-09-25 15:55:21 +02:00 |
|
Ralf Jung
|
1ad9709e00
|
get rid of ad-hoc inhabitedness test
|
2017-09-22 13:24:55 +02:00 |
|
Ralf Jung
|
8509dbbafe
|
validation: allow undef integers and raw pointers, as a crude work-around
|
2017-09-16 12:08:26 +02:00 |
|
Ralf Jung
|
2ea6663440
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02:00 |
|
Oliver Schneider
|
ec5820c273
|
Use rustc's APFloat impl instead of interpreter host floats
|
2017-09-15 15:06:27 +02:00 |
|
Oliver Schneider
|
8cbfbf77f8
|
Remove #[linkage(foo)] statics from core miri
|
2017-09-15 13:03:07 +02:00 |
|
Ralf Jung
|
9db9308a79
|
Storage{Live,Dead} in generators got fixed
|
2017-09-15 08:58:12 +02:00 |
|
Ralf Jung
|
91d9b83db2
|
validation: remove a hack that is no longer necessary
|
2017-09-14 10:00:37 +02:00 |
|
Ralf Jung
|
59a329d4f7
|
use catch expression to handle the 'release undef' problem slightly better
|
2017-09-13 15:46:53 +02:00 |
|
Ralf Jung
|
bac89ae1d8
|
enable validation for a bunch of more tests
|
2017-09-13 15:46:53 +02:00 |
|
Ralf Jung
|
aa578de018
|
identify write locks by lvalues, not regions
This makes a new compile-fail test pass.
|
2017-09-13 14:37:31 +02:00 |
|
Oliver Schneider
|
2cf984d76e
|
This is unreachable code and it should never ever be reachable even in the future
|
2017-09-13 14:21:07 +02:00 |
|
Oliver Schneider
|
c47ee6b521
|
Rustup part 2/2
|
2017-09-13 13:46:54 +02:00 |
|
Ralf Jung
|
79993e63a0
|
rustup (part 1/2)
|
2017-09-13 12:58:25 +02:00 |
|
Ralf Jung
|
a1f71af5b2
|
restrict cur_frame visibility
|
2017-09-09 11:37:00 +02:00 |
|
Ralf Jung
|
41f228824f
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
Ralf Jung
|
1591977432
|
clean up suspensions when function ends
|
2017-09-09 11:18:02 +02:00 |
|
Oliver Schneider
|
bc2f9259e6
|
rustup
|
2017-09-09 11:18:02 +02:00 |
|
Oliver Schneider
|
e9315a60e4
|
Rustup
|
2017-09-06 10:10:15 +02:00 |
|
Ralf Jung
|
9a273e0192
|
update backtrace to newly released version
|
2017-09-04 12:37:42 +02:00 |
|
Ralf Jung
|
10101dd9f4
|
rename variables to match new type name
|
2017-09-04 12:13:05 +02:00 |
|
David Renshaw
|
bb2bfb4353
|
update for upstream rename: CodeExtent -> Scope
|
2017-09-03 22:39:03 -04:00 |
|
Oliver Schneider
|
58a59e9d23
|
Rustup (generator support)
|
2017-08-30 13:16:27 +02:00 |
|
Oliver Schneider
|
506a5c7910
|
Mir optimizations treat single variant enums as structs
|
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
|
206f0bd6df
|
Fix panic in subslice patterns of arrays (fixes #276)
|
2017-08-29 10:03:00 +02:00 |
|
Oliver Schneider
|
dd5b0100f3
|
Merge remote-tracking branch 'origin/master' into memory
|
2017-08-28 16:13:09 +02:00 |
|
Oliver Schneider
|
2f0dcfba1d
|
Simplify write_value_to_ptr
|
2017-08-28 16:06:49 +02:00 |
|
Oliver Schneider
|
129b914bdc
|
int_align has no dynamic error case
|
2017-08-28 15:58:58 +02:00 |
|
Oliver Schneider
|
e53e9b9e63
|
Deduplicate writing null case of struct wrapped nullable pointers
|
2017-08-28 15:27:50 +02:00 |
|
Oliver Schneider
|
ac7dfcac38
|
Fix #313 by correctly copying relocations when doing overlapping copies
|
2017-08-28 14:08:55 +02:00 |
|
Oliver Schneider
|
1fce886ac3
|
Make some things public that are required by priroda
|
2017-08-28 14:08:10 +02:00 |
|
Oliver Schneider
|
3464401576
|
Merge branch 'master' into memory
|
2017-08-26 23:13:55 +02:00 |
|
David Renshaw
|
8b5f22c3fd
|
use rustc version of fulfill_obligation now that we can
|
2017-08-26 13:48:59 -04:00 |
|
Ralf Jung
|
2307d6fc5b
|
Merge branch 'master' into memory
|
2017-08-26 13:51:13 +02:00 |
|
Ralf Jung
|
8ce6b06d52
|
Remove specialize float/bool read/write methods from memory
Notice that the write methods were previously unused, so if this makes us handle some things incorrectly, they probably were already broken
|
2017-08-25 19:33:12 +02:00 |
|
Ralf Jung
|
b1ca65447a
|
refactor memory write API to match read API
|
2017-08-25 19:08:04 +02:00 |
|
Ralf Jung
|
f036fe0d32
|
refactor memory read API: provide only size-based, no type-based methods
|
2017-08-25 16:20:13 +02:00 |
|