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

#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

#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

#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

#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

#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

#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

#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