Marco Eilers
Marco Eilers
I think there are some possibilities to add additional constraints that reduce the search space for Z3 a bit. We could list them here. At the moment, I have exactly...
When a function is inherited, it's copied into the class that inherits it. If that inheriting class is in a different module, the inference will apparently run a second time...
**Issue by [robinsierra](https://github.com/robinsierra)** _Friday Feb 07, 2020 at 07:47 GMT_ _Originally opened as https://github.com/robinsierra/2vyper/issues/14_ ---- 2vyper currently doesn't choose triggers when performing a quantified resource operation, e.g. ```foreach({a: address}, offer[token...
**Issue by [robinsierra](https://github.com/robinsierra)** _Thursday Feb 06, 2020 at 16:04 GMT_ _Originally opened as https://github.com/robinsierra/2vyper/issues/11_ ---- 2vyper currently does not support `slice`. The reason is a bug in Vyper, see https://github.com/vyperlang/vyper/issues/1467.
**Issue by [robinsierra](https://github.com/robinsierra)** _Thursday Feb 06, 2020 at 15:54 GMT_ _Originally opened as https://github.com/robinsierra/2vyper/issues/8_ ---- At the moment equality of maps does not take into account type assumptions, i.e., two...
**Issue by [robinsierra](https://github.com/robinsierra)** _Thursday Feb 06, 2020 at 15:51 GMT_ _Originally opened as https://github.com/robinsierra/2vyper/issues/7_ ---- Currently, 2vyper translates equality of two maps by using a pre-defined Viper domain function that...
Previously, when Silicon could not use a provided trigger (because it could not evaluate at least one of the trigger expressions), - it could end up emitting a trigger containing...
Debugging functionality implemented by @AndreaKe