Skip to content

Issues: GaloisInc/argo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

25 Open 74 Closed
25 Open 74 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Rename argo to avoid conflicting with Hackage library of same name
#189 opened Oct 28, 2021 by RyanGlScott
specific client exception types
#185 opened Aug 31, 2021 by pnwamk
timeouts for HTTP connections
#177 opened Jul 16, 2021 by pnwamk
reduce class-related python boilerplate
#176 opened Jul 16, 2021 by pnwamk
improve ManagedProcess cleanup of resources
#175 opened Jul 16, 2021 by pnwamk
2
Generate documentation for parameter and return fields with tables Docs Documentation Feature A new thing that would be good
#162 opened Apr 7, 2021 by RyanGlScott
Publish argo to Hackage
#147 opened Jan 28, 2021 by atomb
Add CI to test on read-only file systems Priority
#141 opened Jan 14, 2021 by atomb
Test log command line option in CI Low-Hanging Fruit Good first task to meet the code Python Related to the Python clients to the APIs
#134 opened Dec 9, 2020 by pnwamk
README changes / code re-org for clarity Docs Documentation Low-Hanging Fruit Good first task to meet the code TODO A task to be done that isn't a bug or feature
#130 opened Dec 1, 2020 by wwoods
@pnwamk
README needs clear instructions for running scripts in examples/
#128 opened Dec 1, 2020 by wwoods
Support property annotation Priority
#124 opened Nov 22, 2020 by weaversa
Python string support for Cryptol interface Cryptol Related to Cryptol API in particular Feature A new thing that would be good Python Related to the Python clients to the APIs
#119 opened Nov 13, 2020 by pnwamk
4
Add mypy and sphinx docstring to CI for python code where applicable Low-Hanging Fruit Good first task to meet the code Python Related to the Python clients to the APIs
#118 opened Nov 11, 2020 by pnwamk
Update protocol docs w.r.t. call
#113 opened Oct 29, 2020 by pnwamk
4
Improve Sphinx documentation extraction Docs Documentation
#96 opened Oct 8, 2020 by ChrisEPhifer
Remove as many dependencies as possible for argo
#90 opened Sep 25, 2020 by david-christiansen
Protocol parser errors should not mention internal implementation details
#87 opened Sep 5, 2020 by david-christiansen
Update naming to use modules consistently Python Related to the Python clients to the APIs
#78 opened May 20, 2020 by plaidfinch
@plaidfinch
call and type arguments
#67 opened Apr 19, 2020 by weaversa
2
NEWS file
#51 opened Apr 1, 2020 by david-christiansen
1
Port text of tutorial to the new API, link into the "reST" of the docs Feature A new thing that would be good Python Related to the Python clients to the APIs
#37 opened Nov 19, 2019 by plaidfinch
@plaidfinch
1
Add unit tests exercising each error code Cryptol Related to Cryptol API in particular Low-Hanging Fruit Good first task to meet the code Python Related to the Python clients to the APIs SAW Related to SAW API in particular
#31 opened Nov 14, 2019 by plaidfinch Nice to have
@pnwamk
1
Reverse-references in protocol error documentation Feature A new thing that would be good
#25 opened Nov 6, 2019 by plaidfinch Nice to have
@plaidfinch
Manage state as in SAWScript Low-Hanging Fruit Good first task to meet the code SAW Related to SAW API in particular
#10 opened Jul 22, 2019 by david-christiansen
1
ProTip! Adding no:label will show everything without a label.