search

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Working Prototype #1

Closed viper-admin closed 4 years ago

viper-admin commented 7 years ago

Pull request :twisted_rightwards_arrows: 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:

  • @aterga (reviewer)

Source: https://github.com/viperproject/viperserver/commit/f1dadddadc6e190c91c1997ca45784e3a52fab55 on branch rukaelin/viperserver_for_ide/default Destination: https://github.com/viperproject/viperserver/commit/b9c1595db9fa54e1522adcd5c674d014fcec11f8 on branch master Marge commit: https://github.com/viperproject/viperserver/commit/f1dadddadc6e190c91c1997ca45784e3a52fab55

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