GaloisInc cryptol issues

GaloisInc / cryptol

Cryptol: The Language of Cryptography

https://galoisinc.github.io/cryptol/master/RefMan.html

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

1.14k stars 123 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book

#1760 mccleeary-galois closed 2 hours ago
0
renderOneLine should render to one line

#1759 glguy closed 19 hours ago
2
Correctly detect top-level parameterized modules in modules() API call

#1758 glguy closed 2 days ago
0
Allow doctests to span multiple lines with a trailing \ like the REPL already supports

#1757 glguy closed 4 days ago
1
`Connection.modules` does not recognize parameterized module with explicit `interface`(s) as `parameterized`

#1756 WeeknightMVP closed 2 days ago
1
Add a modules() method to the cryptol python api for listing modules and their documentation

#1755 glguy closed 1 week ago
0
ci: add a check for the cryptol book pdf

#1754 marsella closed 1 week ago
3
Python: Require argo-client >=0.0.13

#1752 RyanGlScott closed 2 weeks ago
0
Remove bitvectors width from the value tag.

#1751 yav closed 2 weeks ago
0
Fix `splitV` when splitting empty sequence to type `[inf][0]`

#1750 RyanGlScott closed 1 week ago
0
`not a sequence` panic involving empty sequences

#1749 RyanGlScott closed 1 week ago
0
Update type of `take` in book

#1748 marsella closed 1 week ago
1
Update prelude `take` type in book

#1747 marsella closed 1 week ago
0
Dynamically sized sequences?

#1746 yav opened 3 weeks ago
2
Enigma example in "Programming Cryptol" needs to be updated

#1745 smithdtyler opened 4 weeks ago
1
Some position handling issues in the typechecker

#1744 sauclovian-g opened 4 weeks ago
0
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

#1743 dependabot[bot] closed 4 weeks ago
1
Simplify `inf - x` to `inf`

#1742 yav closed 4 weeks ago
0
Simplify `inf - x` to `inf`

#1741 yav opened 4 weeks ago
2
Don't store widths of words twice

#1740 yav closed 2 weeks ago
0
Start on a mechanism to build Cryptol values from outside Cryptol

#1739 yav opened 1 month ago
0
Extracting numerators/denominators of `Rational` values

#1738 RyanGlScott opened 1 month ago
1
Support ghc 9.10

#1737 chenrui333 opened 1 month ago
1
Prepare release 3.2.0

#1736 mccleeary-galois closed 1 month ago
0
Release 3.2.0

#1735 mccleeary-galois closed 1 month ago
0
Gracefully skip checking docstrings on interface modules

#1734 glguy closed 1 month ago
0
Define `tIsNominal` and use it

#1733 RyanGlScott closed 1 month ago
0
Missing `tIsNominal` function

#1732 RyanGlScott closed 1 month ago
0
Limit :check to return only locally defined properties

#1731 glguy closed 2 weeks ago
2
Gracefully skip docstrings on top-level functors

#1730 glguy closed 1 month ago
0
:check-docstrings attempts to check top-level functors

#1729 glguy closed 1 month ago
0
Don't report an error on unclosed, skipped code fence

#1728 glguy closed 1 month ago
0
Unclosed, irrelevant code blocks should be an error

#1727 glguy closed 1 month ago
0
Functor docstrings

#1726 glguy closed 1 month ago
0
GitHub Pages Title Version Mismatch

#1725 WeeknightMVP opened 1 month ago
2
check-docstrings and imports

#1724 yav opened 1 month ago
1
Duplicated docstrings in instantiations with `where`

#1723 yav closed 1 month ago
0
`:check-docstrings` is confused when no module is loaded

#1722 yav closed 1 month ago
1
Reference auto-generated documentation from cryptol.net

#1721 kquick opened 1 month ago
0
Propagate nested relation when instantiating functors

#1720 glguy closed 2 months ago
0
Functor instantiation does not propagate nested relation

#1719 glguy closed 2 months ago
0
Add support for rendering Cryptol specs to HTML and possibly other formats

#1718 yav opened 2 months ago
0
Add conversions to reference manual

#1717 marsella opened 2 months ago
0
Implement all floating-point primitives and instances in reference evaluator

#1716 RyanGlScott closed 2 months ago
0
Reference evaluator crashes when using `Float`'s `Literal` instance

#1715 RyanGlScott closed 2 months ago
0
Reference evaluator does not implement many floating-point primitives

#1714 RyanGlScott closed 2 months ago
1
Enhance TypeChecker with exponent rules

#1713 mccleeary-galois closed 2 months ago
0
Initial implementation of check docstrings from python

#1712 glguy closed 1 month ago
3
Add some information about `#` and `*` to the reference manual

#1711 yav opened 2 months ago
0
:check-doc location information for errors

#1710 weaversa opened 2 months ago
1