viperproject/viperserver

Working Prototype

viper-admin opened this issue · 0 comments

viper-admin commented

Pull request 🔀 created by bitbucket user rukaelin on 2017-04-28 09:37
Last updated on 2017-05-02 10:57
Original Bitbucket pull request id: 1

Participants:

Source: f1daddd on branch rukaelin/viperserver_for_ide/default
Destination: b9c1595 on branch master
Marge commit: f1daddd

State: MERGED

The Viper Server runs as a server and is able to run verifications using either silicon or carbon. Parallel verifications are not supported.
The Viper Server provides a cache to store the verification results of methods. When there are no changes in the AST, the verification is skipped, the cached errors are updated based on the new AST and reported.

Caching can be disabled using the --disableCaching flag