Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/argo issues and pull requests
#77 - Modify Argo protocol and Python SAW client to track stdout/err
Pull Request -
State: closed - Opened by plaidfinch over 4 years ago
- 1 comment
#76 - Even when an exception is thrown, print stdout/err
Pull Request -
State: closed - Opened by plaidfinch over 4 years ago
#74 - Caching does not seem to work with persistent server
Issue -
State: closed - Opened by plaidfinch over 4 years ago
- 1 comment
Labels: Bug, SAW
#73 - Allow JSON null for the initial state
Pull Request -
State: closed - Opened by david-christiansen over 4 years ago
- 1 comment
#71 - Increase cache performance from O(N^3) to O(N^2)
Issue -
State: closed - Opened by plaidfinch over 4 years ago
- 9 comments
Labels: Feature
#69 - Add support for the Z type in the Cryptol protocol
Pull Request -
State: closed - Opened by david-christiansen over 4 years ago
- 1 comment
#67 - `call` and type arguments
Issue -
State: open - Opened by weaversa over 4 years ago
- 2 comments
#66 - WIP: Update submodules
Pull Request -
State: closed - Opened by david-christiansen over 4 years ago
- 1 comment
#63 - Update Python code to newest mypy release
Pull Request -
State: closed - Opened by david-christiansen over 4 years ago
- 1 comment
#59 - More informative error messages from SAW
Issue -
State: closed - Opened by david-christiansen over 4 years ago
Labels: SAW, Python
#57 - Separate the SAW and Cryptol parts of the protocol docs
Issue -
State: closed - Opened by david-christiansen over 4 years ago
Labels: Docs
#53 - Migrate servers to Cryptol and SAW repositories
Issue -
State: closed - Opened by david-christiansen over 4 years ago
Labels: TODO
#51 - NEWS file
Issue -
State: open - Opened by david-christiansen over 4 years ago
- 1 comment
#49 - WIP: Travis updates
Pull Request -
State: closed - Opened by david-christiansen over 4 years ago
#46 - Add support for proof scripts
Pull Request -
State: closed - Opened by atomb almost 5 years ago
#44 - Fancier API to SAW
Pull Request -
State: closed - Opened by david-christiansen almost 5 years ago
#41 - WIP: Proof dashboard
Pull Request -
State: closed - Opened by plaidfinch almost 5 years ago
- 2 comments
#38 - Investigate other CI options
Issue -
State: closed - Opened by plaidfinch about 5 years ago
- 2 comments
Labels: Feature
#34 - Port proofs as examples for SAW API
Issue -
State: closed - Opened by plaidfinch about 5 years ago
- 2 comments
Labels: SAW, Python, Feature
#10 - Manage state as in SAWScript
Issue -
State: open - Opened by david-christiansen over 5 years ago
- 1 comment
Labels: Low-Hanging Fruit, SAW