Skip to content

Issues: GaloisInc/cryptol

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.

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

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

Issues list

GitHub Pages Title Version Mismatch docs LaTeX, markdown, literate haskell, or in-REPL documentation
#1725 opened Aug 12, 2024 by WeeknightMVP
[Remote API] ValueError Exception on check, then Hang bug Something not working correctly remote-api Related to Cryptol's remote API
#1628 opened Feb 16, 2024 by WeeknightMVP
[New module system] True type constraint of interface field in functor instance signature not simplified to monomorphic for :prove bug Something not working correctly parameterized modules Related to Cryptol's parameterized modules typechecker Issues related to type-checking Cryptol code.
#1576 opened Oct 3, 2023 by WeeknightMVP
foreign function analysis? command-line-repl Related to Cryptol's text-based UI feature request Asking for new or improved functionality FFI Foreign function interface remote-api Related to Cryptol's remote API
#1574 opened Sep 20, 2023 by WeeknightMVP
undefined and out of shape language Changes or extensions to the language
#1360 opened Jun 1, 2022 by WeeknightMVP
test-runner passes expected-failure tests in misconfigured environment test-framework For issues related to Cryptol's test framework.
#860 opened Aug 8, 2020 by WeeknightMVP
ProTip! Find all open issues with in progress development work with linked:pr.