search

viperproject / axiom-profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Other
32 stars 4 forks source link

Added Ubuntu instructions to README. #19

Closed viper-admin closed 4 years ago

viper-admin commented 8 years ago

Pull request :twisted_rightwards_arrows: created by @vakaras on 2016-08-14 19:41 Last updated on 2016-09-05 11:43 Original Bitbucket pull request id: 1

Participants:

  • @alexanderjsummers (reviewer) :heavy_check_mark:
  • @vakaras

Source: https://github.com/viperproject/axiom-profiler/commit/a96c99798867a9c1b0c702d588d81f3a20988203 on branch vakaras/axiom-profiler/default Destination: https://github.com/viperproject/axiom-profiler/commit/c18596e461c215dd687e1908bf224ae48ecbaa29 on branch master Marge commit: https://github.com/viperproject/axiom-profiler/commit/a96c99798867a9c1b0c702d588d81f3a20988203

State: MERGED

viper-admin commented 8 years ago

@alexanderjsummers commented on 2016-08-14 20:37

Location: README.md

Thanks for the instructions! Could you remove your username from the hg command, please?

viper-admin commented 8 years ago

@vakaras commented on 2016-08-15 12:29

Location: README.md

Thanks for the instructions! Could you remove your username from the hg command, please?

Done.

viper-admin commented 8 years ago

@alexanderjsummers approved :heavy_check_mark: the pull request on 2016-09-05 11:43