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

#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