Federico Magnani

Results 3 comments of Federico Magnani

I wrote this method trying to reproduce the behaviour of a matlab script which was invoking this function. > - I'm not a fan of the name. `tril` seems to...

Thank you for assigning me to this issue. There are several otterscan types which require implementation using `anvil/src/eth/mem/Backend` (take `build()` as an example. Since implementation on Alloy's types is not...