Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / anakrish/rego-fstar issues and pull requests
#4 - Loop vars
Pull Request -
State: closed - Opened by anakrish 11 months ago
#3 - A termination proof
Pull Request -
State: closed - Opened by nikswamy 11 months ago
- 1 comment
#2 - Package passing of interpreter values
Pull Request -
State: closed - Opened by nikswamy 11 months ago
#1 - Improving the build
Pull Request -
State: closed - Opened by nikswamy 11 months ago