Update for lastest miri and improve it a bit

[bjorn3]

• edges are now colored
• all numeric types, bools and &str are now nicely formatted
• using next while inside a call doesnt step to inside the next function call when on a return terminator
• boxes are only as high as their contents (except for the mir graph)
• stepping over StorageLive, StorageDead, Validate, EndRegion and Nop by default
• add restart button
• show the source code
• breakpoints
• migrate to rocket
• time traveling support ↺

TODO

• change the miri submodule from my own fork to upstream when WIP rustup rust-lang/miri#361 is merged

Source of the example:

#![feature(termination_trait)]

fn return_42() -> u64 {
    42
}

fn main() -> Result<(), std::io::Error> {
    let abc = Box::new(0);
    return_42();
    let f = 1.4f64;
    let sum = 1f64
    +
    f;
    let s = "ieeoe";
    let bcd: Box<[u8]> = Box::new([0, 1]);
    let d = true;
    format!("ewioio: {}", abc);
    Ok(())
}

Several edits: updated example, screenshot and feature list

[oli-obk]

I haven't forgotten about this. I'm trying to get miri working again atm :)

[bjorn3]

No problem

[bjorn3]

I added breakpoint support 🎊

[bjorn3]

Added time traveling support ↺

You can now step backwards in time.

[oli-obk]

Haha nice. We should probably add a tooltip mentioning that it's a very expensive operation ^^

[bjorn3]

Yeah!

[bjorn3]

Miri is updated to master.

[oli-obk]

So much awesomeness today.

Thanks for all your cleanup and improvement work here. It's way more than "a bit"!