Oliver Schneider
|
6b939bbd79
|
rebase leftovers
|
2016-06-08 11:11:08 +02:00 |
|
Oliver Schneider
|
1f27d3f7b3
|
don't cache the MIR in the Stepper
|
2016-06-08 10:26:48 +02:00 |
|
Oliver Schneider
|
c881cf10d8
|
clippy nits
|
2016-06-08 09:41:28 +02:00 |
|
Oliver Schneider
|
f42be6db54
|
move load_mir to the global eval context
|
2016-06-08 09:41:25 +02:00 |
|
Oliver Schneider
|
4d44a970a3
|
move some methods from FnEvalContext to GlobalEvalContext
|
2016-06-08 09:38:59 +02:00 |
|
Oliver Schneider
|
4c833a54d2
|
globally cache statics and promoteds
|
2016-06-03 17:41:36 +02:00 |
|
Oliver Schneider
|
dc85b11421
|
stop producing executable files in the root folder during benchmarks...
|
2016-06-03 17:14:36 +02:00 |
|
Oliver Schneider
|
4743842821
|
move constants stack to stackframe
|
2016-06-03 17:08:51 +02:00 |
|
Oliver Schneider
|
02eed64cc0
|
update documentation
|
2016-06-03 17:04:08 +02:00 |
|
Oliver Schneider
|
346560b318
|
factor out the statement index into the stackframe
|
2016-06-03 16:57:47 +02:00 |
|
Oliver Schneider
|
f995db9ffb
|
store the current block in the frame
|
2016-06-03 16:51:51 +02:00 |
|
Oliver Schneider
|
cc1ca73f57
|
jit interpretation of constants
|
2016-06-03 15:48:56 +02:00 |
|
Oliver Schneider
|
05f829cc9f
|
merge the three stacks in the interpreter
|
2016-06-02 18:21:32 +02:00 |
|
Oliver Schneider
|
38ae3526e5
|
remove a debug message that snuck into the commit
|
2016-06-02 18:03:22 +02:00 |
|
Oliver Schneider
|
97bc1d4bee
|
add a const fn test
|
2016-06-02 17:36:05 +02:00 |
|
Oliver Schneider
|
6ac64f19af
|
also step through promoteds, constants and statics
|
2016-06-02 17:05:17 +02:00 |
|
Oliver Schneider
|
5211178377
|
note that not all literal items are function pointers
|
2016-06-01 19:20:23 +02:00 |
|
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 |
|