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
#1688 - Bump urllib3 from 2.2.1 to 2.2.2 in /cryptol-remote-api/python
Pull Request -
State: closed - Opened by dependabot[bot] 17 days ago
Labels: dependencies
#1687 - `update` and `updates` type variable swap
Issue -
State: open - Opened by weaversa 17 days ago
#1686 - Check for syntactically invalid constraint guards in the parser
Pull Request -
State: open - Opened by RyanGlScott 21 days ago
#1685 - Panic with local definiton that uses constraint guards without a type signature
Issue -
State: open - Opened by RyanGlScott 22 days 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 23 days ago
- 2 comments
#1683 - Incorrect checking of polymorphic `case`
Issue -
State: closed - Opened by yav 28 days ago
- 1 comment
Labels: bug, typechecker
#1682 - Update all commands to track their results
Pull Request -
State: open - Opened by glguy 28 days ago
#1681 - Unwrap
Issue -
State: closed - Opened by weaversa 28 days ago
- 5 comments
#1680 - Define `head`, `tail`, `last` with patterns, or expose the list selector with type index?
Issue -
State: open - Opened by yav about 1 month ago
Labels: design needed
#1679 - Avoid showing unique numbers
Issue -
State: open - Opened by yav about 1 month ago
Labels: typechecker, UX
#1678 - Fixes #1490
Pull Request -
State: closed - Opened by yav about 1 month ago
#1677 - Fixes #1672
Pull Request -
State: closed - Opened by yav about 1 month ago
#1676 - Fix `roundAway` implementation in reference evaluator
Pull Request -
State: closed - Opened by RyanGlScott about 1 month ago
#1675 - PrimeEC::ec_mult can produce incorrect results
Issue -
State: open - Opened by weaversa about 1 month ago
- 4 comments
Labels: bug
#1674 - add dev_setup script for macOS 14
Pull Request -
State: closed - Opened by marsella about 1 month ago
- 9 comments
#1673 - Make a dev_setup script
Issue -
State: open - Opened by marsella about 1 month ago
- 2 comments
Labels: build system
#1672 - Fix the `PP` instance for `PrimIdent`
Issue -
State: closed - Opened by yav about 1 month ago
Labels: bug, low-hanging fruit
#1671 - Export `push` and `pop`
Pull Request -
State: closed - Opened by RyanGlScott about 1 month ago
#1670 - Export `push` and `pop` from `Cryptol.TypeCheck.Solver.SMT`
Issue -
State: closed - Opened by RyanGlScott about 1 month ago
Labels: feature request, cryptol-as-a-library
#1669 - CI: Don't download GHC in test jobs
Pull Request -
State: closed - Opened by RyanGlScott about 1 month ago
Labels: CI
#1668 - CI: Downloading GHC on test jobs is wasteful
Issue -
State: closed - Opened by RyanGlScott about 1 month 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] about 1 month ago
Labels: dependencies
#1666 - Some docstring comments are lost
Issue -
State: open - Opened by glguy about 2 months ago
Labels: parser
#1665 - Support building with GHC 9.8
Pull Request -
State: closed - Opened by RyanGlScott about 2 months ago
- 2 comments
#1664 - Avoid discarding any docstring comments
Pull Request -
State: closed - Opened by glguy about 2 months ago
- 4 comments
#1663 - `:eval` crashes when evaluating `roundAway`
Issue -
State: closed - Opened by RyanGlScott about 2 months ago
Labels: bug
#1662 - Bump cryptol-remote-api to 3.1.1
Pull Request -
State: closed - Opened by mccleeary-galois about 2 months ago
#1661 - Update cryptol-remote-api dockerfile to use python 3.12.
Issue -
State: open - Opened by mccleeary-galois about 2 months ago
Labels: remote-api, CI
#1660 - Update cryptol-remote-api to Python 3.12
Pull Request -
State: closed - Opened by mccleeary-galois about 2 months ago
- 1 comment
#1659 - fix #1653: distutils.find_executable -> shutil.which
Pull Request -
State: closed - Opened by Ptival about 2 months ago
- 3 comments
#1658 - Support `prime` in constraint guards
Issue -
State: open - Opened by RyanGlScott about 2 months ago
Labels: feature request, type-guards
#1657 - Treat `prime` constraints as numeric during SMT typechecking
Issue -
State: open - Opened by RyanGlScott about 2 months ago
Labels: typechecker, feature
#1656 - Update libnuma in cryptol-remote-api Dockerfile
Pull Request -
State: open - Opened by weaversa 3 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] 3 months ago
Labels: dependencies
#1654 - Mention all type class instances in the reference manual
Issue -
State: open - Opened by RyanGlScott 3 months ago
- 1 comment
Labels: docs
#1653 - Remove distutils import from cryptol-remote-api
Issue -
State: closed - Opened by mccleeary-galois 3 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 3 months ago
- 1 comment
Labels: feature request
#1651 - #1621
Pull Request -
State: closed - Opened by mccleeary-galois 3 months ago
#1650 - Iss 1649
Pull Request -
State: closed - Opened by mccleeary-galois 3 months ago
#1649 - Regression (`Undefined vairable`) in program that uses submodules, functors, and interfaces
Issue -
State: closed - Opened by RyanGlScott 3 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 3 months ago
#1647 - Make `coreLint` sanity-check numeric constraint guards
Issue -
State: closed - Opened by RyanGlScott 3 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 4 months ago
Labels: bug, parameterized modules
#1645 - Support latest version of `types-requests`
Issue -
State: closed - Opened by mccleeary-galois 4 months ago
- 2 comments
Labels: remote-api
#1644 - Add types-requests to toml file.
Pull Request -
State: closed - Opened by mccleeary-galois 4 months ago
#1643 - `mypy --install-types` not freezing dependencies
Issue -
State: closed - Opened by mccleeary-galois 4 months ago
#1642 - Make it so only public IfaceDecls are loaded from other modules
Pull Request -
State: closed - Opened by mccleeary-galois 4 months ago
- 2 comments
#1641 - Loading and the projects file
Issue -
State: open - Opened by yav 4 months ago
Labels: projects
#1640 - Define format for the Projects file
Issue -
State: open - Opened by yav 4 months ago
Labels: projects
#1639 - Unify `FullFingerprint` with `FileInfo`
Issue -
State: open - Opened by yav 4 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 4 months ago
Labels: feature request, projects
#1637 - Make new command for checking properties not REPL specific
Issue -
State: closed - Opened by mccleeary-galois 4 months ago
Labels: tech-debt, projects
#1636 - rem/enriching-properties
Pull Request -
State: closed - Opened by mccleeary-galois 4 months ago
- 2 comments
#1635 - Add configuration parameters to configuration command
Issue -
State: closed - Opened by mccleeary-galois 4 months ago
Labels: feature request, projects
#1634 - The reference manual doesn't describe properties
Issue -
State: open - Opened by sauclovian-g 4 months ago
- 1 comment
Labels: docs
#1633 - Disable CI-based github page deployment for forks.
Pull Request -
State: closed - Opened by kquick 4 months ago
#1632 - Cryptol projects should not stop on error
Issue -
State: closed - Opened by yav 4 months ago
Labels: feature request, projects
#1631 - Fix some typos I noticed in the Programming Cryptol book.
Pull Request -
State: closed - Opened by sauclovian-g 4 months ago
- 2 comments
#1630 - A few typos in the Programming Cryptol book
Issue -
State: closed - Opened by sauclovian-g 4 months ago
#1629 - Provide mechanism for collecting all primitives used in a module
Issue -
State: open - Opened by RyanGlScott 4 months ago
Labels: feature request
#1628 - [Remote API] `ValueError` Exception on `check`, then Hang
Issue -
State: open - Opened by WeeknightMVP 5 months ago
Labels: bug, remote-api
#1627 - CI: Build and test both x86-64 and AArch64 macOS
Pull Request -
State: closed - Opened by RyanGlScott 5 months ago
Labels: CI
#1626 - `cryptol-remote-api`: Check for valid evaluation contexts
Pull Request -
State: open - Opened by RyanGlScott 5 months ago
#1625 - Forward-port minor Cryptol 3.1.0 release fix to `master` branch
Pull Request -
State: closed - Opened by RyanGlScott 5 months ago
Labels: docs
#1624 - Support ghc 9.8
Issue -
State: closed - Opened by chenrui333 5 months ago
- 5 comments
#1623 - [Remote API] Crash trying to `check` `property` in parameterized module
Issue -
State: open - Opened by WeeknightMVP 5 months ago
- 1 comment
Labels: bug, parameterized modules, remote-api
#1622 - allow property annotation to encompass a block of properties
Issue -
State: open - Opened by weaversa 5 months ago
- 1 comment
Labels: feature request, question
#1621 - :check, :prove, etc. ignore the 'private' directive
Issue -
State: open - Opened by weaversa 5 months ago
- 1 comment
Labels: bug
#1620 - Prepare for 3.1.0 release
Pull Request -
State: closed - Opened by RyanGlScott 5 months ago
#1619 - sum-types: update Cryptol server
Issue -
State: closed - Opened by yav 5 months ago
#1618 - sum-types: implement the sanity checker validation
Issue -
State: closed - Opened by yav 5 months ago
- 1 comment
Labels: enums
#1617 - Newtype/enum expression causes core lint to panic
Issue -
State: closed - Opened by RyanGlScott 5 months ago
- 3 comments
Labels: bug, enums
#1616 - `sum-types`: Surprising interaction between default cases and cases that follow it
Issue -
State: closed - Opened by RyanGlScott 5 months ago
- 2 comments
Labels: bug, enums
#1615 - `sum-types`: Fix lint checking for `case` expressions
Issue -
State: closed - Opened by RyanGlScott 5 months ago
Labels: bug, typechecker, enums
#1614 - use file-embed to make TH file embedding more robust
Pull Request -
State: closed - Opened by Ptival 5 months ago
- 5 comments
#1613 - `sum-types`: Counterexample printed without parentheses
Issue -
State: closed - Opened by RyanGlScott 5 months ago
- 2 comments
Labels: command-line-repl, UX, enums
#1612 - `sum-types`: Support symbolic evaluation via SBV and What4
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 1 comment
Labels: feature request, What4/SBV, enums
#1611 - `sum-types`: Support random testing for enums
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 1 comment
Labels: feature request, enums
#1610 - `sum-types`: What should the `private` keyword do for constructors?
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 1 comment
Labels: design needed, enums
#1609 - `sum-types`: Implement missing cases for `PTyped` and `PLocated`
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 1 comment
Labels: bug, typechecker, renamer, enums
#1608 - `sum-types`: Warn when a `case` expression is partial
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 1 comment
Labels: UX, enums
#1607 - `sum-types`: Rename `Newtype` to `NominalType`
Issue -
State: closed - Opened by RyanGlScott 6 months ago
Labels: tech-debt, enums
#1606 - `sum-types`: Error more eagerly when a definition's name shadows an enum/newtype constructor
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 5 comments
Labels: bug, enums
#1605 - Strange `:help` output for newtypes and enums
Issue -
State: closed - Opened by RyanGlScott 6 months ago
- 3 comments
Labels: bug, command-line-repl, enums
#1604 - Refactor handling of abstract/primitve types
Issue -
State: closed - Opened by yav 6 months ago
- 1 comment
Labels: tech-debt, enums
#1603 - Add support for documentation comments after a declaration
Issue -
State: open - Opened by yav 6 months ago
Labels: feature request, low-hanging fruit, parser
#1602 - Sum types
Pull Request -
State: closed - Opened by yav 6 months ago
- 4 comments
Labels: enums
#1601 - `cryptol-remote-api` `Dockerfile`: Properly declare `ARG`s in toolchain stage
Pull Request -
State: closed - Opened by RyanGlScott 6 months ago
- 1 comment
#1600 - CI fixes for #1598, #1599
Pull Request -
State: closed - Opened by RyanGlScott 6 months ago
- 2 comments
#1599 - CI: Nightly Docker builds broken due to change in `alex-3.5.0.0`'s command-line flags
Issue -
State: closed - Opened by RyanGlScott 6 months ago
Labels: CI
#1598 - CI: macOS jobs broken due to using old `haskell/actions/setup` action
Issue -
State: closed - Opened by RyanGlScott 6 months ago
Labels: CI
#1597 - Release GHC 9.6 compatible version?
Issue -
State: closed - Opened by Vekhir 7 months ago
- 4 comments
#1596 - Pretty-printing for newtypes omits the constructor
Issue -
State: open - Opened by qsctr 7 months ago
Labels: bug, command-line-repl
#1595 - Numeric Constraint Guards and `property`
Issue -
State: open - Opened by weaversa 7 months ago
- 1 comment
Labels: type-guards
#1594 - Inconsistent behaviour for expression evaluations
Issue -
State: open - Opened by hemnd 7 months ago
- 1 comment
Labels: UX
#1593 - `Unexpeceted numeric constraint` panic with malformed constraint guards
Issue -
State: open - Opened by RyanGlScott 7 months ago
- 2 comments
Labels: bug, type-guards
#1592 - Apply functor instantiation map to types
Pull Request -
State: closed - Opened by qsctr 7 months ago
Labels: parameterized modules
#1591 - Aliasing modules
Issue -
State: open - Opened by qsctr 7 months ago
Labels: feature request, language
#1590 - Type synonyms of newtypes in functors not getting instantiated
Issue -
State: closed - Opened by qsctr 7 months ago
Labels: bug, parameterized modules
#1589 - Extending/re-exporting modules
Issue -
State: open - Opened by qsctr 7 months ago
Labels: feature request, language