Develop smarter interactions for Viper IDE

[viper-admin]

Created by @aterga on 2017-03-21 13:29
Last updated on 2017-04-05 06:15

Currently, we have the interactive mode which reports verification results as soon as possible. In practice, though, working on big Viper examples requires intervals of time (2-10 minutes) spent for sketching the program. During these intervals it is redundant to try to actually verify the program, because it's not done yet. It also takes a lot of CPU time to reverify the same programs repeatedly.

On the other hand, switching off the automatic saves is not something one wants to do every 10 minutes. Moreover, some of the interactive information could be super helpful during the sketch phases, e.g., the parser/type checker errors (which shouldn't take too much CPU time).

I want to collect feedback from more people and understand how exactly would be like to improve the IDE interactions.

Also, it would be good to understand to what extent would this request be covered once we have caching.

[viper-admin]

Bitbucket user rukaelin commented on 2017-03-23 11:40

I am working on integrating an show outline feature that allows for an enhanced navigation inside a viper file.

On IDE-side, it is already implemented, but I still have to do the pull request for Silver

[viper-admin]

Bitbucket user rukaelin commented on 2017-04-05 06:15

The pull request was accepted and the outline functionality is supported in Viper v0.6.0