Kyle J Strand
Kyle J Strand
@carols10cents I've revived @PritiKumr's branch on my own fork and gotten it to at least build, but I don't really know what I'm doing with regard to the frontend. Since...
Now that Miri is indeed in rustc (wooooo!), any further thoughts on this? If I understand correctly, FFI would be necessary for us to use Miri as the basis for...
@eddyb I don't actually know what the requirements are for a Jupyter kernel; I was basing my understanding on [an old discussion](https://github.com/murarth/rusti/issues/43) about using `rusti` instead of Miri for the...
@eddyb Yeah, I think the terminology is a bit confusing!
@eddyb If it were possible to guarantee that improper writes *would* segfault, wouldn't that be preferable to corrupting the Miri process without terminating it?
Ah, I remember procedural macros being "stabilized", but I forgot that didn't mean they went immediately to the stable channel. Now that some procedural macros are stable, do you think...
I tried just running `cargo +beta fix --edition`, but it seems the `build.rs` step to generate `grammar.rs` from `grammar.lalrpop`. I don't really have any idea what the problem is, unfortunately...
Okay, I've fixed the `lalrpop` issue; at some point they moved the generated `rs` files from the source tree into the build directory, necessitating the use of a special macro...
This looks related to #31.
Test #13 fails with a segfault when I run `make`, which may be a related issue.