Oliver Schneider
|
77e1ec2b49
|
style: spaces between functions
|
2016-06-01 19:01:40 +02:00 |
|
Oliver Schneider
|
2405c81c65
|
stepwise interpretation
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
5a8b0ab579
|
don't clone the MIR Rc in every iteration
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
8398781132
|
remove one layer of indirection when interpreting const/static/main functions
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
e73fa7733d
|
can't evaluate failed assertions yet
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
fee3a2c1a7
|
remove intermediate vars
|
2016-06-01 18:42:57 +02:00 |
|
Oliver Schneider
|
af41c54301
|
use format! compile time magics for indentation
|
2016-06-01 18:33:29 +02:00 |
|
Oliver Schneider
|
c62cce3116
|
wraparound when reaching indentation lvl 40
|
2016-06-01 18:18:01 +02:00 |
|
Oliver Schneider
|
b7df4fdc75
|
use a number for the maximum indentation instead of relying on str::len()
|
2016-06-01 17:58:50 +02:00 |
|
Oliver Schneider
|
f9a5416135
|
use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose
|
2016-06-01 17:32:57 +02:00 |
|
Oliver Schneider
|
f1e4ef6c6f
|
re-introduce the module name to the logs and show vertical bars
|
2016-06-01 11:47:55 +02:00 |
|
Oliver Schneider
|
4f3f2020ed
|
add the log crate + env_logger to be able to choose the log granularity at runtime
|
2016-06-01 11:47:41 +02:00 |
|
Oliver Schneider
|
f910019da1
|
add a note to Memory::new mentioning tcx.data_layout
|
2016-06-01 11:24:23 +02:00 |
|
Oliver Schneider
|
29516c3129
|
improve out of bounds error message
|
2016-06-01 11:22:37 +02:00 |
|
Oliver Schneider
|
12c2e5fab2
|
4byte pointers
|
2016-06-01 11:10:43 +02:00 |
|
Oliver Schneider
|
b78ca5f7e1
|
replace panic!s with Result
|
2016-06-01 11:10:43 +02:00 |
|
Oliver Schneider
|
cecae8050e
|
remove unnecessary printlns for benchmarks
|
2016-05-30 13:40:46 +02:00 |
|
Oliver Schneider
|
c55b3666ea
|
clippy nit
|
2016-05-27 16:12:17 +02:00 |
|
Scott Olson
|
8961063c60
|
Handle some cases of StructWrappedNullablePointer.
... plus a bunch of minor refactorings.
|
2016-05-25 00:39:12 -06:00 |
|
Scott Olson
|
3ba923701f
|
Update for changes in rustc nightly.
|
2016-05-13 22:34:50 -06:00 |
|
Scott Olson
|
f63206ed2f
|
Handle discriminant_value intrinsic.
|
2016-05-09 23:41:57 -06:00 |
|
Scott Olson
|
2d32503409
|
Support C ABI memcmp function.
|
2016-05-09 21:53:20 -06:00 |
|
Scott Olson
|
b9c37124be
|
Handle size_of_val for slice types.
|
2016-05-09 21:01:12 -06:00 |
|
Scott Olson
|
6d9a748858
|
Handle size_of_val for sized types.
|
2016-05-09 20:44:42 -06:00 |
|
Scott Olson
|
382dc0ccb2
|
Update for my github username change.
|
2016-05-09 20:08:37 -06:00 |
|
Scott Olson
|
ddfbb655e1
|
Handle statics.
|
2016-05-09 20:03:13 -06:00 |
|
Scott Olson
|
b859444562
|
Do or do not.
|
2016-05-09 18:52:53 -06:00 |
|
Scott Olson
|
753971a4c5
|
Handle promoted rvalues by recursing with call_nested.
|
2016-05-09 18:21:52 -06:00 |
|
Scott Olson
|
49b6349577
|
Update to a new nightly.
|
2016-05-09 15:32:18 -06:00 |
|
Scott Olson
|
a6b9b165c3
|
Handle CEnum layouts with signed representations.
|
2016-05-08 19:49:07 -06:00 |
|
Scott Olson
|
5f07e2ebd3
|
Merge branch 'new-data-layout'
|
2016-05-08 19:31:28 -06:00 |
|
Scott Olson
|
d288472b29
|
Handle CEnum layouts with unsigned representations.
|
2016-05-08 19:29:07 -06:00 |
|
Scott Olson
|
9e289fa0aa
|
Fully handle RawNullablePointer layout.
|
2016-04-30 01:04:17 -06:00 |
|
Scott Olson
|
30f07f3d7f
|
Re-implement support for downcast lvalues.
|
2016-04-29 23:32:15 -06:00 |
|
Andre Bogus
|
7cb6c0dbfe
|
back out similar_names change
|
2016-04-29 17:47:10 +02:00 |
|
Andre Bogus
|
de64670de0
|
Fixed some clippy warnings
|
2016-04-29 06:01:17 +02:00 |
|
Scott Olson
|
3fd2ee9ddc
|
Remove unused eval_operand_and_layout fn.
|
2016-04-23 20:46:27 -06:00 |
|
Scott Olson
|
500cd25627
|
Add missing boolean binops.
|
2016-04-23 20:13:00 -06:00 |
|
Scott Olson
|
2db3597b56
|
Implement boolean binops.
|
2016-04-23 00:39:38 -06:00 |
|
Scott Olson
|
6f50289d43
|
Fix lvalue projections with fat pointer bases.
|
2016-04-23 00:26:10 -06:00 |
|
Scott Olson
|
4a863c2a6a
|
Replace Repr with the new ty::layout in rustc.
Lvalues still need work (see lvalue_layout).
|
2016-04-23 00:03:59 -06:00 |
|
Oliver Schneider
|
ef5fc75c35
|
various testing improvements
|
2016-04-22 20:09:00 +02:00 |
|
Oliver Schneider
|
211c12a1d0
|
use compiletest_rs
|
2016-04-22 10:34:14 +02:00 |
|
Scott Olson
|
e81d88d236
|
Use 8-byte pointers on 32-bit hosts for now.
This will be target-dependent and host-independent eventually.
|
2016-04-15 03:28:18 -06:00 |
|
Scott Olson
|
84f21584ea
|
Fix drop fill checking on 32-bit hosts.
|
2016-04-15 03:16:35 -06:00 |
|
Scott Olson
|
926bbba459
|
Fix over-long bitshift on 32-bit hosts.
Fixes #4. (Hopefully.)
|
2016-04-14 17:39:06 -06:00 |
|
Pascal Hertleif
|
6abfa56b20
|
Update to Rust Nightly 2016-04-11
|
2016-04-14 00:01:00 +02:00 |
|
Scott Olson
|
a69ad6703f
|
Store AllocIds directly in allocation map.
|
2016-04-09 19:31:53 -06:00 |
|
Scott Olson
|
910ad2a391
|
Implement filling drop.
|
2016-04-07 05:56:07 -06:00 |
|
Scott Olson
|
6be14eab15
|
Handle missing allocations in Memory::dump.
|
2016-04-07 03:07:57 -06:00 |
|