Oliver Schneider
|
0c269a500c
|
rename iterator module to stepper
|
2016-06-01 19:17:18 +02:00 |
|
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 |
|
Scott Olson
|
66a812f3e1
|
Merge pull request #16 from oli-obk/logs
use the `log` crate + `env_logger`
|
2016-06-01 10:48:27 -06: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 |
|
Scott Olson
|
c8151703b2
|
Merge pull request #15 from oli-obk/step_by_step
4 byte pointers + tests
|
2016-06-01 07:44:18 -06: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
|
49dfd82fd3
|
fallout because compiletest tried to use rustc's log crate
|
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
|
b3a175f730
|
add dependencies and run cargo update
|
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
|
55ce704ae7
|
don't generate test suites
|
2016-06-01 11:10:43 +02:00 |
|
Scott Olson
|
f3923eeb50
|
Merge pull request #13 from oli-obk/master
benchmarks
|
2016-05-30 13:01:11 -06:00 |
|
Oliver Schneider
|
8e1fa8c13c
|
add more benchmarks
|
2016-05-30 14:05:50 +02:00 |
|
Oliver Schneider
|
cecae8050e
|
remove unnecessary printlns for benchmarks
|
2016-05-30 13:40:46 +02:00 |
|
Oliver Schneider
|
3ec813e4e5
|
add benchmarks
|
2016-05-30 13:40:20 +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
|
51c5b6392d
|
Merge pull request #12 from qres/patch-1
fix tuple example in slides
|
2016-05-13 23:18:19 -06:00 |
|
qres
|
42b4903775
|
fix tuple example in slides
|
2016-05-14 15:13:06 +10:00 |
|
Scott Olson
|
3ba923701f
|
Update for changes in rustc nightly.
|
2016-05-13 22:34:50 -06:00 |
|
Scott Olson
|
82dfa7278b
|
Correct license in Cargo.toml.
|
2016-05-10 11:50:11 -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
|
78caee20c7
|
Add test for size_of_val::<str>.
|
2016-05-09 21:03:53 -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
|
4792b8a873
|
Fix the all-important smiley.
|
2016-05-09 18:36:40 -06:00 |
|
Scott Olson
|
4856997168
|
Only test on the latest nightly version.
|
2016-05-09 18:35:22 -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
|
d825ef1bf1
|
Move StructWrappedNullablePointer-using test to bugs dir.
|
2016-05-08 19:30:17 -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 |
|