search

viperproject / viperserver

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

Scope-based SymbExLogger #11

Closed viper-admin closed 3 years ago

viper-admin commented 4 years ago

Pull request :twisted_rightwards_arrows: created by @arquintl on 2019-10-01 18:34 Last updated on 2020-02-03 15:46 Original Bitbucket pull request id: 11

Participants:

  • @mschwerhoff (reviewer)

Source: https://github.com/viperproject/viperserver/commit/99c903d3d7db901ada77b40d2fe94b03836843a4 on branch arquintl/viperserver/default Destination: https://github.com/viperproject/viperserver/commit/7cc7ce5224a723ab1fcdbe2e7ea0cbfbd727fcab on branch master

State: OPEN

‌

aterga commented 4 years ago

Hi @ArquintL , do you think it makes sense to merge this PR soon?

ArquintL commented 4 years ago

@aterga yes I think so, the main changes have already been merged by Malte into Silicon. The only thing I don't know is how advanced IDE features (e.g. debugging) are affected in general by my changes

ArquintL commented 3 years ago

After having merged Silicon PR #562, this PR makes ViperServer compatible with the latest Silicon version.