Bruno
Is this why snoozed messages stopped coming back to inbox?
There is some preliminary discussion about the possibility of integrating IELE (https://github.com/runtimeverification/iele-semantics/) in Scorex.
I generally agree with reducing the number of actors in Scorex. Currently, it seem that everything is an actor in Scorex, but this doesn't need to be so. I tend...
As far as I know, we don't. But I don't know everything. That is why I wanted to raise this potential issue. @kushti, what do you think?
Maybe the goal here is just to emit a warning that `declaredAddress` is badly configured. If this is the case, then maybe we should use `log.warn` instead of `log.error`.
@EzequielPostan , since you are already working on #162 , could you work on this one too?
> It looks interesting. If I understand correctly, you would like to define on each actor companion's object a ReceivableMessages object that lists the messages that can be sent to...
@EzequielPostan , I didn't really understand the issue you described. Could you show a more concrete example illustrating the issue?
Or, perhaps more efficiently, submit a "work-in-progress" PR, showing your proposal in one case only. Then we can discuss that case, and decide whether to do it everywhere.
Ahh... You are misreading the "import" statements. If you have: ``` class ActorA extends Actor { import ActorA.receivableMessages._ import ActorB.receivableMessages.{Message1, Message2} ... } ``` You should it read it as:...