{"id":20910119,"url":"https://github.com/viperproject/viper_client","last_synced_at":"2025-12-28T08:32:23.959Z","repository":{"id":40721897,"uuid":"249738125","full_name":"viperproject/viper_client","owner":"viperproject","description":null,"archived":false,"fork":false,"pushed_at":"2023-06-29T11:30:47.000Z","size":32,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":6,"default_branch":"master","last_synced_at":"2025-01-19T15:23:21.327Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/viperproject.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-03-24T14:59:53.000Z","updated_at":"2022-05-15T12:51:37.000Z","dependencies_parsed_at":"2024-11-18T14:14:10.699Z","dependency_job_id":"0bd5e4a6-b2c2-4553-9432-f4a394a80289","html_url":"https://github.com/viperproject/viper_client","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fviper_client","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fviper_client/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fviper_client/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fviper_client/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/viperproject","download_url":"https://codeload.github.com/viperproject/viper_client/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243302389,"owners_count":20269499,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-18T14:13:57.705Z","updated_at":"2025-12-28T08:32:23.925Z","avatar_url":"https://github.com/viperproject.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# README #\n\nThis client app written in Python3 demonstrates how Viper API can be used for submitting verification tasks to the ViperServer and receiving the resulting stream of Json objects. \n\n### What is this repository for? ###\n\nWe used to use Nailgun for launching a persistent JVM for Viper. With ViperServer, we don't need Nailgun anymore. \n\nUse cases (list not exhaustive): \n\n* Collecting statistics \n* Black box testing of ViperServer\n\n### How do I get set up? ###\n\n* Install [ViperServer](https://bitbucket.org/viperproject/viperserver).\n* Install Python 3 (preferably with VirtualEnv: `python3 -m venv env`).\n* Install pip for Python 3: `env/bin/python3 -m ensurepip --default-pip`.\n* Run `env/bin/pip install -r requirements.txt`\n* Start ViperServer by running `sbt run` (from the root directory of ViperServer). Alternatively, if you downloaded a [Viper Server release](https://github.com/viperproject/viperserver/releases), you can run `Z3_EXE=viper_tools/z3/bin/z3 java -Xss1024m -Xmx4024m -jar viper_tools/backends/viperserver.jar`.\n* Usage: `env/bin/python3 ./client.py -p 50424 -f /Users/wi/eth/phd_proj/trclo/repo/trclo_mark.vpr -v silicon -x=\"--disableCaching\"`\n\n### Can I use this tool to benchmark Viper? ###\n\nYes:\n\n```bash\npython3 client.py -p 12345 \\\n    --warmup-file log/viper_program/\u003ctest-name\u003e/\u003csome-small-file.vpr\u003e \\\n    --benchmark log/viper_program/\u003ctest-name\u003e* \\\n    --benchmark-report report\n```\n\n### Who do I talk to? ###\n\n* Requests are welcome! Please send them to [Arshavir](mailto:ter-gabrielyan@inf.ethz.ch)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fviperproject%2Fviper_client","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fviperproject%2Fviper_client","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fviperproject%2Fviper_client/lists"}