Ian Voysey

Sounds good. For updating the version, I defaulted to making a fork on my own account and doing a PR from that without actually asking if that's the right thing...

Gotcha; I'll use that style from now on, then.

fix this after #373

https://docs.soliditylang.org/en/latest/internals/variable_cleanup.html a lot of the things we currently omit are these sorts of hygiene conditions; that's fine for now but will not be fine always

i removed this test case from the JSON listing in https://github.com/mcoblenz/Obsidian/pull/430. prior to that PR, it would run and produce a bad answer (as above). now it runs out of...

1. style that adds the triangle cursors back in, to really match the paper even at the expense of readability 2. style that shows the derivation for each action on...

this is kind of a generalization of #45. id casts are casts that it's always safe to normalize out, but there are others that are morally identity casts but perhaps...

this is silly on its face since with the red bracketed premises commented out the steps are intentionally not deterministic. this would mean changing the judgement form to have a...

i've changed the name of this issue to be a little bit less disingenuous and include something else we've talked about on and off. specifically, the current formulation of the...

That's reassuring in its own way! I was implementing a toy solver much like yours and tried to run it on a reasonably medium example and it just hung (or...