https://github.com/pontem-network/get-boogie
Derives third-party dependencies for Dove needed to prove. (.NET, Z3, Boogie)
https://github.com/pontem-network/get-boogie
Last synced: about 2 months ago
JSON representation
Derives third-party dependencies for Dove needed to prove. (.NET, Z3, Boogie)
- Host: GitHub
- URL: https://github.com/pontem-network/get-boogie
- Owner: pontem-network
- License: apache-2.0
- Created: 2022-02-17T09:58:14.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2022-02-22T09:36:11.000Z (about 3 years ago)
- Last Synced: 2025-02-05T20:07:52.416Z (3 months ago)
- Language: Shell
- Size: 8.79 KB
- Stars: 1
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Get Boogie Action
This GitHub Action delivers dependencies needed for [`dove`] `prove` - Z3 and Boogie.
[`dove`]: https://github.com/pontem-network/dove
## Parameters
- `token` - GITHUB_TOKEN. Optional.
- `ref` - Branch or commit pointing to pontem-network/move repo. Read it as version of installer. Default is `main`.
## Usage Example
Download Boogie using latest version of installer
```yaml
- name: get boogie
uses: pontem-network/get-boogie@main
```
Use a specific version of installer, with token
```yaml
- name: get boogie
uses: pontem-network/get-boogie@main
with:
ref: 927c229cd8dfa6dcd50ba84811f80d10496c76d2
token: ${{ secrets.GITHUB_TOKEN }}
```