pontem-network/Get Boogie
Derives third-party dependencies for Dove needed to prove.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| ref | Branch or commit pointing to pontem-network/move repo. Read as version of installer. Default is `main`. | no | main |
| token | GITHUB_TOKEN. Optional | no | — |
Outputs
| name | description |
|---|---|
| DOTNET_ROOT | .NET root directory |
| Z3_EXE | Z3 executable path |
| BOOGIE_EXE | Boogie executable path |
| CVC5_EXE | Cvc5 executable path |