GaloisInc pycryptol issues - Githubissues

GaloisInc / pycryptol

pycryptol: Use Cryptol with Python

BSD 3-Clause "New" or "Revised" License

9 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Cryptol structures/records cause crashes in `__from_value`

#17 hugovincent opened 8 years ago
0
Smart templating for Cryptol syntax strings

#16 acfoltzer closed 9 years ago
0
Can we override IPython's psource magic to return Cryptol source?

#15 acfoltzer opened 9 years ago
0
When evaling a function, don't return a method

#14 acfoltzer closed 9 years ago
0
Subclass BitVector for more Cryptol-like defaults

#13 acfoltzer opened 9 years ago
0
Prevent Cryptol names from overwriting Python built-in names

#12 acfoltzer closed 9 years ago
0
Gracefully handle exceptions on the Python side

#11 acfoltzer closed 8 years ago
1
better error message when pycryptol can't find cryptol-server

#10 dylanmc closed 9 years ago
2
Allow richer Python values for property arguments

#9 acfoltzer opened 9 years ago
1
Improve return types for sat and prove

#8 acfoltzer closed 9 years ago
0
Richer return values for check and exhaust

#7 acfoltzer opened 9 years ago
0
Automatically convert more types of Python values

#6 acfoltzer opened 9 years ago
0
Add more type checks for Python-originated values

#5 acfoltzer opened 9 years ago
0
Handle functions in nested data

#4 acfoltzer opened 9 years ago
0
Handle polymorphic declarations

#3 acfoltzer opened 9 years ago
0
Add a Python representation of Cryptol types

#2 acfoltzer opened 9 years ago
0
Better support for infix operators and invalid Python identifiers

#1 acfoltzer closed 9 years ago
0