Improvements on pragmas
- Do you think you could complete the warning when a pragma is not correct, e.g. "Invalid header", "Invalid block name", "Invalid attribute name", "Invalid boolean expression"?
- In the UPPAAL verification windows, that would be better to write the property under verification only once, and as it was written by the user:
A[] Wallet.b == true A[] Wallet__0.b == true -> property is NOT satisfied
->
A[] Wallet.b == true -> property is NOT satisfied
-
I have the same issue with performance pragmas: they are not displayed when invalid. And we don't get a warning when they are invalid or they get a red cross.
-
Not urgent, but I guess that, just like for UPPAAL, that would be great to be able to select the security pragmas we want to verify (with a all button to select all of them at once).
Otherwise, the syntax checker seems to be more efficient, and probably enough for this release. The new help is more complete but I find it difficult to read. You should make it nicer, just like the menu of your school ^^