Peter W. V. Tran-Jørgensen
Peter W. V. Tran-Jørgensen
Regarding 1. That's a shame - not sure I fully understand why though. But I guess you can just apply the diff tools yourself then. I don't think it's a...
Thanks for explaining. Fair point. I think what you are suggesting sounds like a reasonable solution.
Sounds good, Luis. I look forward to seeing the doc. I would like to try it on some of the codegen tests.
Just letting you know that I merged `ldc/ntf` into `pvj/main`
If none of these instructions helped then I'm not sure what's up. In which directory did you install Overture? Could this be permission related? Or perhaps something went wrong during...
Here's a smaller LateX fragment, which produces the problem. ``` \documentclass{article} \usepackage{vdmlisting} \begin{document} \begin{vdmsl}[breaklines=true] if ' if \end{vdmsl} \end{document} ```
The problem is that the `'` character, which is used in the `size'` identifiers, is also used to construct characters, e.g. `'a'`, and therefore keyword coloring will only work if...
@pglvdm I think someone already did a bit of work on this?
Luis, How developed is the new code coverage plugin? Could it be integrated into Overture and possible replace the existing one (eventually)?
Maybe we can find it here http://www.nicoplat.com/sites/default/files/tr-isovdmsl.pdf Unfortunately I can't search the pdf. Maybe @pglvdm knows what the rules for duplicate definitions are? Peter, would you consider it reasonable to...