Oliver Schneider
|
76768479b5
|
Update for latest rustc changes
|
2017-04-25 16:51:58 +02:00 |
|
Eduard-Mihai Burtescu
|
14ba6d9599
|
Merge pull request #159 from dwrensha/is-freeze-needs-drop
update for latest rustc nightly
|
2017-04-23 20:54:54 +03:00 |
|
David Renshaw
|
d666bd7e62
|
update for latest rustc nightly: type_needs_drop_given_env() and type_contents() are gone
|
2017-04-23 13:45:04 -04:00 |
|
Eduard-Mihai Burtescu
|
9a32772f92
|
Merge pull request #156 from oli-obk/master
Use rustc generated shims instead of interpreter hacks
|
2017-04-21 14:23:37 +03:00 |
|
Eduard-Mihai Burtescu
|
b9bd747b6c
|
Import EvalError in lvalue.
|
2017-04-21 14:02:12 +03:00 |
|
Eduard-Mihai Burtescu
|
738c7d262a
|
Handle Use of ! as Unreachable is not emitted nowadays.
|
2017-04-21 13:56:44 +03:00 |
|
Eduard-Mihai Burtescu
|
cb3799b44b
|
Update for changes in LocalDecl on nightly.
|
2017-04-21 13:27:09 +03:00 |
|
Eduard-Mihai Burtescu
|
f95cc529fc
|
Update byteorder commit hash in Cargo.lock.
|
2017-04-20 09:46:43 +03:00 |
|
Oliver Schneider
|
fdeee8fb59
|
Cleanup the diff
|
2017-03-29 09:10:05 +02:00 |
|
Oliver Schneider
|
065e9593b4
|
Rustup to rustc 1.17.0-nightly (7846dbe0c 2017-03-26)
|
2017-03-27 10:13:21 +02:00 |
|
Oliver Schneider
|
6706d8fdec
|
Add regression test for bad substs
|
2017-03-24 09:03:19 +01:00 |
|
Oliver Schneider
|
bbeb7216e0
|
Thinify the fat pointer on virtual function calls
|
2017-03-23 18:32:57 +01:00 |
|
Oliver Schneider
|
cb867d250a
|
Fix casting generic functions to concrete function pointers
|
2017-03-23 17:57:40 +01:00 |
|
Oliver Schneider
|
f4ed482c4d
|
print doesn't add a stack frame, so don't write arguments
|
2017-03-23 17:36:10 +01:00 |
|
Oliver Schneider
|
0927829e14
|
Add regression test for single field by val tuples
|
2017-03-23 16:13:01 +01:00 |
|
Oliver Schneider
|
fb7cc3c164
|
Fix single field by val tuples
|
2017-03-23 16:09:36 +01:00 |
|
Oliver Schneider
|
197226aa2a
|
Try to fix travis
|
2017-03-23 15:52:11 +01:00 |
|
Oliver Schneider
|
eecc727e87
|
Reduce noisyness
|
2017-03-23 15:52:02 +01:00 |
|
Oliver Schneider
|
1263d56eb0
|
Merge branch 'master' of https://github.com/tsion/miri
|
2017-03-23 15:40:47 +01:00 |
|
Oliver Schneider
|
1c9f5ac669
|
Skip the transmute checks for closure glue
|
2017-03-23 15:23:53 +01:00 |
|
Oliver Schneider
|
1391c5a10a
|
Reintroduce fn ptr transmute check
|
2017-03-23 15:17:02 +01:00 |
|
Oliver Schneider
|
4e83659b1d
|
Fix manual rust-call impls
|
2017-03-23 15:07:33 +01:00 |
|
Oliver Schneider
|
d71f24c00f
|
Fix virtual function calls
|
2017-03-23 14:57:11 +01:00 |
|
Oliver Schneider
|
ad4f6b920a
|
Fix virtual function calls
|
2017-03-23 14:24:02 +01:00 |
|
Oliver Schneider
|
d70b79c778
|
Refactor function calls
|
2017-03-23 13:36:13 +01:00 |
|
Oliver Schneider
|
70ea218d2b
|
Reuse more rustc code instead of copying it into miri
|
2017-03-23 13:35:19 +01:00 |
|
Oliver Schneider
|
0255a51468
|
Fix function pointer calls
|
2017-03-23 10:04:08 +01:00 |
|
Scott Olson
|
cba0a7e8fc
|
Merge pull request #155 from dwrensha/feature-gates
remove feature opt-ins that are no longer needed
|
2017-03-22 19:45:12 -07:00 |
|
David Renshaw
|
f0bca59ad0
|
remove feature opt-ins that are no longer needed
|
2017-03-22 18:59:26 -04:00 |
|
Oliver Schneider
|
caed365dbe
|
Refactor drop into its own module and fix Vec
|
2017-03-22 18:31:41 +01:00 |
|
Oliver Schneider
|
3ef0b0de2c
|
Dropping slices works again
|
2017-03-22 17:51:43 +01:00 |
|
Oliver Schneider
|
c409079442
|
Dropping trait objects works again
|
2017-03-22 17:48:16 +01:00 |
|
Oliver Schneider
|
9e4e6cdb5c
|
Dropping arrays works again
|
2017-03-22 17:32:20 +01:00 |
|
Oliver Schneider
|
7c12ebc78d
|
Roll our own MIR for dropping arrays.
|
2017-03-22 16:16:23 +01:00 |
|
Oliver Schneider
|
030f00a8a1
|
Fix drop terminator
|
2017-03-22 14:19:29 +01:00 |
|
Oliver Schneider
|
26c3335dbf
|
Closures work again
|
2017-03-22 13:13:52 +01:00 |
|
Scott Olson
|
c2db2720b4
|
Merge pull request #154 from dwrensha/update-rustc
partially update for latest rustc nightly
|
2017-03-21 13:00:39 -07:00 |
|
David Renshaw
|
3612d826e7
|
ast::Attribute no longer has a 'value' field
|
2017-03-21 11:04:49 -04:00 |
|
Oliver Schneider
|
dc1b0fb436
|
Compiles again
|
2017-03-21 13:53:55 +01:00 |
|
Oliver Schneider
|
c6a18cead8
|
Rustup to rustc 1.17.0-nightly (134c4a0f0 2017-03-20)
|
2017-03-21 09:21:51 +01:00 |
|
Scott Olson
|
a82924b3e2
|
Merge pull request #152 from oli-obk/intrinsics
Intrinsics and overflow
|
2017-03-14 13:35:51 -07:00 |
|
Scott Olson
|
0ca0676abd
|
Merge pull request #146 from oli-obk/peephole1
[Peephole Optimization 1/n] Don't allocate for structs with a single primval field
|
2017-03-14 09:57:02 -07:00 |
|
Scott Olson
|
6ee8595375
|
Merge pull request #147 from oli-obk/rustup
rustup to rustc 1.17.0-nightly (60a0edc6c 2017-02-26)
|
2017-03-14 09:49:40 -07:00 |
|
Oliver Schneider
|
257ac5803f
|
Don't unconditionally mask bitshift rhs
|
2017-03-14 14:24:16 +01:00 |
|
Oliver Schneider
|
bb33830c60
|
Implement more atomic intrinsics
|
2017-03-14 13:05:51 +01:00 |
|
Oliver Schneider
|
adddde7cba
|
Implement more float intrinsics
|
2017-03-14 12:35:38 +01:00 |
|
Oliver Schneider
|
80be25e705
|
Fix warnings in unit test
|
2017-03-14 11:14:53 +01:00 |
|
Oliver Schneider
|
adb3fbb285
|
Add a method that hides the lifetime erasing boilerplate
|
2017-03-14 11:12:59 +01:00 |
|
Oliver Schneider
|
da6f136997
|
I say we take off and nuke the lifetimes from orbit
|
2017-03-14 10:49:22 +01:00 |
|
Oliver Schneider
|
64d196a9dc
|
Use deterministic keyword renaming (append _)
|
2017-03-14 09:23:15 +01:00 |
|