Jasper van Meer

I would like to propose a feature or enhancement of the IDE that deals with the task of commenting out multiple lines. Right now this can be a repetitive and...

I found a bug in the IDE in the opening of projects. Let us assume the case where we have two distinct projects A and B. The contents of the...

Indeed, the project names are the same. Whenever I generate the state space of project B the console displays the following message: > Up to date LPS lready exists >...

I found a bug in how the project names are handled in the IDE. Let us assume the case where we will create a new project. The new project name...

I found a bug in the Zoom In/Out feature of the IDE. Let us assume we have a project where the specification is of a length that does not normally...

I use windows 10. Specifically on a laptop the TU/e issued for students in 2017.