yxliang

@LogvinovLeon Would you like to describe how you created these types previously? Was it automatically generated? Were you simply converting from https://github.com/federicobond/solidity-parser-antlr/blob/5cbebf9ee879500bc76db52fde77c33c37a266d0/src/lib/SolidityParser.js#L689 ? Since I see some of the types...

@federicobond Are you also confirming that `Expression` and `SimpleStatement` are not part of the output AST of this library? If so, I will fix it soon.

I see. Side effect as in? @Leeleo3x

@federicobond Hmm so for the current implementation what kinds of code will be transformed to a `ExpressionStatement` AST node type?

I think generators are super suitable to be used with lazy.js . Hope this is going to be implemented! :)

@dtao Since this PR has been here for half a year, are you thinking to propose changes or merge?

I think this is going to be a very useful feature!

@alexeyignatiev Yup! It definitely be very useful. However, I also can't allocate time for this recently... You have an estimate for this? It would be super helpful for my research...

I meant simply formula preprocessing. E.g. removing clauses that always hold, etc...

#247 might be the one you are looking for? Sadly, this project seems to be inactive/dead....