JeanKa

`repay` should not throw when repaying a borrow of the same block

3

Reading at the audits it seems AAVE added this check in order to force users to use `flashloan` instead of the `borrow`-`repay` sequence in the block. I think this is...

Allow `withdraw` function to be called on behalf of some account.

3

Currently all interactions with the pool can be done `onbehalf` of another account (modulo approval), except `withdraw`. This makes it gas costly for a protocol managing user's funds on AAVE...

Using bigArray to represent the state should improve memory performance (GC wise). One needs to have one array per agent type of arity k though.

On mac OS X, I am using Kappapp as the default application to handle .ka extensions. When double clicking on a kappa file, the OS correctly launches the app but,...

wildcard on the rhs

2

I think one should be more liberal w.r to the usage of wildcards as long as they are explicit. For instance the rule `A(x[_]),B() -> A(x[#]),.` or alternatively `A(x[_/#]),B()-` makes...

I would be great to have a 'default' mixture (for reachability analysis for instance) where: %init: 100 default would be interpreted as the mixture composed of 100 instances of all...

Allow partial signatures in agent declaration

6

If one interprets signatures as types for rules (a la Russ), then I believe one should allow for partial signatures. For instance %agent: A(x!x.B) %agent: B(x) should be a correct...

KaSa output is not displayed for models containing tokens

1

Contact map et al are not displayed for models containing tokens when command line KaSa correctly output some analysis. It would be great if the gui could reflect KaSa's output...

Pause condition presentation

5

If one cannot use any expression for the pause condition, I suggest not to let the user write an arbitrary expression in a box. Maybe just an integer (as for...

[AAVEv3 testnet UI on polygon] Mismatch between addresses listed in the dev doc and those used by the webApp

1

- [x] I have searched the [issues](https://github.com/aave/aave-ui/issues) of this repository and believe that this is not a duplicate. ## Summary 💡 The addresses listed in the developper documentation for mumbai...