Benno Fünfstück
Benno Fünfstück
Fixed everything except unmaintained xml-rs and ansi_term. Ansi term is a really small library so moving away from it has low priority. xml-rs is a bit bigger, but it's also...
I am hitting a variant of this issue, where my code doesn't compile since kani's macros use edition 2021. The following code compiles with rustc, if not using edition 2021:...
Do you have any ideas for a possible solution of this issue? I would like to fix this as I have a project where a dependency is using the non-edition-2021...
I think you need to replace "open" in the source code of the script with "xdg-open". See #1
this is due to a change in `haskell-src-exts`. `Exp` now takes the type of source locations as an argument. I will look at it later, but if anyone wants to...
Before `reverse-stepi`: ``` (rr) when Current event: 4368545 ``` After `reverse-stepi` (this is the event number I passed to `-g`!) ``` (rr) when Current event: 4368543 ``` The rr dump...
I terminated the program with `Ctrl+C` because it hung when recording. Perhaps the issue is that I accidently used an event number that lies after this event?
@rocallahan re-run as in `rr replay`, or create a new recording?
I've pasted the `rr replay` session with those environment settings: https://gist.github.com/bennofs/4c61ea7c11372a3d855e2f1d1e7e3cf3
Unfortunately, it looks like I deleted the original replay :flushed: I have a few different replays from the same program, they all seem to end with: ``` Program received signal...