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

#217 - Prepare 0.0.13 release

Pull Request - State: closed - Opened by RyanGlScott 2 months ago

#216 - Using blocking network IO to avoid busy-wait

Pull Request - State: closed - Opened by glguy 3 months ago - 1 comment

#215 - chore(deps): bump certifi from 2024.2.2 to 2024.7.4 in /python

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#214 - chore(deps): bump urllib3 from 2.2.1 to 2.2.2 in /python

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#213 - CI: Configure with `--enable-tests`

Pull Request - State: closed - Opened by RyanGlScott 6 months ago

#211 - chore(deps): bump requests from 2.31.0 to 2.32.0 in /python

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies

#210 - Setup for release of v0.0.12

Pull Request - State: closed - Opened by mccleeary-galois 6 months ago

#209 - Bump argo to python 3.12

Pull Request - State: closed - Opened by mccleeary-galois 6 months ago

#208 - Python: Pin `types-requests` version

Pull Request - State: closed - Opened by RyanGlScott 8 months ago - 1 comment

#207 - CI failure due to `mypy --install-types` not freezing dependencies

Issue - State: closed - Opened by RyanGlScott 8 months ago
Labels: Python

#206 - chore(deps): bump idna from 3.4 to 3.7 in /python

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago - 2 comments
Labels: dependencies

#205 - Allow building with GHC 9.8

Pull Request - State: closed - Opened by RyanGlScott 10 months ago - 2 comments

#204 - chore(deps): bump urllib3 from 1.26.17 to 1.26.18 in /python

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#203 - Drop GHC 8.6 support

Pull Request - State: closed - Opened by RyanGlScott about 1 year ago

#202 - Build failure with GHC 8.6.5

Issue - State: closed - Opened by RyanGlScott about 1 year ago
Labels: Bug

#201 - chore(deps): bump urllib3 from 1.26.14 to 1.26.17 in /python

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#200 - Allow building with GHC 9.6

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#199 - Bump certifi from 2022.12.7 to 2023.7.22 in /python

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#198 - Bump requests from 2.28.2 to 2.31.0 in /python

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#197 - Python: Use poetry.core.masonry.api as build-backend

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#196 - CI: Upgrade Poetry version

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 3 comments

#195 - Python: Avoid `typed-ast` dependency

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#194 - Bump certifi from 2021.10.8 to 2022.12.7 in /python

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#193 - Relax upper bounds to support GHC 9.4.3

Pull Request - State: closed - Opened by yav almost 2 years ago - 1 comment

#192 - Bump cabal boundaries to support GHC 9.4.3

Issue - State: closed - Opened by yav almost 2 years ago

#191 - Allow building with GHC 9.2

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#190 - switch to poetry, update urllib3 dependency min version

Pull Request - State: closed - Opened by pnwamk almost 3 years ago - 1 comment

#188 - Allow building with aeson-2.0.*

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago

#187 - `argo` fails to build with `aeson-2.0.*`

Issue - State: closed - Opened by RyanGlScott about 3 years ago
Labels: Bug

#186 - feat: add timeout param to Interaction class

Pull Request - State: closed - Opened by pnwamk about 3 years ago

#185 - specific client exception types

Issue - State: open - Opened by pnwamk about 3 years ago

#184 - chore: undo argo-client version bump

Pull Request - State: closed - Opened by pnwamk about 3 years ago

#183 - feat: notifications delay new request handling while running

Pull Request - State: closed - Opened by pnwamk about 3 years ago - 1 comment

#182 - [Chore] Bump version number to 0.0.7 with change from #181

Pull Request - State: closed - Opened by m-yac about 3 years ago

#181 - Improve client error recovery

Pull Request - State: closed - Opened by m-yac over 3 years ago

#180 - client error recovery

Issue - State: closed - Opened by pnwamk over 3 years ago - 2 comments

#179 - feat: server and client logging options for RPC tx/rx

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#178 - feat: commands and queries can specify a timeout

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#177 - timeouts for HTTP connections

Issue - State: open - Opened by pnwamk over 3 years ago

#176 - reduce class-related python boilerplate

Issue - State: open - Opened by pnwamk over 3 years ago

#175 - improve `ManagedProcess` cleanup of resources

Issue - State: open - Opened by pnwamk over 3 years ago - 2 comments

#174 - feat: server can now be interrupted, cancelling all active requests

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#173 - Support for W4 solvers

Issue - State: closed - Opened by weaversa over 3 years ago - 2 comments

#172 - chore: remove scotty-tls dependency/submodule

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#171 - feat: cmd line flag and docs for TLS option

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#170 - remove scotty-tls submodule when possible

Issue - State: closed - Opened by pnwamk over 3 years ago - 1 comment

#169 - Delete stack.yaml

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#168 - Allow Python client to connect to server with self-signed certificate

Issue - State: closed - Opened by atomb over 3 years ago - 2 comments

#167 - Bump upper version bounds on base to allow building with GHC 9.0

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#166 - Update Protocol.hs

Pull Request - State: closed - Opened by pnwamk over 3 years ago

#165 - TLS support

Pull Request - State: closed - Opened by lisanna-dettwyler over 3 years ago - 4 comments

