Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/pycryptol issues and pull requests
#17 - Cryptol structures/records cause crashes in `__from_value`
Issue -
State: open - Opened by hugovincent over 8 years ago
#16 - Smart templating for Cryptol syntax strings
Issue -
State: closed - Opened by acfoltzer almost 9 years ago
Labels: enhancement
#15 - Can we override IPython's psource magic to return Cryptol source?
Issue -
State: open - Opened by acfoltzer almost 9 years ago
Labels: enhancement
#14 - When evaling a function, don't return a method
Issue -
State: closed - Opened by acfoltzer almost 9 years ago
Labels: bug
#13 - Subclass BitVector for more Cryptol-like defaults
Issue -
State: open - Opened by acfoltzer almost 9 years ago
Labels: enhancement
#12 - Prevent Cryptol names from overwriting Python built-in names
Issue -
State: closed - Opened by acfoltzer almost 9 years ago
Labels: bug
#11 - Gracefully handle exceptions on the Python side
Issue -
State: closed - Opened by acfoltzer almost 9 years ago
- 1 comment
Labels: enhancement
#10 - better error message when pycryptol can't find cryptol-server
Issue -
State: closed - Opened by dylanmc about 9 years ago
- 2 comments
Labels: enhancement
#9 - Allow richer Python values for property arguments
Issue -
State: open - Opened by acfoltzer about 9 years ago
- 1 comment
Labels: enhancement
#8 - Improve return types for sat and prove
Issue -
State: closed - Opened by acfoltzer about 9 years ago
Labels: enhancement
#7 - Richer return values for check and exhaust
Issue -
State: open - Opened by acfoltzer about 9 years ago
Labels: enhancement
#6 - Automatically convert more types of Python values
Issue -
State: open - Opened by acfoltzer about 9 years ago
Labels: enhancement
#5 - Add more type checks for Python-originated values
Issue -
State: open - Opened by acfoltzer about 9 years ago
Labels: enhancement
#4 - Handle functions in nested data
Issue -
State: open - Opened by acfoltzer about 9 years ago
Labels: bug
#3 - Handle polymorphic declarations
Issue -
State: open - Opened by acfoltzer about 9 years ago
Labels: enhancement
#2 - Add a Python representation of Cryptol types
Issue -
State: open - Opened by acfoltzer about 9 years ago
Labels: enhancement
#1 - Better support for infix operators and invalid Python identifiers
Issue -
State: closed - Opened by acfoltzer about 9 years ago
Labels: enhancement