Luis Diogo Couto

Hey Leo. This doesn't happen for me. Gonna need a bit more info to try to reproduce. How are you launching the debugger (console or entry point)? Does this happen...

Ok, so I have confirmed this on the Alarm example. We've started looking into this but it may take a bit since it involves communication between processes. The rest of...

Ban problematic project names. This is extremely common in other tools and not a big deal for users. They shouldn't be using &s in their names anyway :)

Confirmed. Breakpoints can be set for permission predicates but the interpreter does not stop at them. If you force a deadlock (for example, by adding a conjunction with `false`), the...

These seem like 2 different features to me. Linking definitions to names is AST links and lookups. I don't know if the bugs in the current feature stem from broken...

I'm not sure what you mean by "new parse". As far as I understand/remember.. * the parse-as-you-type is an Eclipse hook and we call the Overture parser from there. *...

It supports parser testing through the fine gained test class. I am fully in favour of migrating the tests. Happy to support such effort. --luis On 14 Jul 2016 11:00,...

Oh yeah, you're right. You need to split the Fine Grain class (and it's dependencies) into a separate maven project. I can take care of it. Can I branch off...

It's fine. I won't need Neon to work on the test framework. I'll try pvj/main. On 17 July 2016 at 17:40, Peter W. V. Tran-Jørgensen < [email protected]> wrote: > Thanks....