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

#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

#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

#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

#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