#164 - CI: Use haskell/actions/setup to install GHC

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#163 - Remove unused submodule and dependencies

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 2 comments

#162 - Generate documentation for parameter and return fields with tables

Issue - State: open - Opened by RyanGlScott over 3 years ago
Labels: Feature, Docs

#161 - RFC: Support autogenerated documentation for method results, in addition to parameters

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 3 comments

#160 - Make `doc` command print method names appropriately

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#159 - `doc` command prints application names in place of method names

Issue - State: closed - Opened by RyanGlScott over 3 years ago
Labels: Docs

#158 - Unknown State ID Error

Issue - State: closed - Opened by michaelabernardo over 3 years ago - 2 comments

#157 - Python Dict/Key error in error reporting code

Issue - State: closed - Opened by pnwamk over 3 years ago - 2 comments

#156 - missing field in record construction minTCSolver

Issue - State: closed - Opened by weaversa over 3 years ago - 1 comment

#155 - feat: mutable file-echo-api with tests

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#154 - chore: add missing mypy annotations to argo-client package, fix tests

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#153 - fix argo client

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#152 - chore: minor tweaks to meta info of argo python package

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#151 - chore: remove cryptol- and saw-specific python code from argo repo

Pull Request - State: closed - Opened by pnwamk almost 4 years ago - 1 comment

#150 - Fix mypy errors in test_bitvector.py

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago

#149 - mypy instructions in README produce errors

Issue - State: closed - Opened by RyanGlScott almost 4 years ago
Labels: Python

#148 - chore: remove old saw-script server examples

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#147 - Publish `argo` to Hackage

Issue - State: open - Opened by atomb almost 4 years ago

#146 - Migrate Cryptol Python libraries to the `cryptol` repository

Issue - State: closed - Opened by atomb almost 4 years ago

#145 - Migrate SAW Python libraries to the `saw-script` repository

Issue - State: closed - Opened by atomb almost 4 years ago

#144 - Add Python bindings for proving and satisfying predicates

Pull Request - State: closed - Opened by atomb almost 4 years ago - 1 comment

#143 - feat: tweaks and additions to SAW/LLVM python bindings

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#142 - chore: add spaces around literals in Protocol section of docs

Pull Request - State: closed - Opened by pnwamk almost 4 years ago

#141 - Add CI to test on read-only file systems

Issue - State: open - Opened by atomb almost 4 years ago
Labels: Priority

#140 - feat: bound memory usage by server

Pull Request - State: closed - Opened by pnwamk almost 4 years ago - 1 comment

#139 - Add an option to avoid using `hCapture`

Pull Request - State: closed - Opened by atomb almost 4 years ago - 10 comments

#138 - Allow Argo apps to extend the command-line interface

Pull Request - State: closed - Opened by david-christiansen almost 4 years ago - 1 comment

#137 - Make logging more consistent

Pull Request - State: closed - Opened by atomb almost 4 years ago

#136 - Add support for cache eviction

Issue - State: closed - Opened by atomb almost 4 years ago - 4 comments

#135 - Allow mode that doesn't create temp files

Issue - State: closed - Opened by atomb almost 4 years ago

#134 - Test `log` command line option in CI

Issue - State: open - Opened by pnwamk almost 4 years ago
Labels: Low-Hanging Fruit, Python

#133 - Initial version of inline application documentation.

Pull Request - State: closed - Opened by david-christiansen almost 4 years ago - 10 comments

#132 - Make stderr logging optional

Pull Request - State: closed - Opened by david-christiansen almost 4 years ago - 1 comment

#124 - Support `property` annotation

Issue - State: open - Opened by weaversa about 4 years ago
Labels: Priority

#121 - call :prove or :check

Issue - State: closed - Opened by weaversa about 4 years ago - 4 comments

#114 - python .result() type information

Issue - State: closed - Opened by weaversa about 4 years ago - 7 comments

#106 - Try to fix the Travis again

Pull Request - State: closed - Opened by david-christiansen about 4 years ago

#102 - Additional negative tests

Pull Request - State: closed - Opened by pnwamk about 4 years ago

#96 - Improve Sphinx documentation extraction

Issue - State: open - Opened by ChrisEPhifer about 4 years ago
Labels: Docs

#91 - Delete Travis

Issue - State: closed - Opened by david-christiansen about 4 years ago - 1 comment
Labels: Low-Hanging Fruit

#89 - Argo should have some form of cache eviction policy set up

Issue - State: closed - Opened by david-christiansen about 4 years ago - 3 comments

#84 - Document SAW portions of API

Issue - State: closed - Opened by atomb over 4 years ago
Labels: Docs

#82 - Redo state management

Pull Request - State: closed - Opened by david-christiansen over 4 years ago

#81 - Bring LLVM verification commands to parity with SAWScript

Issue - State: closed - Opened by atomb over 4 years ago - 1 comment

#80 - Instructions for mypy, plus make everything type check

Pull Request - State: closed - Opened by david-christiansen over 4 years ago - 1 comment

#78 - Update naming to use modules consistently

Issue - State: open - Opened by plaidfinch over 4 years ago
Labels: Python