axiom-profiler icon indicating copy to clipboard operation
axiom-profiler copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

Added a script that generates a single Z3 log file from a Viper program (via Silicon).

Open viper-admin opened this issue 4 years ago • 0 comments

Pull request :twisted_rightwards_arrows: created by @aterga on 2018-08-18 10:43 Last updated on 2019-11-29 18:54 Original Bitbucket pull request id: 4

Participants:

  • @alexanderjsummers (reviewer)

Source: https://github.com/viperproject/axiom-profiler/commit/9d752b89ddce75045c7bffe5b5b3c914c7891dce on branch arshavir/axiom-profiler/default Destination: https://github.com/viperproject/axiom-profiler/commit/964e670adff4e96aa9e0e9e87685015ae040c448 on branch master

State: OPEN

Tested on MacOS.

viper-admin avatar Mar 18 '20 10:03 viper-admin