display the full path to the function if no MIR is found

we already have the constant's type, no need to recompute from the def_id

Merge pull request #20 from oli-obk/error_reporting

various fixes and refactorings

adjust lifetimes and bindings to the GlobalEvalContext -> EvalContext rename

style nit

remove unused method

rename GlobalEvalContext to EvalContext

expose a minimal API and use it in the binary

simplify the stepper interface

Merge pull request #18 from oli-obk/hold_the_state

Hold the state

get rid of the constants cache in the stepper

this is possible due to the removal of `FnEvalContext`

the `type_size` method's `substs` argument allows computing the locals before pushing the stack frame

inline the `call` method into `interpret_start_points`

print errors in one central location

No more terminators

merge FnEvalContext into GlobalEvalContext

rename `static_item` to `global_item`

make sure globals that yield function pointers aren't treated like functions

we already have the constant's type, no need to recompute from the def_id

refactor away the closures and `Event` enum

the statement/terminator has already been computed, don't do it again

improve the docs of ConstantId

improve fn argument naming

put `ConstantId`'s common fields into a struct

no more function pointers

directly push stackframes for constants when they are encountered

rebase leftovers

don't cache the MIR in the Stepper

clippy nits

move load_mir to the global eval context

move some methods from FnEvalContext to GlobalEvalContext

globally cache statics and promoteds

stop producing executable files in the root folder during benchmarks...

move constants stack to stackframe

update documentation

factor out the statement index into the stackframe

store the current block in the frame

jit interpretation of constants

merge the three stacks in the interpreter

remove a debug message that snuck into the commit

add a const fn test

also step through promoteds, constants and statics

note that not all literal items are function pointers

rename `iterator` module to `stepper`

style: spaces between functions

stepwise interpretation

don't clone the MIR Rc in every iteration

remove one layer of indirection when interpreting const/static/main functions

can't evaluate failed assertions yet

Merge pull request #16 from oli-obk/logs

use the `log` crate + `env_logger`

remove intermediate vars

use format! compile time magics for indentation

wraparound when reaching indentation lvl 40

use a number for the maximum indentation instead of relying on str::len()

use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose

Merge pull request #15 from oli-obk/step_by_step

4 byte pointers + tests

re-introduce the module name to the logs and show vertical bars

fallout because compiletest tried to use rustc's log crate

add the `log` crate + `env_logger` to be able to choose the log granularity at runtime

add dependencies and run cargo update

add a note to Memory::new mentioning tcx.data_layout

improve out of bounds error message

4byte pointers

replace `panic!`s with `Result`

don't generate test suites

Merge pull request #13 from oli-obk/master

benchmarks

add more benchmarks

remove unnecessary printlns for benchmarks

add benchmarks

clippy nit

Handle some cases of StructWrappedNullablePointer.

... plus a bunch of minor refactorings.

Merge pull request #12 from qres/patch-1

fix tuple example in slides

fix tuple example in slides

Update for changes in rustc nightly.

Correct license in Cargo.toml.

Handle discriminant_value intrinsic.

Support C ABI memcmp function.

Add test for size_of_val::<str>.

Handle size_of_val for slice types.

Handle size_of_val for sized types.

Update for my github username change.

Handle statics.

Do or do not.

Fix the all-important smiley.

Only test on the latest nightly version.

Handle promoted rvalues by recursing with call_nested.

Update to a new nightly.

Handle CEnum layouts with signed representations.

Merge branch 'new-data-layout'

Move StructWrappedNullablePointer-using test to bugs dir.

Handle CEnum layouts with unsigned representations.

Fully handle RawNullablePointer layout.

Re-implement support for downcast lvalues.

Merge pull request #10 from llogiq/clippy

Fixed some clippy warnings

back out similar_names change

Fixed some clippy warnings

report: Remove redundant commented-out paragraph.

Remove unused eval_operand_and_layout fn.

Add missing boolean binops.

Implement boolean binops.