Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/cryptol issues and pull requests
#1758 - Correctly detect top-level parameterized modules in modules() API call
Pull Request -
State: closed - Opened by glguy 5 days ago
Labels: bug, remote-api
#1757 - Allow doctests to span multiple lines with a trailing \ like the REPL already supports
Pull Request -
State: closed - Opened by glguy 8 days ago
- 1 comment
Labels: bug
#1756 - `Connection.modules` does not recognize parameterized module with explicit `interface`(s) as `parameterized`
Issue -
State: closed - Opened by WeeknightMVP 9 days ago
- 1 comment
#1755 - Add a modules() method to the cryptol python api for listing modules and their documentation
Pull Request -
State: closed - Opened by glguy 16 days ago
#1754 - ci: add a check for the cryptol book pdf
Pull Request -
State: closed - Opened by marsella 16 days ago
- 3 comments
#1752 - Python: Require argo-client >=0.0.13
Pull Request -
State: closed - Opened by RyanGlScott 17 days ago
#1751 - Remove bitvectors width from the value tag.
Pull Request -
State: closed - Opened by yav 18 days ago
#1750 - Fix `splitV` when splitting empty sequence to type `[inf][0]`
Pull Request -
State: closed - Opened by RyanGlScott 25 days ago
#1749 - `not a sequence` panic involving empty sequences
Issue -
State: closed - Opened by RyanGlScott 25 days ago
Labels: bug
#1748 - Update type of `take` in book
Pull Request -
State: closed - Opened by marsella 25 days ago
- 1 comment
#1747 - Update prelude `take` type in book
Issue -
State: closed - Opened by marsella 26 days ago
Labels: docs, book
#1746 - Dynamically sized sequences?
Issue -
State: open - Opened by yav about 1 month ago
- 2 comments
Labels: language, design needed
#1745 - Enigma example in "Programming Cryptol" needs to be updated
Issue -
State: open - Opened by smithdtyler about 1 month ago
- 1 comment
Labels: docs, book
#1744 - Some position handling issues in the typechecker
Issue -
State: open - Opened by sauclovian-g about 1 month ago
Labels: bug, typechecker
#1743 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies, github_actions
#1742 - Simplify `inf - x` to `inf`
Pull Request -
State: closed - Opened by yav about 1 month ago
#1741 - Simplify `inf - x` to `inf`
Issue -
State: open - Opened by yav about 1 month ago
- 2 comments
Labels: typechecker
#1740 - Don't store widths of words twice
Issue -
State: closed - Opened by yav about 1 month ago
#1739 - Start on a mechanism to build Cryptol values from outside Cryptol
Pull Request -
State: open - Opened by yav about 1 month ago
#1738 - Extracting numerators/denominators of `Rational` values
Issue -
State: open - Opened by RyanGlScott about 1 month ago
- 1 comment
Labels: feature request
#1737 - Support ghc 9.10
Issue -
State: open - Opened by chenrui333 about 2 months ago
- 1 comment
#1736 - Prepare release 3.2.0
Pull Request -
State: closed - Opened by mccleeary-galois about 2 months ago
#1735 - Release 3.2.0
Pull Request -
State: closed - Opened by mccleeary-galois about 2 months ago
#1734 - Gracefully skip checking docstrings on interface modules
Pull Request -
State: closed - Opened by glguy about 2 months ago
#1733 - Define `tIsNominal` and use it
Pull Request -
State: closed - Opened by RyanGlScott about 2 months ago
#1732 - Missing `tIsNominal` function
Issue -
State: closed - Opened by RyanGlScott about 2 months ago
Labels: cryptol-as-a-library, enums
#1731 - Limit :check to return only locally defined properties
Pull Request -
State: closed - Opened by glguy about 2 months ago
- 2 comments
#1730 - Gracefully skip docstrings on top-level functors
Pull Request -
State: closed - Opened by glguy about 2 months ago
#1729 - :check-docstrings attempts to check top-level functors
Issue -
State: closed - Opened by glguy about 2 months ago
Labels: docstrings
#1728 - Don't report an error on unclosed, skipped code fence
Pull Request -
State: closed - Opened by glguy about 2 months ago
Labels: docstrings
#1727 - Unclosed, irrelevant code blocks should be an error
Issue -
State: closed - Opened by glguy about 2 months ago
#1726 - Functor docstrings
Pull Request -
State: closed - Opened by glguy about 2 months ago
Labels: docstrings
#1725 - GitHub Pages Title Version Mismatch
Issue -
State: open - Opened by WeeknightMVP about 2 months ago
- 2 comments
Labels: docs
#1724 - check-docstrings and imports
Issue -
State: open - Opened by yav about 2 months ago
- 1 comment
Labels: design needed, docstrings
#1723 - Duplicated docstrings in instantiations with `where`
Issue -
State: closed - Opened by yav about 2 months ago
Labels: docstrings
#1722 - `:check-docstrings` is confused when no module is loaded
Issue -
State: closed - Opened by yav about 2 months ago
- 1 comment
Labels: docstrings
#1721 - Reference auto-generated documentation from cryptol.net
Issue -
State: open - Opened by kquick 2 months ago
#1720 - Propagate nested relation when instantiating functors
Pull Request -
State: closed - Opened by glguy 2 months ago
#1719 - Functor instantiation does not propagate nested relation
Issue -
State: closed - Opened by glguy 2 months ago
#1718 - Add support for rendering Cryptol specs to HTML and possibly other formats
Issue -
State: open - Opened by yav 2 months ago
Labels: feature request
#1717 - Add conversions to reference manual
Issue -
State: open - Opened by marsella 2 months ago
Labels: docs
#1716 - Implement all floating-point primitives and instances in reference evaluator
Pull Request -
State: closed - Opened by RyanGlScott 2 months ago
#1715 - Reference evaluator crashes when using `Float`'s `Literal` instance
Issue -
State: closed - Opened by RyanGlScott 2 months ago
Labels: bug
#1714 - Reference evaluator does not implement many floating-point primitives
Issue -
State: closed - Opened by RyanGlScott 2 months ago
- 1 comment
Labels: bug
#1713 - Enhance TypeChecker with exponent rules
Pull Request -
State: closed - Opened by mccleeary-galois 2 months ago
#1712 - Initial implementation of check docstrings from python
Pull Request -
State: closed - Opened by glguy 2 months ago
- 3 comments
#1711 - Add some information about `#` and `*` to the reference manual
Issue -
State: open - Opened by yav 2 months ago
Labels: docs
#1710 - :check-doc location information for errors
Issue -
State: open - Opened by weaversa 2 months ago
- 1 comment
Labels: docstrings
#1699 - Rexporting functor parameters in an instantiation
Issue -
State: open - Opened by yav 3 months ago
- 8 comments
Labels: parameterized modules, design needed
#1688 - Bump urllib3 from 2.2.1 to 2.2.2 in /cryptol-remote-api/python
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#1687 - `update` and `updates` type variable swap
Issue -
State: open - Opened by weaversa 4 months ago
#1686 - Check for syntactically invalid constraint guards in the parser
Pull Request -
State: open - Opened by RyanGlScott 4 months ago
#1685 - Panic with local definiton that uses constraint guards without a type signature
Issue -
State: open - Opened by RyanGlScott 4 months ago
- 2 comments
Labels: bug, type-guards
#1684 - Update dev-setup script to support Ubuntu 20.04 and 22.04
Pull Request -
State: closed - Opened by marsella 4 months ago
- 2 comments
#1683 - Incorrect checking of polymorphic `case`
Issue -
State: closed - Opened by yav 4 months ago
- 1 comment
Labels: bug, typechecker
#1682 - Update all commands to track their results
Pull Request -
State: open - Opened by glguy 4 months ago
#1681 - Unwrap
Issue -
State: closed - Opened by weaversa 4 months ago
- 5 comments
#1680 - Define `head`, `tail`, `last` with patterns, or expose the list selector with type index?
Issue -
State: open - Opened by yav 4 months ago
Labels: design needed
#1679 - Avoid showing unique numbers
Issue -
State: open - Opened by yav 4 months ago
Labels: typechecker, UX
#1678 - Fixes #1490
Pull Request -
State: closed - Opened by yav 4 months ago
#1677 - Fixes #1672
Pull Request -
State: closed - Opened by yav 4 months ago
#1676 - Fix `roundAway` implementation in reference evaluator
Pull Request -
State: closed - Opened by RyanGlScott 4 months ago
#1675 - PrimeEC::ec_mult can produce incorrect results
Issue -
State: open - Opened by weaversa 4 months ago
- 4 comments
Labels: bug
#1674 - add dev_setup script for macOS 14
Pull Request -
State: closed - Opened by marsella 4 months ago
- 9 comments
#1673 - Make a dev_setup script
Issue -
State: open - Opened by marsella 4 months ago
- 2 comments
Labels: build system
#1672 - Fix the `PP` instance for `PrimIdent`
Issue -
State: closed - Opened by yav 4 months ago
Labels: bug, low-hanging fruit
#1671 - Export `push` and `pop`
Pull Request -
State: closed - Opened by RyanGlScott 4 months ago
#1670 - Export `push` and `pop` from `Cryptol.TypeCheck.Solver.SMT`
Issue -
State: closed - Opened by RyanGlScott 4 months ago
Labels: feature request, cryptol-as-a-library
#1669 - CI: Don't download GHC in test jobs
Pull Request -
State: closed - Opened by RyanGlScott 5 months ago
Labels: CI
#1668 - CI: Downloading GHC on test jobs is wasteful
Issue -
State: closed - Opened by RyanGlScott 5 months ago
Labels: CI
#1667 - Bump requests from 2.31.0 to 2.32.0 in /cryptol-remote-api/python
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#1666 - Some docstring comments are lost
Issue -
State: closed - Opened by glguy 5 months ago
Labels: parser
#1665 - Support building with GHC 9.8
Pull Request -
State: closed - Opened by RyanGlScott 5 months ago
- 2 comments
#1664 - Avoid discarding any docstring comments
Pull Request -
State: closed - Opened by glguy 5 months ago
- 4 comments
#1663 - `:eval` crashes when evaluating `roundAway`
Issue -
State: closed - Opened by RyanGlScott 5 months ago
Labels: bug
#1662 - Bump cryptol-remote-api to 3.1.1
Pull Request -
State: closed - Opened by mccleeary-galois 5 months ago
#1661 - Update cryptol-remote-api dockerfile to use python 3.12.
Issue -
State: open - Opened by mccleeary-galois 5 months ago
Labels: remote-api, CI
#1660 - Update cryptol-remote-api to Python 3.12
Pull Request -
State: closed - Opened by mccleeary-galois 5 months ago
- 1 comment
#1659 - fix #1653: distutils.find_executable -> shutil.which
Pull Request -
State: closed - Opened by Ptival 5 months ago
- 3 comments
#1658 - Support `prime` in constraint guards
Issue -
State: open - Opened by RyanGlScott 5 months ago
Labels: feature request, type-guards
#1657 - Treat `prime` constraints as numeric during SMT typechecking
Issue -
State: open - Opened by RyanGlScott 5 months ago
Labels: typechecker, feature
#1656 - Update libnuma in cryptol-remote-api Dockerfile
Pull Request -
State: open - Opened by weaversa 6 months ago
- 1 comment
#1655 - Bump idna from 3.4 to 3.7 in /cryptol-remote-api/python
Pull Request -
State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies
#1654 - Mention all type class instances in the reference manual
Issue -
State: open - Opened by RyanGlScott 6 months ago
- 1 comment
Labels: docs
#1653 - Remove distutils import from cryptol-remote-api
Issue -
State: closed - Opened by mccleeary-galois 6 months ago
- 3 comments
Labels: remote-api
#1652 - Attach arrays to the SMT theory of arrays in the repl (or in general)
Issue -
State: open - Opened by sauclovian-g 6 months ago
- 1 comment
Labels: feature request
#1651 - #1621
Pull Request -
State: closed - Opened by mccleeary-galois 6 months ago
#1650 - Iss 1649
Pull Request -
State: closed - Opened by mccleeary-galois 6 months ago
#1649 - Regression (`Undefined vairable`) in program that uses submodules, functors, and interfaces
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 4 comments
Labels: bug, parameterized modules
#1648 - Fix typechecking of constraint guards with type signature constraints
Pull Request -
State: closed - Opened by RyanGlScott 6 months ago
#1647 - Make `coreLint` sanity-check numeric constraint guards
Issue -
State: closed - Opened by RyanGlScott 6 months ago
Labels: feature request, typechecker
#1646 - properties in parameterized modules should not be accessible in instantiated modules by `:check` etc.
Issue -
State: open - Opened by weaversa 7 months ago
Labels: bug, parameterized modules
#1645 - Support latest version of `types-requests`
Issue -
State: closed - Opened by mccleeary-galois 7 months ago
- 2 comments
Labels: remote-api
#1644 - Add types-requests to toml file.
Pull Request -
State: closed - Opened by mccleeary-galois 7 months ago
#1643 - `mypy --install-types` not freezing dependencies
Issue -
State: closed - Opened by mccleeary-galois 7 months ago
#1642 - Make it so only public IfaceDecls are loaded from other modules
Pull Request -
State: closed - Opened by mccleeary-galois 7 months ago
- 2 comments
#1641 - Loading and the projects file
Issue -
State: open - Opened by yav 7 months ago
Labels: projects
#1640 - Define format for the Projects file
Issue -
State: open - Opened by yav 7 months ago
Labels: projects
#1639 - Unify `FullFingerprint` with `FileInfo`
Issue -
State: open - Opened by yav 7 months ago
Labels: projects
#1638 - Validation of Properties should create in house data structure rather than std out
Issue -
State: closed - Opened by mccleeary-galois 7 months ago
Labels: feature request, projects