Everett Hildenbrandt
Everett Hildenbrandt
I think so. I'm still working on the K spec for the EEI, and my focus is on conforming to the type signatures that eth_interface specifies, while using the EEI...
Advantages of having an executable spec :P
Hmmm, seems like a bug in the spec then (that it says is "undefined" instead of saying "trap").
@axic you want to do the honors of opening an issue on the wasm spec repo?
I think the spec is pretty clear in other places where there should be a Trap, so I think it should say `Trap` instead of "undefined". I think either way...
I don't like the idea of trying to identify which useGas were inserted by the metering contract and which were not. Would only really be ok with it if there...
It should be possible, yes. @dwightguth or @theo25 would know more about the details. What I'm not sure about is whether this semantics has been updated to use the LLVM...
This seems related to the example I gave @andreistefanescu of `--search` not giving all the results I expected. I guess the problem is that associative unification is not supported, specifically...
Here is the example I had: ``` module TEST-SYNTAX imports DOMAINS syntax Foo ::= "foo" | "bar" | "foo1" | "foo2" | "bar1" | "bar2" | "fooSplit" | "symbolicFoo" [function]...
Minimal example please? Everett H. On Thu, Sep 14, 2017 at 11:55:21PM +0000, Ali Kheradmand wrote: > Hi I have the following configuration > > @val ( 0 , 14...